Results 211 to 220 of about 3,419 (260)

Hintikka on the Foundations of Mathematics: IF Logic and Uniformity Concepts

Journal of Philosophical Logic, 2014
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Logic and the Foundations of Mathematics

1981
To say something about the connections between logic and the foundations of mathematics in a meeting in which almost every topic concerning such a connection has undergone or will undergo a direct or indirect, analytical or cursory, theoretical or historical treatment is by no means an easy task.
openaire   +1 more source

Foundations of Probability in Mathematical Logic

Philosophy of Science, 1937
It is the purpose of this paper to present a theory of probability derived from two-valued logic—the logic of which an aspect is given in Part I, Section A, of Principia Mathematica. The symbolic system of Mr. Keynes, given in his Treatise on Probability, will be shown to be a part of our system.
openaire   +1 more source

Mathematical Logic and the Foundations of Mathematics.

The American Mathematical Monthly, 1965
Trevor Evans, G. T. Kneebone
openaire   +1 more source

Foundations: Logic, Language, and Mathematics

1984
A Symmetric Approach to Axiomatizing Quantifiers and Modalities.- The Knowing Mathematician.- "Conservative" Kripke Closures.- Frege, Le?niewski, and Information Semantics on the Resolution of Antinomies.- De Finetti's Probabilism.- Probability Functions and Their Assumption Sets - The Binary Case.- Logic and Reasoning.- Paradoxes.- Referential and ...
openaire   +1 more source

Logic and Foundations of Mathematics

1999
CANTINI, ANDREA, E. Casari, MINARI, PIERLUIGI   +2 more
openaire   +3 more sources

Mathematical Foundations of Parity Logic

1999
This chapter provides a compact survey of the binary space B n and related concepts, in particular the eXclusive-OR operation x ⊕ y and its generalization to the binary scalar integral ⊕ i n =1 x i and the binary vector integral ⊕ i n =1 x i for vectors x ∈ B n .
openaire   +1 more source

Foundations of Mathematical Logic.

The American Mathematical Monthly, 1965
Elliott Mendelson, Haskell B. Curry
openaire   +1 more source

Foundations of Mathematical Logic

The Mathematical Gazette, 1964
R. L. Goodstein, H. B. Curry
openaire   +1 more source

MATHEMATICAL LOGIC AND THE FOUNDATIONS OF MATHEMATICS

Philosophical Books, 1963
openaire   +1 more source