ISBN: 9789048183456
This monograph is designed to provide an introduction to the principal areas of tense logic. Many of the developments in this ever-growing field have been intentionally excluded to fulfill this aim. Length also dictated a choice between the alternative notations of A. N. Prior and Nicholas Rescher - two pioneers of the subject. I choose Prior''s because of the syntactical parallels with the language it symbolizes and its close ties with other branches of logi cal theory, especially modal logic. The first chapter presents a wider view of the material than later chapters. Several lines of development are consequently not followed through the remainder of the book, most notably metric systems. Although it is import ant to recognize that the unadorned Prior-symbolism can be enriched in vari ous ways it is an advanced subject as to how to actually carry off these enrichments. Readers desiring more information are referred to the appropri ate literature. Specialists will notice that only the first of several quantifi cational versions of tense logic is proven complete in the final chapter. Again constraints of space are partly to blame. The proof for the ''star'' systems is wildly complex and at the time of this writing is not yet ready for publi cation. Books List_Books
| Indigo.ca new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten Details... |
2009, ISBN: 9789048183456
Springer Netherlands, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 1976, 100 Seiten, Publiziert: 2009-12-28T00:00:01Z, Produktgruppe: Book, 0.63 kg, Logik, Philosophie, Sozialwissenschaft, Kategorien, Bücher, Format: Illustriert, Springer Netherlands, 2009
| Amazon.de (Intern... Verzendingskosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2009, ISBN: 9789048183456
Springer Netherlands, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 1976, 100 Seiten, Publiziert: 2009-12-28T00:00:01Z, Produktgruppe: Book, 0.63 kg, Logik, Philosophie, Sozialwissenschaft, Kategorien, Bücher, Format: Illustriert, Springer Netherlands, 2009
| Amazon.de (Intern... |
2009, ISBN: 9789048183456
Springer Netherlands, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 1976, 100 Seiten, Publiziert: 2009-12-28T00:00:01Z, Produktgruppe: Book, 0.63 kg, Logik, Philosophie, Sozialwissenschaft, Kategorien, Bücher, Springer Netherlands, 2009
| Amazon.de (Intern... Verzendingskosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2009, ISBN: 9789048183456
Springer Netherlands, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 1976, 100 Seiten, Publiziert: 2009-12-28T00:00:01Z, Produktgruppe: Book, 0.63 kg, Logik, Philosophie, Sozialwissenschaft, Kategorien, Bücher, Springer Netherlands, 2009
| Amazon.de (Intern... |
ISBN: 9789048183456
This monograph is designed to provide an introduction to the principal areas of tense logic. Many of the developments in this ever-growing field have been intentionally excluded to fulfil… Meer...
2009, ISBN: 9789048183456
Springer Netherlands, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 1976, 100 Seiten, Publiziert: 2009-12-28T00:00:01Z, Produktgruppe: Book, 0.63 kg, Logik, Philosophie, So… Meer...
2009
ISBN: 9789048183456
Springer Netherlands, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 1976, 100 Seiten, Publiziert: 2009-12-28T00:00:01Z, Produktgruppe: Book, 0.63 kg, Logik, Philosophie, So… Meer...
2009, ISBN: 9789048183456
Springer Netherlands, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 1976, 100 Seiten, Publiziert: 2009-12-28T00:00:01Z, Produktgruppe: Book, 0.63 kg, Logik, Philosophie, So… Meer...
2009, ISBN: 9789048183456
Springer Netherlands, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 1976, 100 Seiten, Publiziert: 2009-12-28T00:00:01Z, Produktgruppe: Book, 0.63 kg, Logik, Philosophie, So… Meer...
| auteur: | |
| Titel: | |
| ISBN: |
Gedetalleerde informatie over het boek. - Tense Logic (Synthese Library, 111, Band 111)
EAN (ISBN-13): 9789048183456
ISBN (ISBN-10): 9048183456
pocket book
Verschijningsjaar: 2010
Uitgever: Springer Netherlands
100 Bladzijden
Gewicht: 0,153 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2010-08-19T12:53:40+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2021-04-08T13:13:42+02:00 (Amsterdam)
ISBN/EAN: 9789048183456
ISBN - alternatieve schrijfwijzen:
90-481-8345-6, 978-90-481-8345-6
Gegevens van de uitgever
Auteur: R.L. McArthur
Titel: Synthese Library; Tense Logic - Studies in Epistemology, Logic, Methodology, and Philosophy of Science
Uitgeverij: Springer; Springer Netherland
91 Bladzijden
Verschijningsjaar: 2010-12-30
Dordrecht; NL
Gedrukt / Gemaakt in
Gewicht: 0,284 kg
Taal: Engels
117,69 € (DE)
120,99 € (AT)
130,00 CHF (CH)
POD
BC; Previously published in hardcover; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; English literature; design; intention; language; literature; logic; modal logic; notation; sound; space; subject; syntactic; time; will; writing; B; Logic; Logic; Religion and Philosophy; BB
1/An Overview of Tense Logic.- 2/Linear Tense Logics.- 3/Branching Tense Logic and Temporal Modality.- 4/Quantificational Tense Logics.- 5/Soundness and Completeness Theorems for Tense Logic.- Appendix I/SC Tautologies Used in Proofs.- Appendix II/Summary of the Systems.Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9789027706973 Tense Logic R.L. McArthur Author (R. L. McArthur)
< naar Archief...