Journal•ISSN: 0144-5340
History and Philosophy of Logic
Taylor & Francis
About: History and Philosophy of Logic is an academic journal published by Taylor & Francis. The journal publishes majorly in the area(s): Philosophy of logic & Syllogism. It has an ISSN identifier of 0144-5340. Over the lifetime, 754 publications have been published receiving 6617 citations.
Papers published on a yearly basis
Papers
More filters
TL;DR: In this paper, Tarski explores the concept of logical notion and draws on Klein's Erlanger Programm to locate the logical notions of ordinary geometry as those invariant under all transformations of space.
Abstract: In this manuscript, published here for the first time, Tarski explores the concept of logical notion. He draws on Klein's Erlanger Programm to locate the logical notions of ordinary geometry as those invariant under all transformations of space. Generalizing, he explicates the concept of logical notion of an arbitrary discipline.
272 citations
TL;DR: In this article, a three-valued propositional logic is presented, within which the three values are read as "true", "false" and "nonsense", and a threevalued extended functional calculus, unrestricted by the theory of types is developed.
Abstract: A three-valued propositional logic is presented, within which the three values are read as ‘true’, ‘false’ and ‘nonsense’. A three-valued extended functional calculus, unrestricted by the theory of types, is then developed. Within the latter system, Bochvar analyzes the Russell paradox and the Grelling-Weyl paradox, formally demonstrating the meaninglessness of both.
177 citations
TL;DR: In this article, the moments of maximum likelihood and moment estimators for the scale and shape parameters of a two-parameter gamma density are given, the former being tabulated over a segment of the parameter space.
Abstract: Accurate moments of maximum likelihood and moment estimators for the scale and shape parameters of a two parameter gamma density are given, the former being tabulated over a segment of the parameter space. In addition, joint acceptance regions are given for a particular case. The three parameter model is also considered and comments made on second order asymptotics for the maximum likelihood estimators
125 citations
TL;DR: Presburger's essay on the completeness and decidability of arithmetic with integer addition but without multiplication is a milestone in the history of mathematical logic and formal metatheory.
Abstract: Presburger's essay on the completeness and decidability of arithmetic with integer addition but without multiplication is a milestone in the history of mathematical logic and formal metatheory. The proof is constructive, using Tarski-style quantifier elimination and a four-part recursive comprehension principle for axiomatic consequence characterization. Presburger's proof for the completeness of first order arithmetic with identity and addition but without multiplication, in light of the restrictive formal metatheorems of Godel, Church, and Rosser, takes the foundations of arithmetic in mathematical logic to the limits of completeness and decidability.
102 citations
TL;DR: The notion of compiling a natural history of the understanding constituted the basis of this new concept of logic as discussed by the authors. But this view of logic was not universally accepted, and it was not always easy to understand.
Abstract: Whatever its merits and difficulties, the concept of logic embedded in much of the ‘new philosophy’ of the early modern period was then understood to supplant contemporary views of formal logic. The notion of compiling a natural history of the understanding constituted the basis of this new concept of logic. The following paper attempts to trace this view of logic through some of the major and numerous minor texts of the period, centering on the development and influence of John Locke's understanding of the analysis of the cognitive faculties as the discipline of logic.
89 citations