Language, proof, and logic
by Barwise, Jon, Etchemendy, John, Barker-Plummer, Dave, Liu, Albert
0
Type: Book
"9" Result
Sort By:
Language, proof, and logic
by Barwise, Jon, Etchemendy, John, Barker-Plummer, Dave, Liu, Albert
0
Type: Book
First-order modal logic
by Fitting, Melvin, (Melvin Chris), Mendelsohn, Richard L.
fromSynthese library
0
Type: Book
First-order modal logic
by Fitting, Melvin, Mendelsohn, Richard L.
fromSynthese library
0
Type: Book
This text offers a treatment of first-order modal logic. It covers quantification itself, including: the difference between actualist and possibilist quantifiers; equality; and the notion of existence and the logical problems surrounding it, borrowing from both Fregean and Russe…
Types, tableaus, and Gödel's God
by Fitting, Melvin, (Melvin Chris)
fromTrends in Logic
0
Type: Book
"Much philosophizing since Descartes in the seventeenth century has convinced legions of students to think life is but a dream and the rest of the world to think philosophers corrupt the morals of youth. The dominant trend in philosophy in the West, however, has taken an entirel…
