Questions tagged [medieval-logic]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
4
votes
1answer
91 views

Did William of Soissons prove the law of explosion in the 12th century?

In the 12th century, William of Soissons attempted to prove that any proposition can be inferred from a contradiction. I've adapted his proof into a logical system I'm more familiar with: Let E ...
4
votes
1answer
144 views

How do medieval theories of reference account for *entia rationis* (objects of thought)?

The medieval theories of logic generally hold, at least as represented in the brilliant work of Thomas Aquinas, that non-existent being can be said of existent being because non-existent being can be ...
3
votes
1answer
127 views

Are analogical middle terms sufficient for a valid demonstration?

William A. Wallace, O.P., in “Thomism and the Quantum Enigma,” The Thomist 61 (1997): 455–468, claims that analogical middle terms are sufficient for a valid demonstration and that this is a ...
9
votes
2answers
16k views

How do I use the “Barbara, Celarent, … etc.” mnemonic?

Medieval logicians memorized this most famous logic mnemonic: Barbara, Celarent, Darii, Ferio ← direct first figure Baralipton, Celantes, Dabitis, Fapesmo, Frisesomorum ← indirect first figure Cesare,...