- Nineteenth Century British Logic on Hypotheticals, Conditionals, and Implication.Francine F. Abeles - 2014 - History and Philosophy of Logic 35 (1):1-14.details
|
|
Aspects of a logical theory of assertion and inference.Ansten Klev - 2024 - Theoria 90 (5):534-555.details
|
|
Pursuit of the concept of validity: A dialogue.Cesare Cozzo - 2024 - Theoria 90 (5):479-491.details
|
|
Argumentation in Mathematical Practice.Andrew Aberdein & Zoe Ashton - 2024 - In Bharath Sriraman (ed.), Handbook of the History and Philosophy of Mathematical Practice. Cham: Springer. pp. 2665-2687.details
|
|
Supervaluationism, Modal Logic, and Weakly Classical Logic.Joshua Schechter - 2024 - Journal of Philosophical Logic 53 (2):411-61.details
|
|
Epistemic characterizations of validity and level-bridging principles.Joshua Schechter - 2024 - Philosophical Studies 181 (1):153-178.details
|
|
Spiritus Asper versus Lambda: On the Nature of Functional Abstraction.Ansten Klev - 2023 - Notre Dame Journal of Formal Logic 64 (2):205-223.details
|
|
Mathematical Understanding by Thought Experiments.Gerhard Heinzmann - 2022 - Axiomathes 32 (3):871-886.details
|
|
Identity in Martin‐Löf type theory.Ansten Klev - 2021 - Philosophy Compass 17 (2):e12805.details
|
|
Dialectic, the Dictum de Omni and Ecthesis.Michel Crubellier, Mathieu Marion, Zoe Mcconaughey & Shahid Rahman - 2019 - History and Philosophy of Logic 40 (3):207-233.details
|
|
Evidence, Proofs, and Derivations.Andrew Aberdein - 2019 - ZDM 51 (5):825-834.details
|
|
The Neglect of Epistemic Considerations in Logic: The Case of Epistemic Assumptions.Göran Sundholm - 2019 - Topoi 38 (3):551-559.details
|
|
Frege: A fusion of horizontals.Francesco Bellucci, Daniele Chiffi & Luca Zanetti - 2023 - Theoria 89 (5):690-709.details
|
|
Plans and planning in mathematical proofs.Yacin Hamami & Rebecca Lea Morris - 2020 - Review of Symbolic Logic 14 (4):1030-1065.details
|
|
Frege on Judgement and the Judging Agent.Maria van der Schaar - 2018 - Mind 127 (505):225-250.details
|
|
Dialogical logic.Laurent Keiff - 2010 - Stanford Encyclopedia of Philosophy.details
|
|
Perspectival Logical Pluralism.Roy T. Cook - 2023 - Res Philosophica 100 (2):171-202.details
|
|
Time and Indexicality in Buridan’s Concept of Logical Consequence.Manuel A. Dahlquist - 2021 - History and Philosophy of Logic 42 (4):374-397.details
|
|
Argument, Inference, and Persuasion.Matthew William McKeon - 2020 - Argumentation 35 (2):339-356.details
|
|
Mathematical Inference and Logical Inference.Yacin Hamami - 2018 - Review of Symbolic Logic 11 (4):665-704.details
|
|
Rationality in Mathematical Proofs.Yacin Hamami & Rebecca Lea Morris - 2023 - Australasian Journal of Philosophy 101 (4):793-808.details
|
|
Is Church’s Picture of Frege a Good One?Zoé McConaughey - 2014 - Philosophia Scientiae 18:231-245.details
|
|
Proof, Meaning and Paradox: Some Remarks.Luca Tranchini - 2019 - Topoi 38 (3):591-603.details
|
|
(1 other version)Reprint of: A more general general proof theory.Heinrich Wansing - 2017 - Journal of Applied Logic 25:23-46.details
|
|
Proof-theoretic harmony: towards an intensional account.Luca Tranchini - 2016 - Synthese 198 (Suppl 5):1145-1176.details
|
|
(1 other version)Unfolding parallel reasoning in islamic jurisprudence.Shahid Rahman & Muhammad Iqbal - 2018 - Arabic Sciences and Philosophy 28 (1):67-132.details
|
|
Judgments vs Propositions in Alexander of Aphrodisias' Conception of Logic.Zoe McConaughey - forthcoming - History and Philosophy of Logic:1-15.details
|
|
(1 other version)Epistemic and dialectical meaning in Abū Isḥāq al-Shīrāzī’s system of co-relational inferences of the occasioning factor.Shahid Rahman & Muhammad Iqbal - 2018 - Arabic Sciences and Philosophy 28 (1):67-132.details
|
|
Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic.Grigory K. Olkhovikov & Heinrich Wansing - 2019 - Studia Logica 107 (1):167-194.details
|
|