Results 11 to 20 of about 1,004,933 (340)
Neo-Logicism and Its Logic [PDF]
Russell: The Journal of Bertrand Russell Studies, 2019 The rather unrestrained use of second-order logic in the neo-logicist program is critically examined. It is argued in some detail that it brings with it genuine set-theoretical existence assumptions and that the mathematical power that Hume’s Principle ...
Panu Raatikainen
semanticscholar +2 more sources
Notre Dame Journal of Formal Logic, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
S. Feferman
semanticscholar +3 more sources
On logicality and natural logic [PDF]
Natural Language Semantics, 2021 AbstractIn this paper we focus on the logicality of language, i.e. the idea that the language system contains a deductive device to exclude analytic constructions. Puzzling evidence for the logicality of language comes from acceptable contradictions and tautologies. The standard response in the literature involves assuming that the language system only
Pistoia-Reda, Salvatore +2 more
openaire +5 more sources
Frege on the Generality of Logical Laws [PDF]
, 2020 Frege claims that the laws of logic are characterized by their “generality,” but it is hard to see how this could identify a special feature of those laws.
Beaney M. +26 more
core +1 more source
Logical Step-Indexed Logical Relations [PDF]
Logical Methods in Computer Science, 2009 Appel and McAllester's "step-indexed" logical relations have proven to be a simple and effective technique for reasoning about programs in languages with semantically interesting types, such as general recursive types and general reference types. However, proofs using step-indexed models typically involve tedious, error-prone, and proof-obscuring step ...
Dreyer, Derek +2 more
openaire +7 more sources
Chain logic and Shelah’s infinitary logic [PDF]
Israel Journal of Mathematics, 2021 Comment: This version is the final autors' version.
Džamonja, Mirna, Väänänen, Jouko
openaire +4 more sources
Sofia A. Yanovskaya: The Marxist Pioneer of Mathematical Logic in the Soviet Union [PDF]
, 2019 K. Marx’s 200th jubilee coincides with the celebration of the 85 years from the first publication of his “Mathematical Manuscripts” in 1933. Its editor, Sofia Alexandrovna Yanovskaya (1896–1966), was a renowned Soviet mathematician ...
Kilakos, Dimitris
core +2 more sources
Is Incompatibilism Compatible with Fregeanism? [PDF]
, 2018 This paper considers whether incompatibilism, the view that negation is to be explained in terms of a primitive notion of incompatibility, and Fregeanism, the view that arithmetical truths are analytic according to Frege’s definition of that term in §3 ...
Kürbis, Nils
core +3 more sources
Perspectives hétérodoxes de Russell sur la question des fondements
Philosophia Scientiæ, 2005 Russell’s logicism consists of a thesis stating that all pure mathematics can be expressed in terms of logical constants and variables. It is usually assumed to be a reduction of pure mathematics to logic.
Anne-Françoise Schmid
doaj +1 more source
Issues of Logicism and Objectivity
Informal Logic, 2017 Concerning Harald Wohlrapp’s theories, many fascinating issues arise. I shall concentrate here on aspects especially relevant to the treatment of pro and con argumentation, a type of what has been called conductive argument. Though initially intrigued by
Trudy Govier
doaj +3 more sources