Now showing items 1-2 of 2
Semantic pollution and syntactic purity
(2015-12) - Journal article
Logical inferentialism claims that the meaning of the logical constants should be given, not model-theoretically, but by the rules of inference of a suitable calculus. It has been claimed that certain proof-theoretical ...
Aristotle and Lukasiewicz on existential import
(2015) - Journal article
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 ...