An introduction to symbolic logic. Symbolic logic provides a framework of formal reasoning with applications in mathematics, cognitive science, computer science and philosophy. Topics include ...

We discuss the differences between first-order set theory and second-order logic as a foundation for mathematics. We analyse these languages in terms of two levels of formalization. The analysis shows ...

This is a preview. Log in through your library . Abstract We present in this paper an axiomatization of Belnap and Perloff's stit theory (a logic of "seeing to it that") with a single agent. The idea ...

WHEN one leans over the infinite, speech appears a rather embarrassing means of conveying to others the volcanic impetus of one's intuitions. Yet, is it not a privilege of the philosopher to attempt a ...

MANY who are interested in the progress of logical science have looked forward to the appearance of this long-expected work as one likely to give them a logical treat. They will not be disappointed.