Handbook of Philosophical Logic [electronic resource] : Volume I: Elements of Classical Logic / edited by Dov M. Gabbay, Franz Guenthner.
Erişim Adresi
ISBN
9789400970663
Dil Kodu
İngilizce
Yer Numarası
DK/16366
Basım Bildirimi
1st ed. 1983.
Yayın Bilgisi
Dordrecht : Springer Netherlands : Imprint: Springer, 1983.
Fiziksel Niteleme
XIII, 497 p. online resource.
Dizi
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science, 2542-8292 ; 164
İçindekiler Notu
to Volume I -- I.1. Elementary Predicate Logic -- I.2. Systems of Deduction -- I.3. Alternatives to Standard First-order Semantics -- I.4. Higher-order Logic -- I.5. Predicative Logics -- I.6. Algorithms and Decision Problems: A Crash Course in Recursion Theory -- Name Index -- Table of Contents to Volumes II, III, and IV.
Özet, vb.
The aim of the first volume of the present Handbook of Philosophical Logic is essentially two-fold: First of all, the chapters in this volume should provide a concise overview of the main parts of classical logic. Second, these chapters are intended to present all the relevant background material necessary for the understanding of the contributions which are to follow in the next three volumes. We have thought it to be of importance that the connections between classical logic and its 'extensions' (covered in Volume 11) as well as its most important 'alternatives' (covered in Volume Ill) be brought out clearly from the start. The first chapter presents a clear and detailed picture of the range of what is generally taken to be the standard logical framework, namely, predicate (or first-order quantificational) logic. On the one hand, this chapter surveys both propositionai logic and first-order predicate logic and, on the other hand, presents the main metalogical results obtained for them. Chapter 1. 1 also contains a discussion of the limits of first-order logic, i. e. it presents an answer to the question: Why has predicate logic played such a formidable role in the formalization of mathematics and in the many areas of philo sophical and linguistic applications? Chapter 1. 1 is prerequisite for just about all the other chapters in the entire Handbook, while the other chapters in Volume I provide more detailed discussions of material developed or hinted at in the first chapter.
Konu
Logic.
Mathematical logic.
Computational linguistics.
Logic.
Mathematical Logic and Foundations.
Computational Linguistics.
Mathematical logic.
Computational linguistics.
Logic.
Mathematical Logic and Foundations.
Computational Linguistics.
Diğer Yazarlar
Kurum Adı
Eseri Alıntıla
Referansları kullanmadan önce gözden geçirmeniz ve varsa gerekli düzeltmeleri yapmanız önerilir.
Dijital Kaynak
MARC Görünümü
LEADER 04670nam a22005895i 4500
001 815130
003 TR_AnAIT
005 20260130212114
007 cr nn 008mamaa
008 121227s1983 ne | s |||| 0|eng d
020 |a9789400970663|9978-94-009-7066-3
024 7 |a10.1007/978-94-009-7066-3|2doi
041 |aeng
049 |aTürk Tarih Kurumu Kütüphanesi
050 4|aBC1-199
072 7|aHPL|2bicssc
072 7|aPHI011000|2bisacsh
072 7|aQDTL|2thema
082 04|a160|223
090 |aDK/16366
245 10|aHandbook of Philosophical Logic|h[electronic resource] :|bVolume I: Elements of Classical Logic /|cedited by Dov M. Gabbay, Franz Guenthner.
250 |a1st ed. 1983.
264 1|aDordrecht :|bSpringer Netherlands :|bImprint: Springer,|c1983.
300 |aXIII, 497 p.|bonline resource.
336 |atext|btxt|2rdacontent
337 |acomputer|bc|2rdamedia
338 |aonline resource|bcr|2rdacarrier
347 |atext file|bPDF|2rda
490 1 |aSynthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,|x2542-8292 ;|v164
505 0 |ato Volume I -- I.1. Elementary Predicate Logic -- I.2. Systems of Deduction -- I.3. Alternatives to Standard First-order Semantics -- I.4. Higher-order Logic -- I.5. Predicative Logics -- I.6. Algorithms and Decision Problems: A Crash Course in Recursion Theory -- Name Index -- Table of Contents to Volumes II, III, and IV.
520 |aThe aim of the first volume of the present Handbook of Philosophical Logic is essentially two-fold: First of all, the chapters in this volume should provide a concise overview of the main parts of classical logic. Second, these chapters are intended to present all the relevant background material necessary for the understanding of the contributions which are to follow in the next three volumes. We have thought it to be of importance that the connections between classical logic and its 'extensions' (covered in Volume 11) as well as its most important 'alternatives' (covered in Volume Ill) be brought out clearly from the start. The first chapter presents a clear and detailed picture of the range of what is generally taken to be the standard logical framework, namely, predicate (or first-order quantificational) logic. On the one hand, this chapter surveys both propositionai logic and first-order predicate logic and, on the other hand, presents the main metalogical results obtained for them. Chapter 1. 1 also contains a discussion of the limits of first-order logic, i. e. it presents an answer to the question: Why has predicate logic played such a formidable role in the formalization of mathematics and in the many areas of philo sophical and linguistic applications? Chapter 1. 1 is prerequisite for just about all the other chapters in the entire Handbook, while the other chapters in Volume I provide more detailed discussions of material developed or hinted at in the first chapter.
532 8 |aAccessibility summary: This PDF is not accessible. It is based on scanned pages and does not support features such as screen reader compatibility or described non-text content (images, graphs etc). However, it likely supports searchable and selectable text based on OCR (Optical Character Recognition). Users with accessibility needs may not be able to use this content effectively. Please contact us at accessibilitysupport@springernature.com if you require assistance or an alternative format.
532 8 |aInaccessible, or known limited accessibility
532 8 |aNo reading system accessibility options actively disabled
532 8 |aPublisher contact for further accessibility information: accessibilitysupport@springernature.com
650 0|aLogic.
650 0|aMathematical logic.
650 0|aComputational linguistics.
650 14|aLogic.
650 24|aMathematical Logic and Foundations.
650 24|aComputational Linguistics.
700 1 |aGabbay, Dov M.|eeditor.|4edt|4http://id.loc.gov/vocabulary/relators/edt
700 1 |aGuenthner, Franz.|eeditor.|4edt|4http://id.loc.gov/vocabulary/relators/edt
710 2 |aSpringerLink (Online service)
773 0 |tSpringer Nature eBook
776 08|iPrinted edition:|z9789027715425
776 08|iPrinted edition:|z9789400970670
776 08|iPrinted edition:|z9789400970687
830 0|aSynthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,|x2542-8292 ;|v164
856 40|uhttps://doi.org/10.1007/978-94-009-7066-3
912 |aZDB-2-SHU
912 |aZDB-2-SXPR
912 |aZDB-2-BAE
950 |aHumanities, Social Sciences and Law (SpringerNature-11648)
950 |aPhilosophy and Religion (R0) (SpringerNature-43725)
001 815130
003 TR_AnAIT
005 20260130212114
007 cr nn 008mamaa
008 121227s1983 ne | s |||| 0|eng d
020 |a9789400970663|9978-94-009-7066-3
024 7 |a10.1007/978-94-009-7066-3|2doi
041 |aeng
049 |aTürk Tarih Kurumu Kütüphanesi
050 4|aBC1-199
072 7|aHPL|2bicssc
072 7|aPHI011000|2bisacsh
072 7|aQDTL|2thema
082 04|a160|223
090 |aDK/16366
245 10|aHandbook of Philosophical Logic|h[electronic resource] :|bVolume I: Elements of Classical Logic /|cedited by Dov M. Gabbay, Franz Guenthner.
250 |a1st ed. 1983.
264 1|aDordrecht :|bSpringer Netherlands :|bImprint: Springer,|c1983.
300 |aXIII, 497 p.|bonline resource.
336 |atext|btxt|2rdacontent
337 |acomputer|bc|2rdamedia
338 |aonline resource|bcr|2rdacarrier
347 |atext file|bPDF|2rda
490 1 |aSynthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,|x2542-8292 ;|v164
505 0 |ato Volume I -- I.1. Elementary Predicate Logic -- I.2. Systems of Deduction -- I.3. Alternatives to Standard First-order Semantics -- I.4. Higher-order Logic -- I.5. Predicative Logics -- I.6. Algorithms and Decision Problems: A Crash Course in Recursion Theory -- Name Index -- Table of Contents to Volumes II, III, and IV.
520 |aThe aim of the first volume of the present Handbook of Philosophical Logic is essentially two-fold: First of all, the chapters in this volume should provide a concise overview of the main parts of classical logic. Second, these chapters are intended to present all the relevant background material necessary for the understanding of the contributions which are to follow in the next three volumes. We have thought it to be of importance that the connections between classical logic and its 'extensions' (covered in Volume 11) as well as its most important 'alternatives' (covered in Volume Ill) be brought out clearly from the start. The first chapter presents a clear and detailed picture of the range of what is generally taken to be the standard logical framework, namely, predicate (or first-order quantificational) logic. On the one hand, this chapter surveys both propositionai logic and first-order predicate logic and, on the other hand, presents the main metalogical results obtained for them. Chapter 1. 1 also contains a discussion of the limits of first-order logic, i. e. it presents an answer to the question: Why has predicate logic played such a formidable role in the formalization of mathematics and in the many areas of philo sophical and linguistic applications? Chapter 1. 1 is prerequisite for just about all the other chapters in the entire Handbook, while the other chapters in Volume I provide more detailed discussions of material developed or hinted at in the first chapter.
532 8 |aAccessibility summary: This PDF is not accessible. It is based on scanned pages and does not support features such as screen reader compatibility or described non-text content (images, graphs etc). However, it likely supports searchable and selectable text based on OCR (Optical Character Recognition). Users with accessibility needs may not be able to use this content effectively. Please contact us at accessibilitysupport@springernature.com if you require assistance or an alternative format.
532 8 |aInaccessible, or known limited accessibility
532 8 |aNo reading system accessibility options actively disabled
532 8 |aPublisher contact for further accessibility information: accessibilitysupport@springernature.com
650 0|aLogic.
650 0|aMathematical logic.
650 0|aComputational linguistics.
650 14|aLogic.
650 24|aMathematical Logic and Foundations.
650 24|aComputational Linguistics.
700 1 |aGabbay, Dov M.|eeditor.|4edt|4http://id.loc.gov/vocabulary/relators/edt
700 1 |aGuenthner, Franz.|eeditor.|4edt|4http://id.loc.gov/vocabulary/relators/edt
710 2 |aSpringerLink (Online service)
773 0 |tSpringer Nature eBook
776 08|iPrinted edition:|z9789027715425
776 08|iPrinted edition:|z9789400970670
776 08|iPrinted edition:|z9789400970687
830 0|aSynthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,|x2542-8292 ;|v164
856 40|uhttps://doi.org/10.1007/978-94-009-7066-3
912 |aZDB-2-SHU
912 |aZDB-2-SXPR
912 |aZDB-2-BAE
950 |aHumanities, Social Sciences and Law (SpringerNature-11648)
950 |aPhilosophy and Religion (R0) (SpringerNature-43725)
Materyaller
Depodan talep edilen materyal sadece kütüphane içerisinde kullanılmaktadır.
Materyal dışarıya ödünç verilmemektedir.
Materyal dışarıya ödünç verilmemektedir.
