商品詳細 | Knowledge Worker

Foundations of Logic and Linguistics 1985th ed. H XI, 715 p. 85

在庫状況海外在庫有り	お届け予定日 1ヶ月	数量冊
価格 \53,054（税込）

この商品について問合せる

発行年月	1985年04月
出版社／提供元	Springer-Verlag New York
出版国	アメリカ合衆国
言語	英語
媒体	冊子
装丁	hardcover
ページ数／巻数	XI, 715 p.
ジャンル	洋書
ISBN	9780306419164
商品コード	0206412517
商品URL	https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0206412517

内容

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.

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.

カート

カートに商品は入っていません。

前のページに戻る