The following pages link to Studies in Universal Logic (Q371439):
Displaying 50 items.
- Schopenhauer and the Mathematical Intuition as the Foundation of Geometry (Q5118394) (← links)
- Schopenhauer on Intuition and Proof in Mathematics (Q5118396) (← links)
- Schopenhauer on Diagrammatic Proof (Q5118397) (← links)
- From Necessary Truths to Feelings: The Foundations of Mathematics in Leibniz and Schopenhauer (Q5118399) (← links)
- Preface and Prospectus to a planned “History vs. Philosophy of Logic” Text (Q5224770) (← links)
- The Historical Sources of Tree Graphs and the Tree Method in the Work of Peirce and Gentzen (Q5224771) (← links)
- Logic and Argumentation in Belgium: The Role of Leo Apostel (Q5224772) (← links)
- Tarski’s Recantation: Reading the Postscript to “Wahrheitsbegriff” (Q5224773) (← links)
- Paradox of Analyticity and Related Issues (Q5224774) (← links)
- Naturalizing Natural Deduction (Q5224775) (← links)
- Category Theory and the Search for Universals: A Very Short Guide for Philosophers (Q5224776) (← links)
- On the Way to Modern Logic: The Case of Polish Logic (Q5224778) (← links)
- Russian Origins of Non-Classical Logics (Q5224779) (← links)
- Constructive Mathematics in St. Petersburg, Russia: A (Somewhat Subjective) View from Within (Q5224780) (← links)
- On Normalizing Disjunctive Intermediate Logics (Q5224781) (← links)
- A Natural Axiom System for Boolean Algebras with Applications (Q5224782) (← links)
- Arabic Logic from al-Fārābī to Averroes (Q5233534) (← links)
- Ibn Sīnā’s Two-Partite Versus Nine-Partite Logicography (Q5258960) (← links)
- Homotopical Categories of Logics (Q5258961) (← links)
- Semi-implication: A Chapter in Universal Logic (Q5258962) (← links)
- A Formal Framework for Hypersequent Calculi and Their Fibring (Q5258963) (← links)
- Investigating Knowledge and Opinion (Q5258965) (← links)
- The Algebra of Opposition (and Universal Logic Interpretations) (Q5258966) (← links)
- Universal Logic as a Science of Patterns (Q5258967) (← links)
- Hexagonal Logic of the Field $\mathbb{F}_{8}$ as a Boolean Logic with Three Involutive Modalities (Q5258968) (← links)
- The Move from One to Two Quantifiers (Q5258969) (← links)
- On the Contrary: Disjunctive Syllogism and Pragmatic Strengthening (Q5258970) (← links)
- Aristotle on Language and Universal Proof (Q5258972) (← links)
- Béziau on And and Or (Q5258973) (← links)
- Universal Logic or Logics in Resemblance Families (Q5258974) (← links)
- Causality and Attribution in an Aristotelian Theory (Q5258975) (← links)
- Using Each Other’s Words (Q5258976) (← links)
- On Universality and Formality in 19th Century Symbolic Logic: The Case of Schröder’s “Absolute Algebra” (Q5258977) (← links)
- Caramuel and the “Quantification of the Predicate” (Q5258978) (← links)
- Lossy Inference Rules and Their Bounds: A Brief Review (Q5258979) (← links)
- Nonsets (Q5258980) (← links)
- A Roadmap to Decidability (Q5258981) (← links)
- John Buridan on Non-contingency Syllogisms (Q5258982) (← links)
- Symbolic Existence in Hugh MacColl: A Dialogical Approach (Q5258983) (← links)
- Béziau’s Contributions to the Logical Geometry of Modalities and Quantifiers (Q5258984) (← links)
- On Metalogical Relativism (Q5258985) (← links)
- Constructivism and Metamathematics (Q5258986) (← links)
- Personal Recollections About JYB by Newton da Costa and Others (Q5350324) (← links)
- Logical Autobiography 50 (Q5350325) (← links)
- A Quantitative-Informational Approach to Logical Consequence (Q5350327) (← links)
- Finite-Variable Logics Do Not Have Weak Beth Definability Property (Q5350328) (← links)
- Peirce’s Role in the History of Logic: Lingua Universalis and Calculus Ratiocinator (Q5350329) (← links)
- The Meaning(s) of “Is”: Normative vs. Naturalistic Views of Language (Q5350330) (← links)
- The Relation Between Logic, Set Theory and Topos Theory as it Is Used by Alain Badiou (Q5350332) (← links)
- Potentiality and Contradiction in Quantum Mechanics (Q5350333) (← links)
