The following pages link to (Q4774002):
Displaying 21 items.
- Validity, the squeezing argument and alternative semantic systems: the case of Aristotelian syllogistic (Q427220) (← links)
- Aristotle's assertoric syllogistic and modern relevance logic (Q514108) (← links)
- A generalized syllogistic inference system based on inclusion and exclusion relations (Q692203) (← links)
- Functoriality and grammatical role in syllogisms (Q1333307) (← links)
- Aristotle's prototype rule-based underlying logic (Q1653547) (← links)
- Did Aristotle endorse Aristotle's thesis? A case study in Aristotle's metalogic (Q2108581) (← links)
- Syllogisms in rudimentary linear logic, diagrammatically (Q2255209) (← links)
- Universal logic and Aristotelian logic: formality and essence of logic (Q2354882) (← links)
- What kind of opposition-forming operator is privation? (Q2671592) (← links)
- Game Semantics and the Manifestation Thesis (Q2908761) (← links)
- Mathematics in Philosophy, Philosophy in Mathematics: Three Case Studies (Q3295810) (← links)
- Aristotle, Boole, and Categories (Q3299850) (← links)
- Aristotle's<i>Prior Analytics</i>and Boole's<i>Laws of Thought</i> (Q4470283) (← links)
- The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper (Q4611683) (← links)
- The Four Essential Aristotelian Syllogisms, via Substitution and Symmetry (Q5015967) (← links)
- Arthur Schopenhauer on Naturalness in Logic (Q5118389) (← links)
- Aristotle, Logic, and QUARC (Q5208104) (← links)
- Explaining Deductive Inference (Q5213606) (← links)
- THE PERIPATETIC PROGRAM IN CATEGORICAL LOGIC: LEIBNIZ ON PROPOSITIONAL TERMS (Q5221292) (← links)
- Aristotle on Language and Universal Proof (Q5258972) (← links)
- Logic and science: science and logic (Q6147143) (← links)
