Results 11 to 20 of about 250,917 (320)
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
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
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
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
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
Ří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
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
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