- Submit
-
Browse
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- More
Switch to: References
Citations of:
Add citations
You must login to add citations.
|
|
|
The author argues that there is no such thing as a unique and general taxonomy of non-at-issue contents. Accordingly, we ought to shun large categories such as “conventional implicature”, “F-implicature”, “CI”, “Class B” or the like. As an alternative, we may, first, describe the “semantic profile” of linguistic devices as accurately as possible. Second, we may explicitly tailor our categories to particular theoretical purposes. |
|
|
This article investigates Charles Peirce’s development of logical calculi for classical propositional logic in 1880–1896. Peirce’s 1880 work on the algebra of logic resulted in a successful calculus for Boolean algebra. This calculus, denoted byPC, is here presented as a sequent calculus and not as a natural deduction system. It is shown that Peirce’s aim was to presentPCas a sequent calculus. The law of distributivity, which Peirce states in 1880, is proved using Peirce’s Rule, which is a residuation, inPC. The (...) |
|
|
The paper argues that the view that the particular quantifier is ‘existentially loaded’ is a relatively new one historically and that it has become entrenched in modern philosophical logic for less than happy reasons. |
|
|
I adapt an old example of Frank Jackson's, in order to show that it is not only possible that actions with different individual agents are sub-optimal when each is not, but that they are impermissible when each is not, and blameworthy when each is not. |
|
|
Among the many dichotomous cleavages among philosophers and theologians few seem to me as questionable as the Procrustean division into supematuralists and naturalists. “Naturalism” and “supernaturalism” have become party labels whose original meanings have been lost in the heat of banner-waving and slogan shouting. Even the great minds of the past, who were innocent as yet of this philosophical two-party system, are being herded into one pen or the other. And apparently few of the penkeepers are aware of the fact, (...) |
|
|
The work of Hugh MacColl (1837–1909) suffered the same fate after his death as before it:despite being vaguely alluded to and in part even commended, on the whole it has remained an unknown quantity. Even worse, those of his ideas which have played a decisive role in the history of logic have been credited to his successors; this is especially the case with the definition of strict implication and the first formal development of formal modal logic. This paper takes an (...) |
|
|
|
|
|
Given some links between Lyndon’s Interpolation Theorem, term distribution, and Sommers and Englebretsen’s logic, in this contribution we attempt to capture a sense of interpolation for Sommers and Englebretsen’s Term Functor Logic. In order to reach this goal we first expound the basics of Term Functor Logic, together with a sense of term distribution, and then we offer a proof of our main contribution. |
|
|
This discussion explores the possibility of distinguishing a tighter notion of contrariety evident in the Square of Opposition, especially in its modal incarnations, than as that binary relation holding statements that cannot both be true, with or without the added rider ‘though can both be false’. More than one theorist has voiced the intuition that the paradigmatic contraries of the traditional Square are related in some such tighter way—involving the specific role played by negation in contrasting them—that distinguishes them from (...) |
|
|
Some philosophers suspect that the functionalist account of mind supports a psychologistic account of logic. One who has argued for a connection of this kind is Remmel T. Nunn. If the connection holds, it might be a powerful support for the currently unfashionable position of psychologism; conversely, it might be a damaging objection to functionalism. In either case, to estabjish the connection would be an achievement of considerable philosophic interest. |
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7f8ff5d46-s8ppn uwo