The Bulletin of Symbolic Logic, Volume 8, Issues 1-4Association for Symbolic Logic, 2002 - Logic, Symbolic and mathematical |
From inside the book
Results 1-3 of 58
Page 1
... logical constants . i.e. , of the requirements that a good theory of logical constants ought to satisfy . This paper is in the first place a survey of these conceptions and a critique of the theories they have given rise to . A second ...
... logical constants . i.e. , of the requirements that a good theory of logical constants ought to satisfy . This paper is in the first place a survey of these conceptions and a critique of the theories they have given rise to . A second ...
Page 6
... logical truth is just a truth such that all the propositions of the same ... logical concepts in that proposition are true propositions ( see [ 3 , §148 ] ) . And ... constants appearing in these truths ( once they are " reduced " in the ...
... logical truth is just a truth such that all the propositions of the same ... logical concepts in that proposition are true propositions ( see [ 3 , §148 ] ) . And ... constants appearing in these truths ( once they are " reduced " in the ...
Page 30
... logical constants were born in the work of some logicist authors , interested in giving an explanatory theory of the analyticity and apriority of logic . These authors agreed that the concept of logical constancy should satisfy some ...
... logical constants were born in the work of some logicist authors , interested in giving an explanatory theory of the analyticity and apriority of logic . These authors agreed that the concept of logical constancy should satisfy some ...
Contents
R Epstein and W Carnielli Computability Reviewed by Carlos Augusto Di Prisco | 101 |
The problem of logical constants by MARIO GÓMEZTORRENTE | 142 |
Types in logic and mathematics before 1940 by FAIROUZ KAMAREDDINE | 185 |
Copyright | |
29 other sections not shown
Other editions - View all
Common terms and phrases
abstract applications argument arithmetic Association for Symbolic atomic axioms binary relation Boolean calculus cardinal characterization choice sequences class of finite complete Computer Science concept construction countable defined definition denote Department of Mathematics domain E-mail elements equivalent example existence existential finite model finite structures first-order logic formula free variables Frege Gentzen Gödel Hertz hierarchy impredicative induction infinitary infinite intuitionistic isomorphic Journal of Symbolic language Lemma logical constants Math Mathematica mathematical logic modal logic model theory natural numbers normal form notation notion obtained ordinal paper paradox Philosophy predicate predicate logic Principia principle problem proof theory properties provable proved quantifiers realizability recursive relation algebras restrictions rules semantics sentence set theory Skolem subset Symbolic Logic Tarski theorem theory of types Turing degree type theory universal quantifiers University WCPC-category Zermelo