-
How Tarskian are Carnap's Semantics? History and Philosophy of Logic (IF 0.5) Pub Date : 2024-09-16 Kai F. Wehmeier
It is a commonplace of the history of analytic philosophy that Carnap swiftly adopted Tarskian semantics in the mid-1930s. There is no doubt that, in a very general sense, this is true. But to what...
-
Judgments vs Propositions in Alexander of Aphrodisias' Conception of Logic History and Philosophy of Logic (IF 0.5) Pub Date : 2024-08-14 Zoe McConaughey
This paper stresses the importance of identifying the nature of an author's conception of logic when using terms from modern logic in order to avoid, as far as possible, injecting our own conceptio...
-
Buridan’s Theory of Consequences History and Philosophy of Logic (IF 0.5) Pub Date : 2024-08-04 Wolfgang Lenzen
Buridan endorses the basic idea that q follows from p iff it is impossible that p is true but q is false. Since he also accepts the law that, if p is impossible, the conjunction (p ∧ q) must be imp...
-
A Neglected Interpretation of Das Kontinuum History and Philosophy of Logic (IF 0.5) Pub Date : 2024-07-17 Michele Contente
Hermann's Weyl Das Kontinuum has inspired several studies in logic and foundations of mathematics over the last century. The book provides a remarkable reconstruction of a large portion of classica...
-
Following Bobzien: Some Notes on Frege's Development and Engagement with his Environment History and Philosophy of Logic (IF 0.5) Pub Date : 2024-07-09 Jamie Tappenden
Loosely connected reflections on some issues raised by Susanne Bobzien concerning the extent to which Frege interacted with scholars in his environment, and what he may have learned from them. I fi...
-
Denying Infinity: Pragmatism in Abraham Robinson’s Philosophy of Mathematics History and Philosophy of Logic (IF 0.5) Pub Date : 2024-06-26 Robinson Erhardt
Abraham Robinson is well-known as the inventor of nonstandard analysis, which uses nonstandard models to give the notions of infinitesimal and infinitely large magnitudes a precise interpretation. ...
-
Searching for the General Science of Evidence: Venn on Probability and Induction History and Philosophy of Logic (IF 0.5) Pub Date : 2024-06-26 Chrysovalantis Stergiou, Alexandros Apostolidis, Stathis Psillos
In this paper Venn's account of probability inference and induction is examined, tracing their differences as well as how they ‘co-operate’ in inferences from particulars to particulars. We discuss...
-
Frege on Identity and Identity Statements: 1884/1903 History and Philosophy of Logic (IF 0.5) Pub Date : 2024-06-18 Matthias Schirn
In this essay, I first solve solve a conundrum and then deal with criteria of identity, Leibniz's definition of identity and Frege's adoption of it in his (failed) attempt to define the cardinality...
-
Direct Reduction of Syllogisms with Byzantine Diagrams History and Philosophy of Logic (IF 0.5) Pub Date : 2024-05-08 Reetu Bhattacharjee
The paper explores the potential of Byzantine diagrams in syllogistic logic. Byzantine diagrams are originated by Byzantine scholars in the early modern period to use as tools for teaching and stud...
-
Ruth Barcan Marcus on the Deduction Theorem in Modal Logic History and Philosophy of Logic (IF 0.5) Pub Date : 2024-04-30 Roberta Ballarin
In this paper, I examine Ruth Barcan Marcus's early formal work on modal systems and the deduction theorem, both for the material and the strict conditional. Marcus proved that the deduction theore...
-
On the Year of Publication of Tarski's ‘Der Wahrheitsbegriff in den formalisierten Sprachen’ History and Philosophy of Logic (IF 0.5) Pub Date : 2024-04-26 Peter Milne
Drawing on recently published correspondence as well as on a survey of Polish and international philosophical activity published in 1937 and details concerning the publisher and bookseller Aleksand...
-
The Pioneering Proving Methods as Applied in the Warsaw School of Logic – Their Historical and Contemporary Significance History and Philosophy of Logic (IF 0.5) Pub Date : 2024-04-25 Urszula Wybraniec-Skardowska
Justification of theorems plays a vital role in any rational human activity. It is indispensable in science. The deductive method of justifying theorems is used in all sciences and it is the only m...
-
Mathematical Logic in the History of Logic: Łukasiewicz’s Contribution and Its Reception History and Philosophy of Logic (IF 0.5) Pub Date : 2024-04-25 Zuzana Rybaříková
Łukasiewicz introduced a new methodological approach to the history of logic. It consists of the use of modern formal logic in the research of the history of logic. Although he was not the first to...
-
Are Ancient Logics Explosive? History and Philosophy of Logic (IF 0.5) Pub Date : 2024-04-25 Marcin Tkaczyk
The twentieth-century logical mainstream, derived from works by Łukasiewicz and Scholz, pictures the history of logic for the most part as the prehistory of Boolean–Fregean mathematical logic. Part...
-
Russell's Theories of Events and Instants from the Perspective of Point-Free Ontologies in the Tradition of the Lvov-Warsaw School History and Philosophy of Logic (IF 0.5) Pub Date : 2024-04-25 Andrzej Pietruszczak
We classify two of Bertrand Russell's theories of events within the point-free ontology. The first of such approaches was presented informally by Russell in ‘The World of Physics and the World of S...
-
Czeżowski's Theory of Reasoning and Mediaeval Biblical Exegesis History and Philosophy of Logic (IF 0.5) Pub Date : 2024-04-25 Marcin Trepczyński, Marcin Będkowski
We present how the theory of reasoning developed by Tadeusz Czeżowski, a Polish logician and a member of the Lvov-Warsaw School (LWS) can be applied to the mediaeval texts which interpret the Bible...
-
The Theory of Nigrahasthāna in Vādanyāya of Dharmakīrti History and Philosophy of Logic (IF 0.5) Pub Date : 2024-04-25 Gan Wei, Chen Zhixi
Vādanyāya is one of the representative works of Dharmakīrti. It is concerned with debate logic and deals with win-or-lose reasoning rules in the broad sense of logic. In this paper, we will concent...
-
Logic and Its History in the Lvov-Warsaw School History and Philosophy of Logic (IF 0.5) Pub Date : 2024-04-25 Kordula Świętorzecka, Marcin Łyczak
We take into account two areas of the logical research of the Lvov-Warsaw School. First, we consider a new approach to research in the history of logic introduced and practiced by Łukasiewicz and s...
-
The Problem of Natural Representation of Reasoning in the Lvov-Warsaw School History and Philosophy of Logic (IF 0.5) Pub Date : 2024-04-25 Andrzej Indrzejczak
The problem of precise characterisation of traditional forms of reasoning applied in mathematics was independently investigated and successfully resolved by Jaśkowski and Gentzen in 1934. However, ...
-
A Short Note on the Early History of the Spectrum Problem and Finite Model Theory History and Philosophy of Logic (IF 0.5) Pub Date : 2024-04-19 Andrea Reichenberger
Finite model theory is currently not one of the hot topics in the philosophy and history of mathematics, not even in the philosophy and history of mathematical logic. The philosophy of mathematics ...
-
Entailment and Truthmaking: The Consequentia Rerum from Boethius to the Ars Meliduna History and Philosophy of Logic (IF 0.5) Pub Date : 2024-04-08 Enrico Donato
In Categories 12 (14b11–22), Aristotle famously claims that [1] true sentences and reality stand in a mutually implicative relationship, and that [2] reality causes the truth of sentences but not v...
-
The Theoretical Unity of Aristotle’s Categorical Syllogistic and Sophistics History and Philosophy of Logic (IF 0.5) Pub Date : 2024-03-27 Gonzalo Llach
The hypothesis of a theoretical unity between On Sophistical Refutations and Prior Analytics presents a major challenge to scholars attempting to unify the criteria of analysis. This paper examines...
-
Logic and Discrimination History and Philosophy of Logic (IF 0.5) Pub Date : 2024-03-21 Elena Ficara
The paper is about the connection between logic and discrimination, with special focus on Plumwood’s ideas in her groundbreaking article ‘The Politics of Reason. Towards a Feminist Logic’ (1993). A...
-
Introduction. Logic and Politics History and Philosophy of Logic (IF 0.5) Pub Date : 2024-03-21 Franca d’Agostini, Elena Ficara, Fabien Schang
The aim of this special issue is to explore the intersections of logic, intended as the formal science of valid consequence, and politics, the practical science of associated life. The analyses her...
-
Politics, History and Logic in Max Weber History and Philosophy of Logic (IF 0.5) Pub Date : 2024-03-21 Maurizio Ferrera
The article illustrates the different meanings of the term “logic” in Weber's work and then proceeds to discuss his approach to the explanation of historical events and in particular to counterfact...
-
(What) Is Feminist Logic? (What) Do We Want It to Be? History and Philosophy of Logic (IF 0.5) Pub Date : 2024-03-21 Catharine Saint-Croix, Roy T Cook
‘Feminist logic’ may sound like an impossible, incoherent, or irrelevant project, but it is none of these. We begin by delineating three categories into which projects in feminist logic might fall:...
-
The Birth of Logic Out of the Spirit of Democracy History and Philosophy of Logic (IF 0.5) Pub Date : 2024-03-21 Franca d’Agostini
This paper advances a version of the theory whereby logic had deep origins in democracy, by re-reading Gorgias’ Encomium of Helen. Democracy, ‘the government by debate’, called political (and scien...
-
Polish Logicians on Social Functions of Logic History and Philosophy of Logic (IF 0.5) Pub Date : 2024-03-21 Jan Woleński
The paper examines the interplays between logic and politics in the Polish School of Logic starting from 1914. The Polish School of Logic flourished between 1920 and 1939. Philosophically, it was i...
-
Rethinking Logical and Political Normativity History and Philosophy of Logic (IF 0.5) Pub Date : 2024-03-21 Sebastiano Maffettone
The focus of the article is the notion of normativity in logic and politics and their possible intersections. The twentieth-century divide between the analytical and the continental idea of logic i...
-
The KK Principle and the Strong Notion of Knowledge: Hintikka’s Arguments for KK Revisited History and Philosophy of Logic (IF 0.5) Pub Date : 2024-02-14 Chen Bo
In his Knowledge and Belief (1962), Hintikka establishes his system of epistemic logic with the KK (Knowing that One Knows, in symbols, Kp→KKp) principle (KK for short). However, his system of epis...
-
Meditating and Inquiring with Imagination: Leibniz, Lambert, and Kant on the Cognitive Value of Diagrams History and Philosophy of Logic (IF 0.5) Pub Date : 2024-02-07 Lucia Oliveri
Reasoning with diagrams is considered to be a peculiar form of reasoning. Diagrams are often associated with imagistic representations conveyed by spatial arrangements of lines, points, figures, or...
-
Sign-inferences in Greek and Buddhist Logic History and Philosophy of Logic (IF 0.5) Pub Date : 2024-01-16 Andrew Schumann
The Yogācāra school of logic developed a theory of sign-inferences that has many features of the Stoic and Epicurean logical teachings with small inclusions of Aristotelian ideas. In the Nyāyabindu...
-
Leksykon logików polskich. 1900–1939 History and Philosophy of Logic (IF 0.5) Pub Date : 2024-01-07 Gabriela Besler, Sebastian Stokłosa
Published in History and Philosophy of Logic (Ahead of Print, 2024)
-
The Place of Reduction in Aristotle's Prior Analytics History and Philosophy of Logic (IF 0.5) Pub Date : 2024-01-04 George Boger
Studies of Aristotle’s syllogistic system, since Corcoran’s deductionist interpretation supplanted Łukasiewicz’ axiomaticist interpretation, misrepresent Aristotle’s logic in two important respects...
-
The Centrality of Simplicity in Frege's Philosophy History and Philosophy of Logic (IF 0.5) Pub Date : 2023-12-04 Jim Hutchinson
It is widely recognized that Frege's systematic conception of science has a major impact on his work. I argue that central to this conception and its impact is Frege's Simplicity Requirement that a...
-
A Deductive System for Boole’s ‘The Mathematical Analysis of Logic’ and Its Application to Aristotle’s Deductions History and Philosophy of Logic (IF 0.5) Pub Date : 2023-11-29 G. A. Kyriazis
George Boole published the pamphlet The Mathematical Analysis of Logic in 1847. He believed that logic should belong to a universal mathematics that would cover both quantitative and nonquantitativ...
-
Review Article History and Philosophy of Logic (IF 0.5) Pub Date : 2023-11-20 E. Ficara
Published in History and Philosophy of Logic (Ahead of Print, 2023)
-
Belief and Counterfactuals: A Study in Means-end Philosophy History and Philosophy of Logic (IF 0.5) Pub Date : 2023-11-16 G. Haas
Published in History and Philosophy of Logic (Ahead of Print, 2023)
-
Cavaillès on Gentzen ‘dans son poêle’: A Brief Historical Note History and Philosophy of Logic (IF 0.5) Pub Date : 2023-09-20 Peter Milne
In a letter to Lautman, Cavaillès speaks of Gentzen ‘dans son poêle’ in Göttingen. The translators of the English edition of Menzler-Trott's biography of Gentzen miss the allusion to Descartes.
-
Aristotle’s Syllogistic Underlying Logic: His Model with His Proofs of Soundness and Completeness History and Philosophy of Logic (IF 0.5) Pub Date : 2023-09-15 C. G. King
Published in History and Philosophy of Logic (Vol. 44, No. 4, 2023)
-
Timpler, Clemens. Logicae systema methodicum Libris V. comprehensum, in quo universus bene disserendi et sciendi modus, tam generatim, quam speciatim, per praecepta et quaestiones breviter ac dilucide explicatur & probatur History and Philosophy of Logic (IF 0.5) Pub Date : 2023-09-05 M. Walter
Published in History and Philosophy of Logic (Ahead of Print, 2023)
-
Hegel’s Logic and Metaphysics History and Philosophy of Logic (IF 0.5) Pub Date : 2023-08-30 C. Yang
Published in History and Philosophy of Logic (Ahead of Print, 2023)
-
Logic in Question. Talks from the Annual Sorbonne Logic Workshop (2011–2019) History and Philosophy of Logic (IF 0.5) Pub Date : 2023-08-30 G. Guibert, B. Sauzay
Published in History and Philosophy of Logic (Ahead of Print, 2023)
-
Aristotle's Proofs Through the Impossible in Prior Analytics 1.15 History and Philosophy of Logic (IF 0.5) Pub Date : 2023-08-17 Riccardo Zanichelli
In Prior Analytics 1.15, Aristotle attempts to give a proof through the impossible of Barbara, Celarent, Darii, and Ferio with an assertoric first premiss, a contingent second premiss, and a possib...
-
Arthur Prior's Proofs of the Necessities of Identity and Difference History and Philosophy of Logic (IF 0.5) Pub Date : 2023-08-11 Nils Kürbis
This paper draws attention to a proof of the necessity of identity given by Arthur Prior. In its simplicity, it is comparable to a proof of Quine's, popularised by Kripke, but it is slightly different. Prior's Polish notation is transcribed into a more familiar idiom. Prior's proof is followed by a proof of the necessity of difference, possibly the first such proof in the literature, which is also
-
An Enhanced Account of Relative Identity: Double-Reference Starting Point and Dual-Track Feature History and Philosophy of Logic (IF 0.5) Pub Date : 2023-07-26 Bo Mou
This article gives a holistic re-examination of the semantic content and syntactic structure of the concept of relative identity: it suggests and explains an expanded and enhanced dual-track characterization of relative identity. It is expanded in this sense: its due coverage is not narrowly restricted to the equal-status case of identity statements (the symmetric case for identity simplex) but also
-
Logicism and Principle of Tolerance: Carnap’s Philosophy of Logic and Mathematics* History and Philosophy of Logic (IF 0.5) Pub Date : 2023-07-27 Stefano Domingues Stival
In this paper, the connection between logicism and the principle of tolerance in Carnap’s philosophy of logic and mathematics is to be presented in terms of the history of its development. Such dev...
-
Connexivity in Aristotle’s Logic History and Philosophy of Logic (IF 0.5) Pub Date : 2023-07-11 Fabian Ruge
At APr 2.4 57a36–13, Aristotle presents a notorious reductio argument in which he derives the claim ‘If B is not large, B is large’ and calls that result impossible. Aristotle is thus committed to ...
-
An Axiomatic System Based on Ladd-Franklin's Antilogism History and Philosophy of Logic (IF 0.5) Pub Date : 2023-07-06 Fangzhou Xu
This paper sketches the antilogism of Christine Ladd-Franklin and historical advancement about antilogism, mainly constructs an axiomatic system Atl based on first-order logic with equality and the...
-
Brouwer's Intuition of Twoity and Constructions in Separable Mathematics History and Philosophy of Logic (IF 0.5) Pub Date : 2023-06-05 Bruno Bentzen
My first aim in this paper is to use time diagrams in the style of Brentano to analyze constructions in Brouwer's separable mathematics more precisely. I argue that constructions must involve not o...
-
Dashtakī's Solution to the Liar Paradox: A Synthesis of the Earlier Solutions Proposed by Ṭūsī and Samarqandī History and Philosophy of Logic (IF 0.5) Pub Date : 2023-05-29 Mohammad Saleh Zarepour
Ṣadr al-Dīn al-Dashtakī (d. 1498) has proposed a solution to the liar paradox according to which the liar sentence is a self-referential sentence in which the predicate ‘false’ is iterated. Discuss...
-
Arthur N. Prior on the Labours of Ł3 Conjunctions History and Philosophy of Logic (IF 0.5) Pub Date : 2023-05-25 Jeremiah Joven Joaquin, Peter Eldridge-Smith
In ‘Many-valued Logics’, a lecture broadcast over New Zealand's public radio in 1957, Arthur N. Prior (1914–1969) complained that conjunctions are put ‘to something like forced labour’ in Łukasiewi...
-
John Eliot's Logick Primer: A Bilingual English-Massachusett Logic Textbook History and Philosophy of Logic (IF 0.5) Pub Date : 2023-05-18 Sara L. Uckelman
In 1672 John Eliot, English Puritan educator and missionary to New England, published The Logick Primer: Some Logical Notions to initiate the INDIANS in the knowledge of the Rule of Reason; and to ...
-
Form, Formality, Formalism in Hegel’s Dialectic-Speculative Logic History and Philosophy of Logic (IF 0.5) Pub Date : 2023-05-15 Angelica Nuzzo
This essay addresses the general systematic question underlying any project of ‘formalization’ of Hegel’s dialectic-speculative logic, namely, the question concerning the peculiar concept of logical ‘form’ and the connected type of ‘formalism’ at stake in a logic that is, programmatically and innovatively within the historical tradition, a ‘dialectic-speculative’ logic.
-
Introduction: The Formalization of Dialectics History and Philosophy of Logic (IF 0.5) Pub Date : 2023-05-15 Elena Ficara, Graham Priest
The idea at the basis of this special issue is that reopening the old debate about the logical status of Hegel's dialectics is extremely interesting, for various reasons. The first reason is that a new Hegel is circulating, nowadays, in the philosophical literature, with specific reference to Hegel's dialectical logic and its relation to the history and philosophy of logic. This development deserves
-
Hegelian Conjunction, Hegelian Contradiction History and Philosophy of Logic (IF 0.5) Pub Date : 2023-05-15 Jc Beall, Elena Ficara
Understanding what is the strictly formal import of Hegel's view is something on which few analytic philosophers have seen time worth spending. Still in our view there is enough in Hegel's work to suggest that a formal account of his dialectial process might be profitable both for better understanding Hegel's ideas and for introducing a new sort of glutty logic. The focus of our analysis is Hegel's
-
Hegel’s Interpretation of the Sorites History and Philosophy of Logic (IF 0.5) Pub Date : 2023-05-15 Franca d’Agostini
ABSTRACT Hegel’s approach to soritical arguments (as well as to paradoxes in general) can be read as a kind of conjunctive paraconsistency: the ‘explosive’ effect of contradictions is avoided by assuming ‘the unity of the opposites’, so that contradictory conjunctions are not simplifiable. The paper reconsiders what Hegel says about the Sorites and justifies the conjunctive interpretation. The first
-
Hegel’s Logic of Self-Predication History and Philosophy of Logic (IF 0.5) Pub Date : 2023-05-15 Gregory S. Moss
ABSTRACT Hegel’s Doctrine of the Concept advances a theory of conceptual determinacy. As I will demonstrate, Hegel’s theory of conceptual determinacy leads him to endorse self-predication and existential implication as features endemic to conceptual content. I first demonstrate some features of this logic, and some of its entailments. Following the reconstruction of Hegel’s logic of self-predication
-
A Lack of Form in Hegel’s Logic? Hegel and the Trans-classical Logic of Gotthard Günther History and Philosophy of Logic (IF 0.5) Pub Date : 2023-05-15 Valentin Pluder
Gotthard Günther's early work is inspired by Hegel's logic. Both share the view that the forms of ‘classical logic’ are insufficient to capture essential aspects of thought. However, while Hegel rules out formalization for his dialectical logic, Günther attributes this to the fact that Hegel's thought itself is still bound to the forms of a classical logic. Günther thus develops a trans-classical logic
-
Intuitionist and Classical Dimensions of Hegel’s Hybrid Logic History and Philosophy of Logic (IF 0.5) Pub Date : 2023-05-15 Paul Redding
Hegel interpreters commonly reject attempts to situate Hegel’s logic in relation to modern movements. Appealing to his criticisms of the logic of Verstand or mere understanding with its fixed logical structure, Hegel’s logic, it is pointed out, was a logic of Vernunft or reason—a logic more at home in the thought of Plato and Aristotle than in modern mathematical forms. Contesting this implied dichotomy