Results 11 to 20 of about 206 (205)
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
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
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
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
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
Logical Step-Indexed Logical Relations [PDF]
Logical Methods in Computer Science, 2009 Appel and McAllester's "step-indexed" logical relations have proven to be a simple and effective technique for reasoning about programs in languages with semantically interesting types, such as general recursive types and general reference types. However, proofs using step-indexed models typically involve tedious, error-prone, and proof-obscuring step ...
Dreyer, Derek +2 more
openaire +7 more sources
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
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
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
Chain logic and Shelah’s infinitary logic [PDF]
Israel Journal of Mathematics, 2021 Comment: This version is the final autors' version.
Džamonja, Mirna, Väänänen, Jouko
openaire +4 more sources