Results 1 to 10 of about 250,768 (171)
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
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
Frege on the Generality of Logical Laws [PDF]
, 2020 Frege claims that the laws of logic are characterized by their “generality,” but it is hard to see how this could identify a special feature of those laws.
Beaney M. +26 more
core +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
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
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
Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism [PDF]
, 2019 This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras.
A Baltag +45 more
core +9 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