Results 1 to 10 of about 214 (213)
German Idealism and the Origins of Pure Mathematics: Riemann, Dedekind, Cantor [PDF]
Journal of Philosophical Investigations, 2021 When it comes to the relation of modern mathematics and philosophy, most people tend to think of the three major schools of thought—i.e. logicism, formalism, and intuitionism—that emerged as profound researches on the foundations and nature of ...
Ehsan Karimi Torshizi
doaj +1 more source
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
Kantian Motives in Work of Ludwig Wittgenstein
RUDN Journal of Philosophy, 2023 It is proved that the basic framework of the premises and reasoning of Wittgenstein's “Tractatus Logico-philosophicus” corresponds quite well to the transcendental method (as formulated by H. Cohen).
Zinaida A. Sokuler
doaj +1 more source
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
Understanding and ad hoc Explanation: A Case of Russell’s Reducibility Axiom [PDF]
Омский научный вестник: Серия "Общество. История. Современность", 2022 The article examines the common interpretation of the axiom of reducibility in Principia Mathematica according to which the axiom cannot be considered as logical, which casts doubt on the success of the program of logicism.
V. V. Tselishchev, A. V. Khlebalin
doaj +1 more source
Sistemas de cálculo como formas de Logicismo
Crítica, 2019 The logicism may be regarded like a fossil stone that has not utility nowadays. In this sense, logicism took care of the research about the foundations of mathematics but apparently its task arrived at its end many years ago because of sorne results ...
Ángel Nepomuceno Fernández
doaj +1 more source
Foundations of Mathematics and Mathematical Practice. The Case of Polish Mathematical School
Studia Historiae Scientiarum, 2022 The foundations of mathematics cover mathematical as well as philosophical problems. At the turn of the 20th century logicism, formalism and intuitionism, main foundational schools were developed.
Jan Woleński
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
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