Results 191 to 200 of about 528,576 (239)
Some of the next articles are maybe not open access.
Philosophy, 1928
It is often said to-day that mathematics is nothing but an extension or development of logic; indeed, the identity of logic and pure mathematics is alleged so confidently by persons whose mathematical attainments entitle them to consideration when they talk about the subject-matter of mathematics, as to be in danger of being ranked with the truths that
openaire +2 more sources
It is often said to-day that mathematics is nothing but an extension or development of logic; indeed, the identity of logic and pure mathematics is alleged so confidently by persons whose mathematical attainments entitle them to consideration when they talk about the subject-matter of mathematics, as to be in danger of being ranked with the truths that
openaire +2 more sources
2018
It is Frege, not Boole, who is the father of modern logic. What exactly is modern about modern logic? Why did Frege develop it? The answers given here are these. Modern logic is both comprehensive and fully formal. The comprehensiveness in question is the sufficiency for the purposes of mathematics.
openaire +2 more sources
It is Frege, not Boole, who is the father of modern logic. What exactly is modern about modern logic? Why did Frege develop it? The answers given here are these. Modern logic is both comprehensive and fully formal. The comprehensiveness in question is the sufficiency for the purposes of mathematics.
openaire +2 more sources
1995
There are two possible strategies for investigating questions on logic and mathematics. First, one can adopt the pattern recommended by the phenomenologists, which consists in looking for the actual essences of logic and mathematics in order to relate both fields.
openaire +2 more sources
There are two possible strategies for investigating questions on logic and mathematics. First, one can adopt the pattern recommended by the phenomenologists, which consists in looking for the actual essences of logic and mathematics in order to relate both fields.
openaire +2 more sources
Kolmogorov and mathematical logic
Journal of Symbolic Logic, 1992There are human beings whose intellectual power exceeds that of ordinary men. In my life, in my personal experience, there were three such men, and one of them was Andrei Nikolaevich Kolmogorov. I was lucky enough to be his immediate pupil. He invited me to be his pupil at the third year of my being student at the Moscow University.
openaire +2 more sources
1990
For over one hundred years, the links between logic and mathematics have been so close that it is difficult to think of the one without the other. All the persons chiefly responsible for the development of symbolic logic were both mathematicians and logicians.
openaire +2 more sources
For over one hundred years, the links between logic and mathematics have been so close that it is difficult to think of the one without the other. All the persons chiefly responsible for the development of symbolic logic were both mathematicians and logicians.
openaire +2 more sources
The Mathematical Intelligencer, 1993
The author explains a semantic tree based natural deduction style formalization of set theory which is nominalistic in nature, makes interesting use of the distinction of use and mention for (names of) objects, avoids standard set-theoretic paradoxes, but also the common naive form of Cantor's diagonal argument for the uncountability of the reals, and ...
openaire +2 more sources
The author explains a semantic tree based natural deduction style formalization of set theory which is nominalistic in nature, makes interesting use of the distinction of use and mention for (names of) objects, avoids standard set-theoretic paradoxes, but also the common naive form of Cantor's diagonal argument for the uncountability of the reals, and ...
openaire +2 more sources
Philosophy of Mathematics and Logic [PDF]
, 2015 In the present work I attempt to describe Evandro Agazzi’s research on philosophy of logic and mathematics. In particular, after a general introduction to his works, I focus my analysis on the philosophical implications of Godel’s Incompleteness Theorems. This is because they have always remained a constant point of interest in Agazzi’s research.
openaire +2 more sources
From Logic to Mathematical Logic
2011Although methods of logic and were obviously present in many cultures, which all used some intricate systems of reasoning, it is commonly accepted that explicit analysis of the principles of reasoning were developed independently in China, India, and Greece. The later being the most influential to the systems of logic in the West.
Radomir Stankovic, Jaakko Astola
openaire +2 more sources
Husserl on mathematics and logic
2023Submission note: A thesis submitted in total fulfilment of the requirements for the degree of Doctor of Philosophy to the School of Social Sciences and Communication, Faculty of Humanities and Social Sciences, La Trobe University, Bundoora.
openaire +1 more source
Mathematics, Logic and Undecidability
The Mathematical Gazette, 1967Among the greatest advances in knowledge this century one would include relativity, quantum mechanics and the explanation of hereditary replication in living things by the structure of the DNA molecule. But it would not be absurd to include in this category a discovery which is not at all well-known and goes back to 1930, namely, that logic and ...
openaire +3 more sources