Foundations of Logic and Linguistics
Problems and Their Solutions
Published on 30. April 1985
Book
Hardback
XI, 715 pages
978-0-306-41916-4 (ISBN)
Description
This volume comprises a selection of papers that were contributed to the 7th International Congress of Logic, Methodology and Philosophy of Science, which was held in Salzburg from the 11th - 16th July, 1983. There were 14 sections in this congress: 1. proof theory and foundations of mathematics 2. model theory and its applica ti on 3. recursion theory and theory of computation 4. axiomatic set theory 5. philosophical logic 6. general methodology of science 7. foundations of probability and induction 8. foundations and philosophy of the physical sciences 9. foundati ons and phi 1 osophy of biology 10. foundations and philosophy of psychology foundations and philosophy 11. of the social sciences 12. foundati ons and philosophy of linguistics 13. history of logic, methodology and philosophy of science 14. fundamental principles of the ethics of science In each section, three or four invited addresses were given, which will be published in the Congress Proceedings (Ruth Barcan Marcus, Georg J. W. Dorn and Paul Weingartner, eds. : Logic, Metho dology and Philosophy of Science VII. Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of v PREFACE Science, Salzburg, 1983. - Amsterdam, New York, Oxford: North-Holland Publishing 'Company, 1985. ) Every section with the exception of section 14 also contained contributed papers.
More details
Edition
1985 ed.
Language
English
Place of publication
New York
United States
Publishing group
Springer Science+Business Media
Target group
College/higher education
Research
Illustrations
XI, 715 p.
Dimensions
Height: 260 mm
Width: 183 mm
Thickness: 44 mm
Weight
1550 gr
ISBN-13
978-0-306-41916-4 (9780306419164)
DOI
10.1007/978-1-4899-0548-2
Schweitzer Classification
Other editions
Additional editions
E-Book
11/2013
Springer
€213.99
Available for download
Book
06/2013
Springer
€213.99
Shipment within 15-20 days
Content
Foundations of Logic: Mathematical Logic.- Consequence Relations of 2-element Algebras.- On a Form of Equational Interpolation Property.- Structural Completeness of Purely Implicational Intermediate Logic.- Proof-theoretic Validity and the Completeness of Intuitionistic Logic.- Gentzen-type or Beth-type Systems, Constructive Completeness Proofs and Practical Decision Procedures (with Special Attention to Relevance Logic).- Sequential Calculi for Symmetric Dynamic Logic.- Semantic Games on Finite Trees.- To the Decision Problem for Branching Time Logic.- Reductions of Theories for Analysis.- The Incompleteness Theorems and Related Results for Nonconstructive Theories.- A Typed ?-calculus and Girard's Model of Ptykes.- Wellordering Theorems in Topology.- Foundations of Logic: Philosophical Logic.- Mathematical Logic and Continental Philosophers.- The Non-existence of a Probabilistic Inductive Support.- Unary Probabilistic Semantics.- Epistemic Importance and the Logic of Theory Change.- Le?niewski's Logic and its Relation to Classical and Free Logics.- Foundations of Linguistics: Logic and Language.- Algebraic Models of Categorial Grammars.- On the Interpreted Sense Calculus $SC_\alpha ^v $.- Semantics of Vague Concepts.- Information Semantics and Antinomies.- Interpretative Model for Linguistic Quantifiers.- Homogeneous and Individuated Quantifiers in Natural Language.- A Simple Relevance-criterion for Natural Language and its Semantics.- A Farewell to Entailment.- Foundations of Linguistics: Philosophy of Language.- Dummett's Conception as Theory of Meaning for Hintikka's Type of Game-theoretical Semantics (I) ('Use' and 'Language-game' in Wittgenstein and Dummett).- Indeterminacy of Meaning.- Colors and Languages.- List of Contributors.