…completed in 1981, ranged between 300 and 500 articles and ran somewhere between 5,000 and 10,000 journal pages. Mathematicians have hailed the project as one of the greatest mathematical achievements…
Types and Tokens: On Abstract Objects
…both types and tokens – for example, there is only one word type ‘the’ but there are numerous tokens of it on this page – as do symphonies, bears, chess…
The Logic Book
Summary: This book is an introductory textbook on mathematical logic. It covers Propositional Logic and Predicate Logic. For each of these formalisms it presents its syntax and formal semantics as well…
Lectures on Kant’s Political Philosophy
…Of the third, Judging, only the title page, with epigraphs from Cato and Goethe, was found after her death. As the titles suggest, Arendt conceived of her work as roughly…
Indicative Conditionals
The chapter is an introduction to logical treatments of indicative conditionals, comparing truth-functional, non-truth-functional, and suppositional approaches. Some of the topics discussed are truth conditions, conditional belief, assertability, and issues…