Results 11 to 20 of about 761 (264)
Principia: An International Journal of Epistemology, 2001 In this paper, I develop a new defense of logicism: one that combines logicism and nominalism. First, I defend the logicist approach from recent criticisms; in particular from the charge that a crucial principle in the logicist reconstruction of ...
Otávio Bueno
doaj +5 more sources
Logicism, Neo-Logicism, and the Logics of Abstraction [PDF]
, 2023 Abstraction principles play a pivotal role in the foundations of mathematics. In the foundational programs in which they have been traditionally adopted, i.e. Frege’s logicism and Scottish neo-logicism, abstraction principles, conceived as definitions, augment a system of full higher-order logic.
Boccuni, Francesca, Sereni, Andrea
core +4 more sources
Husserl Between Frege’s Logicism And Hilbert’s Formalism
The Baltic International Yearbook of Cognition, Logic and Communication, 2009 The traditional view regarding the philosophy of mathematics in the twentieth century is the dogma of three schools: Logicism, Intuitionism and Formalism.
Ulrich Majer
doaj +2 more sources
Notre Dame Journal of Formal Logic, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
In Memory Of George Boolos +1 more
openaire +3 more sources
Dialogue, 1997 RésuméLe logicisme de Frege engage à deux thèses: (1) les vérités de l'arithmétique sont ipso facto vérités de logique; (2) les nombres naturels sont des objets. Dans cet article je pose la question: quelle conception de la logique est-elle requise pour étayer ces thèses? Je soutiens qu'il existe une conception appropriée et naturelle de la logique, en
Bird, Alexander; id_orcid, Bird, AJ
openaire +2 more sources
Translation of Tanabe Hajime’s “The Limit of Logicism in Epistemology: A Critique of the Marburg and Freiburg Schools” [PDF]
Journal of World Philosophies, 2017 This article provides the first English translation of Tanabe’s early essay, “The Limit of Logicism in Epistemology: A Critique of the Marburg and Freiburg Schools” (1914).
Takeshi Morisato
doaj +2 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
The Logic of Logic Programming
CoRR, 2023 Our position is that logic programming is not programming in the Horn clause sublogic of classical logic, but programming in a logic of (inductive) definitions. Thus, the similarity between prototypical Prolog programs (e.g., member, append, ...) and how inductive definitions are expressed in mathematical text, is not coincidental but essential.
Marc Denecker, David Scott Warren
openaire +2 more sources
CoRR, 2022 We develop a classical propositional logic for reasoning about combinatory logic. We define its syntax, axiomatic system and semantics. The syntax and axiomatic system are presented based on classical propositional logic, with typed combinatory terms as basic propositions, along with the semantics based on applicative structures extended with special ...
Simona Kasterovic, Silvia Ghilezan
openaire +2 more sources
Logicism, Formalism, and Intuitionism [PDF]
, 2021 This paper objectively defines the three main contemporary philosophies of mathematics: formalism, logicism, and intuitionism. Being the three leading scientists of each: Hilbert (formalist), Frege (logicist), and Poincaré (intuitionist)
Bird, A. P.
core +1 more source