|Summary||A logical connective is anything that joins smaller logical expressions into larger ones. There are any number of logical connectives, depending on which logic one is using. The subcategories here (with the obvious exception of the miscellaneous leaf node) are most appropriate for classical logic, and logics which depart from classical logic only modestly, where there is a widely held intuition (with the exception of the conditional) that the linguistic connectives, "and," "or," and "not," are, at least in most respects, the equivalents of the formal logical connectives, conjunction, disjunction, and negation. However, even in classical propositional logic, there is the Sheffer stroke and the dagger, which allow the axiomatization of propositional logic with just one connective, but have no clear linguistic equivalent. As one moves further afield from classical logic, along various dimensions, one will soon discover that the variety of logical connectives is limited only by the mathematical ingenuity of the human mind. This might help explain why--with the exception of "conditionals"--there are (currently) far more entries in the miscellaneous category than there are in any of the more standard categories.|
|Key works||Given the above variety, as discussed, there are separate key works for each logic, although there are a few multi-volume works which attempt to be all-inclusive and cover the enormous variety of logics, their operators, and their semantics.|
|Introductions||See, key works, above. Only the best-known logics have works that can fairly be called introductions.|
Conditionals* (1,383 | 348)
- Connectives (234 | 25)
Material to categorize
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers