Results 211 to 220 of about 30,543 (266)

Philosophy of logic and mathematics

, 2016
Philosophy of Logic and Mathematics (Veranstaltung) 2016 New York, NY
core  

Some of the next articles are maybe not open access.

Related searches:

Which Mathematical Logic is the Logic of Mathematics?

Logica Universalis, 2012
The main tool of the arithmetization and logization of analysis in the history of nineteenth century mathematics was an informal logic of quantifiers in the guise of the “epsilon–delta” technique. Mathematicians slowly worked out the problems encountered in using it, but logicians from Frege on did not understand it let alone formalize it, and instead ...
exaly   +2 more sources

SORT LOGIC AND FOUNDATIONS OF MATHEMATICS

Lecture Notes Series, Institute for Mathematical Sciences, 2014
I have argued elsewhere [8] that second order logic provides a foundation for mathematics much in the same way as set theory does, despite the fact that the former is second order and the latter first order, but second order logic is marred by reliance ...
Jouko Väänänen
exaly   +2 more sources

Language, Logic, and Mathematics in Schopenhauer

Studies in Universal Logic, 2020
The chapters in this timely volume aim to answer the growing interest in Arthur Schopenhauer’s logic, mathematics, and philosophy of language by comprehensively exploring his work on mathematical evidence, logic diagrams, and problems of semantics. Thus,
Lemanski, Jens
exaly   +2 more sources

Descriptions in mathematical logic

Studia Logica, 1984
If A(x) is a predicate satisfied by exactly one x, then we write Ix.A(x) for that object x. The operator I is called a descriptor. The author reviews the various treatments of descriptors in the literature, pointing out that the problem each treatment faces is ''what to do with Ix.A(x) when \(\exists !xA(x)\) is not (yet) known''. The obvious answer is
Gerard R. Renardel, null de Lavalette
openaire   +2 more sources

Logic for Mathematical Writing

Logic Journal of IGPL, 2007
In the School of Mathematical Sciences at Queen Mary in the University of London we have been running a module that teaches the students to write good mathematical English. The module is for second-year undergraduates and has been running for three years.
Edmund Harriss, Wilfrid Hodges
openaire   +1 more source

IF logic and the foundations of mathematics

Synthese, 2001
One of the properties of independence friendly (IF) first-order logic as discussed, e.g., by \textit{J. Hintikka} in his ``The principles of mathematics revisited'' [Cambridge University Press, Cambridge (1996; Zbl 0869.03003)] is that ``it defines its own truth-predicate in certain models, like for instance, in the standard model \(N\) of PA'' (p. 40).
Gabriel Sandu, Tapani Hyttinen
openaire   +2 more sources

The mathematical logic of life

Origins of Life, 1984
Protein synthesis can be likened to a particular coded information storage, transmission and execution system. Noise, error or mutations are the essential phenomena to which a living organism is subjected. Genetic coding aims at preserving the integrity of a structure under aggression from the surroundings.
G, Cullmann, J M, Labouygues
openaire   +2 more sources

Mathematical Logic: Mathematics of Logic or Logic of Mathematics

2020
This brief historical survey is written from a logical point of view. It is a rational reconstruction of the genesis of some interrelations between formal logic and mathematics. We examine how mathematical logic was conceived: as the abstract mathematics of logic or as the logic of mathematical practice.
openaire   +1 more source

Mathematical Logic

2007
Abstract Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic.
Ian Chiswell, Wilfrid Hodges
openaire   +1 more source