Showing papers in "History and Philosophy of Logic in 2021"
TL;DR: In this article, the authors argue that Wittgenstein's Tractatus is a forerunner of formal semantics and that it can be used to apply formal notions to natural language processing.
Abstract: This paper argues that there are three reasons why we should regard Wittgenstein's Tractatus as a forerunner of formal semantics: Wittgenstein is convinced that we can apply formal notions to natur...
10 citations
TL;DR: In this article, the authors dealt with the Lutheran-Catholic religious colloquy at Regensburg of 1601 and pointed out that the event was of importance not only for political and religious reasons but also in terms...
Abstract: The article deals with the Lutheran–Catholic religious colloquy at Regensburg of 1601. It points out that the event was of importance not only for political and religious reasons but also in terms ...
9 citations
TL;DR: The authors examines the traditional and modern doctrines of categorical propositions and argues that both doctrines have serious problems, while the doctrines disagree about existential imports and argue that existential import is a good thing.
Abstract: This article examines the traditional and modern doctrines of categorical propositions and argues that both doctrines have serious problems. While the doctrines disagree about existential imports ...
8 citations
TL;DR: In his Lectures on the History of Philosophy, Hegel develops a subtle analysis of Megarian paradoxes: the Liar, the Veiled Man and the Sorites.
Abstract: In his Lectures on the History of Philosophy, Hegel develops a subtle analysis of Megarian paradoxes: the Liar, the Veiled Man and the Sorites. In this paper, we focus on Hegel's interpretation of ...
6 citations
TL;DR: In this paper, the real meaning or ultimate significance of a famous theorem are discussed in the context of mathematical logic, and the authors propose a method to find the meaning of such a theorem.
Abstract: Attempts to articulate the real meaning or ultimate significance of a famous theorem comprise a major vein of philosophical writing about mathematics. The subfield of mathematical logic has supplie...
6 citations
TL;DR: In this article, the authors examine the deep theological faultline generated by divergent understandings of the divine attributes (ṣifāt) among two early antagonistic Muslim groups -the traditionalists (main...
Abstract: In this paper, I examine the deep theological faultline generated by divergent understandings of the divine attributes (ṣifāt) among two early antagonistic Muslim groups – the traditionalists (main...
6 citations
TL;DR: In The Form of Truth: Hegel's Philosophical Logic as discussed by the authors, Ficara offers a reappraisal of G.W.F. Hegel's logic within the history of logic and in relation to the logics of today.
Abstract: In The Form of Truth: Hegel’s Philosophical Logic, Elena Ficara offers a reappraisal of G.W.F. Hegel’s logic within the history of logic and in relation to the logics of today. She brings together ...
6 citations
TL;DR: In this paper, it is assumed that Peirce rejected the principle of bivalence, but this assumption is not supported by the fact that Bivalence is a principle of three-valued logic.
Abstract: Since Peirce defined the first operators for three-valued logic, it is usually assumed that he rejected the principle of bivalence. However, I argue that, because bivalence is a principle, the stra...
6 citations
TL;DR: In this paper, the authors examine a contribution L. Susan Stebbing made to the understanding of critical thinking and its relation to formal logic and show that Stebbs took expertise in formal logic to authorise logical interventio...
Abstract: We examine a contribution L. Susan Stebbing made to the understanding of critical thinking and its relation to formal logic. Stebbing took expertise in formal logic to authorise logical interventio...
6 citations
TL;DR: In the early 1920s, mathematics logic was first introduced to China by Bertrand Russel at Peking University in 1921 and continued to be used in the early 1970s as mentioned in this paper.
Abstract: Mathematical logic was first introduced to China in early 1920s. Although, the process of introduction was facilitated by the lectures of Bertrand Russel at Peking University in 1921 and continued ...
6 citations
TL;DR: In his Formal Logic, Prior as discussed by the authors declared that Jan Łukasiewicz's logical notation is "unquestionably the best logical symbolism for most purposes" and that he had a substantive, substantive, and...
Abstract: In his Formal Logic, Arthur N. Prior (1914–1969) declared that Jan Łukasiewicz's logical notation is ‘unquestionably the best logical symbolism for most purposes’. Whether he had a substantive, and...
TL;DR: The authors developed the theory of consequence within a semantical framework compatible with what we now call token-based semantics, and showed that it is compatible with the notion of consequence in the Treatise on Consequences and Sophismata.
Abstract: Jean Buridan developed his theory of consequence within a semantical framework compatible with what we now call token-based semantics. In his Treatise on Consequences and Sophismata, Buridan showed...
TL;DR: Heck and Mancosu as mentioned in this paper showed that the possibility of non-Cantorian assignments of cardinalities to infinite concepts shows that Hume's Principle (HP) is not implicit in the...
Abstract: Richard Kimberly Heck and Paolo Mancosu have claimed that the possibility of non-Cantorian assignments of cardinalities to infinite concepts shows that Hume's Principle (HP) is not implicit in the ...
TL;DR: In this article, the roots of Dialetheism in discussions about dialectics and dialectical logic at the time of the first development of paraconsistent logics are laid bare.
Abstract: The aim of this paper is to lay bare the roots of dialetheism in discussions about dialectics and dialectical logic at the time of the first development of paraconsistent logics. In other words, th...
TL;DR: The medieval Islamic solutions to the liar paradox can be categorized into three different families as mentioned in this paper : first family, second family and third family, according to the solutions of the first family the liar sentences are not well-formed truth-apt...
Abstract: The medieval Islamic solutions to the liar paradox can be categorized into three different families. According to the solutions of the first family, the liar sentences are not well-formed truth-apt...
TL;DR: In this paper, the authors explore the most often examined method of constructing Hilbert-type axiom systems for finite-valued propositional logics of Łukasi's propositional logic.
Abstract: The article explores the following question: which among the most often examined in the literature method of constructing Hilbert-type axiom systems for finite-valued propositional logics of Łukasi...
[...]
TL;DR: The first formulation of a relevant logic was given by Ivan Orlov in 1928 as discussed by the authors, which remained largely unknown to English-speakers until the discovery of relevant logics in the 1990s.
Abstract: In 1928 Ivan Orlov published a remarkable paper which contains the first formulation of a relevant logic. The paper remained largely unknown to English-speakers until this discovery of relevant log...
TL;DR: In this article, the authors present a collection of articles (consisting of 11 independent chapters) on research that attempts to connect logic and mathematics with empirical and cognition, including the work of this article.
Abstract: This book is a collection of articles (consisting of 11 independent chapters) on research that attempts to connect logic and mathematics with empirical and cognition. There have been various such a...
TL;DR: In his Lecture on Ethics, Wittgenstein mentions the difficulty a recipient of his philosophy has in seeing both the road he is led and the goal which it leads to.
Abstract: In his Lecture on Ethics, Wittgenstein mentions the difficulty a recipient of his philosophy has in ‘seeing both the road he is led and the goal which it leads to’ (TS 207,2[1]). Oskari Kuusela's b...
TL;DR: Prior is the father of modern tense-logic as mentioned in this paper, and was the first to formalize tense logic in the form of tense logic formalisms, which is the basis of our present tense logic.
Abstract: In 1954, A. N. Prior (1914–1969) discovered a way to formalize tense-logic—as such, there is no doubt that he is the father of modern tense-logic. Despite this, he considered his early teacher in p...
TL;DR: In the years following Bertrand Russell's visit in China, fragments from his work on mathematical logic and the foundations of mathematics started to enter the Chinese intellectual world as mentioned in this paper, and they were used by the authors of this paper.
Abstract: In the years following Bertrand Russell's visit in China, fragments from his work on mathematical logic and the foundations of mathematics started to enter the Chinese intellectual world. While up ...
TL;DR: Germann and Harvey as mentioned in this paper, the Origin and Nature of Language and Logic: Perspectives in Medieval Islamic, Jewish, and Christian Thought, discuss the relationship between language and logic.
Abstract: N. Germann and S. Harvey, editors. The Origin and Nature of Language and Logic: Perspectives in Medieval Islamic, Jewish, and Christian Thought. Turnhout: Brepols, 2020. xiii +422 pp. €71,46, ISBN ...
TL;DR: In the Handbook of Mathematical Logic, the Paris-Harrington variant of Ramsey's theorem is celebrated as the first result of a long "search" for a purely mathematical incompleteness result in first-order logic as discussed by the authors.
Abstract: In the Handbook of Mathematical Logic, the Paris-Harrington variant of Ramsey's theorem is celebrated as the first result of a long ‘search’ for a purely mathematical incompleteness result in first...
TL;DR: In this article, the Peano axioms for the sequence of natural numbers were investigated and two notions of independence, (usual) independence and complete independence, were applied to them.
Abstract: We investigate two notions of independence—(usual) independence and complete independence—applied to the Peano axioms for the sequence of natural numbers. We review the results that, although they ...
TL;DR: In this paper, the authors look at the arguments advanced by three Parisian arts masters about how to understand Prior Analytics II 4 and the more general discussion that medieval authors situate it.
Abstract: The aim of this paper is to look at the arguments advanced by three Parisian arts masters about how to understand Prior Analytics II 4 and the more general discussion that medieval authors situate ...
TL;DR: The authors reassess a notion in the works of the later Husserl that is both historically important and philosophically insightful, but remains understudied, namely the notion of type.
Abstract: This paper aims to reassess a notion in the works of the later Husserl that is both historically important and philosophically insightful, but remains understudied, namely, that of type. In opposit...
TL;DR: Conditional judgements—judgements employing ‘if’—are essential to practical reasoning about what to do, as well as to much reasoning aboutWhat is the case.
Abstract: Conditional judgements—judgements employing ‘if’—are essential to practical reasoning about what to do, as well as to much reasoning about what is the case. We handle them well enough from an early...
TL;DR: It is quite common among historians of Arabic logic to attribute MS Aḥmad iii, no. 3401, entitled Al-manṭiq al-kabīr (Major [book on] logic), to Fakhr al-Dīn Rāzī.
Abstract: It is quite common among historians of Arabic logic to attribute MS Aḥmad iii, no. 3401, entitled Al-manṭiq al-kabīr (Major [book on] logic), to Fakhr al-Dīn Rāzī. This view is expressed explicitly...
TL;DR: This paper attempts to reveal and explain the framework of Leśniewski's basic logic, viz.
Abstract: Leśniewski is known for his pedantry and idiosyncratic notation, which make it extremely difficult to read and follow. As reading comes before understanding, this paper therefore attempts only one ...