Jan Lukasiewicz's treatise on Aristotle's Syllogistic, published in the 1950s, has been very influential in framing contemporary understanding of Aristotle's logical systems. However, Lukasiewicz's interpretation is based on a number of tendentious claims, not least, the claim that the syllogistic was intended to apply only to non-empty terms. I show that this interpretation is not true to Aristotle's text and that a more coherent and faithful interpretation admits empty terms while maintaining all the relations of the traditional square of opposition.

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 (...) initial step towards a rectification of this unfortunate misrepresentation, presenting a bibliography of MacColl’s most significant publications with particular regard to their reception. (shrink)

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.

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.

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, (...) pointed out almost apologetically by Professor Randall, that “the usage is hardly fashionable abroad, even in England.” I, for one, confess that, not having been acclimatized in my European cave to this stern disjunction, I have to this day felt rather uneasy, if not evasive, at the outspoken or tacit expectation to line up with one faction or the other, much as my leanings were toward the other rather than toward the one. I therefore decided that some day I had to get to the bottom of this uneasiness. (shrink)

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 (...) other pairs of incompatible statements constructed from the same conceptual materials. Prominent among examples, these other nonstandard pairs are the ‘new contraries’ presented by Robert Blanché’s hexagon(s) of opposition. With special, though not exclusive, attention to these cases, we investigate whether contrariety in the distinguished sense can be captured by adding to the incompatibility condition the further demand that the pair of statements concerned can be represented as the results of applying some sentence operator to the content in its scope, for one of the pair, and, for the other, the application of that same operator to the negation of that content. For one of the two cases, a Blanché case, of nonstandard contrariety singled out for attention, the question of whether such a representation is available is settled at the end of Section 4, and then in a more satisfying way in Section 5, though for the other case, noticed by Peter Simons, the question remains open, after some tentative discussion in one subsection, 6.2, of an Appendix (Section 6). (shrink)

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.

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.

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.