Results 11 to 20 of about 214 (213)
Intuitionistic Logic is a Connexive Logic
Studia Logica, 2023 AbstractWe show that intuitionistic logic is deductively equivalent to Connexive Heyting Logic ($$\textrm{CHL}$$ CHL ), hereby introduced as an example of a strongly connexive logic with an intuitive semantics. We use the reverse algebraisation paradigm: $$\textrm{CHL}$$ CHL is ...
davide fazio +2 more
openaire +5 more sources
Philosophia Scientiæ, 2014 PLV (Plural Basic Law V) is a consistent second-order system which is aimed to derive second-order Peano arithmetic. It employs the notion of plural quantification and a first-order formulation of Frege's infamous Basic Law V.
Francesca Boccuni
doaj +1 more source
El logicismo russelliano: su significado filosófico
Crítica, 2018 After a brief presentation of Russell' s logicism, I attempt a global explanation of its philosophical significance. I reject the existence of two different kinds of logicism (Putnam) with the argument that Russell was trying to justify the existing ...
Francisco Rodríguez Consuegra
doaj +1 more source
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
Problemos, 2020 The article raises the question what is the content of Frege’s infamous notion of Bedeutung? It is claimed that the so–called standard interpretation of this notion – Bedeutung as referential relation between a name and an object – was developed and ...
Jonas Dagys
doaj +1 more source
Říká logicismus něco, co se říkat nemá?
Teorie vědy, 2010 Does Logicism Say Something That Should Not Be Said? The objective of this paper is to analyze the broader significance of Frege’s logicist project against the background of Wittgenstein’s philosophy from both Tractatus and Philosophical Investigations ...
Vojtěch Kolman
doaj +1 more source
On Argumentation Logic and Propositional Logic [PDF]
Studia Logica, 2017 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kakas, Antonis C. +5 more
openaire +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 +1 more source
The ontological implications of neo-Fregeanism
Daimon, 2016 Neo-Fregeanism is a combination of two ideas: logicism, according to which arithmetic can be derived from logic plus definitions, and Platonism, according to which there are mathematical objects (which are abstract).
María de Ponte
doaj +1 more source
Quantum logic as a dynamic logic [PDF]
Synthese, 2010 The authors argue that quantum mechanics does not require abandoning the principles of classical logic. Their argument is based on combining a formal semantic approach understood as an investigation of ``the logic of yes-no experiments'', following their papers [Int. J. Theor. Phys. 44, No. 12, 2267--2282 (2005; Zbl 1110.81013); Stud. Log. 89, No.
Alexandru Baltag, Sonja Smets
openaire +4 more sources