| Representing Buridan's Divides Modal Propositions in First-Order Logic
|
2022 |
Dagys, Jonas |
| The structure and extension of (proto)type concepts: Husserl’s correlationist approach
|
2022 |
Taieb, Hamid |
| Arthur N. Prior on "Unquestionably the best logical symbolism for most purposes"
|
2022 |
Joaquin, Jeremiah Joven B. |
| Connexive Principles After a 'Classical' Turn in Medieval Logic
|
2022 |
Johnston, Spencer C. |
| Mathematical incompleteness results in first-order Peano arithmetic: a revisionist view of the early history
|
2022 |
Kripke, Saul A. |
| A pragmatic-semiotic defence of bivalence
|
2022 |
Champagne, Marc |
| Hegel's interpretation of the liar paradox
|
2022 |
D'Agostini, Franca |
| Analysis in Prior Analytics I.45
|
2022 |
Martinjak, Igor |
| The Consistency of a Certain Medieval-Like Solution to the Liar Paradox : Proof Given by Bolesław Sobociński
|
2022 |
Świętorzecka, Kordula |
| Cantor's Abstractionism and Hume's Principle
|
2022 |
Ternullo, Claudio |
| Mixed Conditional-Categorical Syllogisms from Avicenna to Urmawī
|
2022 |
El-Rouayheb, Khaled |
| Between square and hexagon in Oresme's Livre du Ciel et du Monde
|
2020 |
Demey, Lorenz |
| A critical examination of the historical origins of connexive logic
|
2020 |
Lenzen, Wolfgang |
| Kurt Gödel's anticipation of the Turing machine: A vitalistic approach
|
2020 |
Lethen, Tim |
| Jesuit probabilistic logic between scholastic and academic philosophy
|
2019 |
Hanke, Miroslav |
| Frege's unification
|
2019 |
Boddy, Rachel |
| The role of structural reasoning in the genesis of graph theory
|
2019 |
Arndt, Michael |
| On Frege's Begriffsschrift notation for propositional logic : design principles and trade-offs
|
2018 |
Schlimm, Dirk |
| Logic diagrams an the Weigel and Weise circles
|
2018 |
Lemanski, Jens |
| "Horrent with mysterious spiculæ" : Augustus De Morgan's logic notation of 1850 as a "calculus of opposite relations"
|
2018 |
Heinemann, Anna-Sophie |
Tag hinzufügen