Foundations of logic and linguistics : problems and their solutions / edited by Georg Dorn and P. Weingartner, University of Salzburg, Salzburg, Austria

Dorn, Georg J. W. [HerausgeberIn] ; Weingartner, Paul *1931-* [HerausgeberIn]

International congress of logic, methodology and philosophy of science ; 7 (Salzburg/Österreich) : 1983.07.11-16

Englisch

New York : Springer Science + Business Media, LLC, [1985]

© 1985

1 Online-Ressource (xi, 715 Seiten)

Aufsatzsammlung; Konferenzschrift (1983, Salzburg)

A selection of contributed papers from the Seventh International Congress of Logic, Methodology, and Philosophy of Science, held July 11-16, 1983, in Salzburg, Austria" - Impressum

Erscheint auch als: Druck-Ausgabe- Dorn, Georg: Foundations of logic and linguistics. - New York [u.a.] : Plenum Press, 1985. - XI, 715 S.

978-1-4899-0548-2

Weitere Ausgaben: 978-1-4899-0550-5 (Druckausgabe)

DOI: 10.1007/978-1-4899-0548-2

/ Logik / Kongress

/ Sprachphilosophie / Kongress

/ Linguistik / Kongress

/ Logik / Linguistik / Kongress

*Logik

*Sprachphilosophie

*Linguistik

*Linguistik / Logik

*Linguistics ; Logic

Klassifikation der Library of Congress: BC1-199

Dewey Dezimal-Klassifikation: 160;

Regensburger Verbund-Klassifikation: CC 2600: CA-CK Philosophie / CC Systematische Philosophie / CC 2000-CC 2600 Logik / Abhandlungen zur Logik und mathematischen Grundlagenforschung

Regensburger Verbund-Klassifikation: ER 620: E Allgemeine und vergleichende Sprach- und Literaturwissenschaft. Indogermanistik. Außereuropäische Sprachen und Literaturen / EQ-ER Allgemeine Sprachwissenschaft / ER 600-ER 640 Sprachphilosophie (Primärliteratur der Sprachphilosophie; Sekundärliteratur s.o. bei Geschichte der Sprachwissenschaft) / Sprache und Logik

Regensburger Verbund-Klassifikation: CB 4300: CA-CK Philosophie / CB Allgemeines / CB 3500-CB 4450 Lexika, Nachschlagewerke, Enzyklopädien, Gesammelte Abhandlungen / Kongressberichte

Book Industry Communication: HPL

bisacsh: PHI011000

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.

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.

 

Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.

http://dx.doi.org/10.1007/978-1-4899-0548-2 [Springer EBook]