Results 21 to 30 of about 761 (264)
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
Ří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
RUDN Journal of Philosophy, 2020 The article reveals the value and contribution of A.I. Vvedensky in the formation of Russian neo-Kantianism on the example of a systematic and integrated review of his research. The author reveals the significance of A.I.
P. A. Vladimirov
doaj +1 more source
Russell on Logicism and Coherence [PDF]
, 2011 According to Quine, Charles Parsons, Mark Steiner, and others, Russell’s logicist project is important because, if successful, it would show that mathematical theorems possess desirable epistemic properties often attributed to logical theorems, such ...
Conor Mayo-Wilson, Mayo-Wilson, Conor
core +1 more source
Logicism, Interpretability, and Knowledge of Arithmetic [PDF]
, 2014 A crucial part of the contemporary interest in logicism in the philosophy of mathematics resides in its idea that arithmetical knowledge may be based on logical knowledge.
Walsh, Sean, WALSH, SEAN,, SEAN WALSH
core +2 more sources
Logicism and Carnap's logical syntax [PDF]
, 2011 Although logicism played a significant role in Carnap's philosophical thinking, the relation of his philosophy of mathematics to the main tenets of the logicist tradition is complex and variable.
Frey, Adrian
core +1 more source
The Dark Heritage of Logicism [PDF]
, 2020 El logicismo suele figurar de modo estándar en los manuales como una de las principales alternativas en la fundamentación de las matemáticas, si bien su atractivo disminuyó considerablemente desde aprox. 1950. Bien es cierto que la corriente neologicista
Ferreirós Domínguez, José Manuel
core +3 more sources
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
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
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