Books in category Logic
1 2 3 4 5 6 7 8 9 10
Author:
Publisher : Unknown
ISBN : 9780792365433
Scare Tactics, the first book on the subject, provides a theory of the structure of reasoning used in fear and threat appeal argumentation. Such arguments come under the heading of the argumentum ad baculum, the argument to the stick/club', traditionally treated as a fallacy in the logic textbooks. The new dialectical theory is based on case studies of many interesting examples of the use of these
Author: Dehornoy, Patrick
Publisher : Springer
ISBN : 9783540568995
Cet ouvrage prA(c)sente les bases de la thA(c)orie de la complexitA(c) des algorithmes et en derive les thA(c)orA]mes fondamentaux de dA(c)cidabilitA(c) et d''indA(c)cidabilitA(c) pour la logique et l''arithmA(c)tique, dont le premier thA(c)orA]me d''incomplA(c)tude de GAdel. En faisant reposer toutes les preuves sur le codage de l''arrAat d''une machine de Turing, on a soulignA(c) l''homogA(c)nA(
Author: Cook, Roy T.
Publisher : Edinburgh University Press
ISBN : 9780748625598
This valuable reference introduces undergraduate and post-graduate students to the main problems and positions of philosophical logic. Elements include crucial figures, positions, terminology, and debates within philosophical logic as well as issues that pertain to related, overlapping disciplines, such as set theory and the philosophy of mathematics. Entries are extensively cross-referenced for i
Author:
Publisher : Springer
ISBN : 9783540582779
This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set con
Author: Houlgate, Stephen
Publisher : Purdue University Press
ISBN : 9781557532572
Hegel is one of the most important modern philosophers, whose thought influenced the development of existentialism, Marxism, pragmatism, hermeneutics, and deconstruction. Yet Hegel's central text, the monumental Science of Logic, still remains for most philosophers (both figuratively and literally) a firmly closed book. The purpose of The Opening of Hegel's Logic is to dispel the myths that surrou
Author:
Publisher : Springer
ISBN : 9783540571841
The Third Kurt G]del Symposium, KGC'93, held in Brno, Czech Republic, August1993, is the third in a series of biennial symposia on logic, theoretical computer science, and philosophy of mathematics. The aim of this meeting wasto bring together researchers working in the fields of computational logic and proof theory. While proof theory traditionally is a discipline of mathematical logic, the centr
Author: Lemos, Noah M.
Publisher : Cambridge University Press
ISBN : 9780521103022
This book explores the justification of our beliefs about intrinsic value.
Author: Timothy Kam
Publisher : Kluwer Academic Publishers
ISBN : 9780792398424
Synthesis of Finite State Machines: Functional Optimization is one of two monographs devoted to the synthesis of Finite State Machines (FSMs). This volume addresses functional optimization, whereas the second addresses logic optimization. By functional optimization here we mean the body of techniques that: compute all permissible sequential functions for a given topology of interconnected FSMs, an
Author: Jevons, W. Stanley
Publisher : Kessinger Publishing
ISBN : 9780548185742
This scarce antiquarian book is included in our special Legacy Reprint Series. In the interest of creating a more extensive selection of rare historical book reprints, we have chosen to reproduce this title even though it may possibly have occasional imperfections such as missing and blurred pages, missing text, poor pictures, markings, dark backgrounds and other reproduction issues beyond our con
Author: Kurt Godel
Publisher : Oxford University Press
ISBN : 9780195072556
Kurt Godel (1906-1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory and stronger systems, and the consistency of the axiom of choice and the continuum hypothesis. He is also notedfor his work on constructivity, the decision problem, the foundations of computation theory, unusual cosmologi
Author: Petr Hajek
Publisher : Kluwer Academic Publishers
ISBN : 9780792352389
This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. Some important systems of real-valued propositional and predicate calculus are defined and investigated. The aim is to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually nam
Author: Sihler, Andrew L.
Publisher : Oxford University Press
ISBN : 9780195083453
Like Carl Darling Buck's once standard Comparative Grammar of Greek and Latin (1933), this book is an explanation of the similarities and differences between Greek and Latin morphology and lexicon through an account of their prehistory. In addition, Andrew Sihler discusses the principal features of Indo-European linguistics. Incorporating the considerable scholarship of the sixty years since Buck'
Author: Wisniewski, Andrzej ;Wisniewski, A.
Publisher : Kluwer Academic Publishers
ISBN : 9780792336372
Author:
Publisher : Kluwer Academic Publishers
ISBN : 9780792334484
Author:
Publisher : Springer
ISBN : 9780387960227
Author:
Publisher : Oxford University Press
ISBN : 9780195039726
Kurt Godel was the most outstanding logician of the twentieth century, famous for his work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decisionproblem, and the foundations of computation theory, as well as for the strong individuality of his writings
Author: Mark Sainsbury
Publisher : Blackwell Publishers
ISBN : 9780631216797
When is a reason for doing or believing something a good reason? Logic's contribution to answering this question has typically involved expressing English in logical form': that is, using a special notation to bring out logical features more clearly. The correct identification of logical forms has been held to be important not only to logic, but also to philosophy. Bertrand Russell coined the phra
Author:
Publisher : Plenum Publishing Corporation
ISBN : 9780306419164
Author: Pasniczek, Jacek
Publisher : Kluwer Academic Publishers
ISBN : 9780792348801
Intentionality is one of the most frequently discussed topics in contemporary phenomenology and analytic philosophy. This book investigates intentionality from the point of view of intentional objects. According to the classical approach to this concept, whatever can be consciously experienced is regarded as an intentional object. Thus, not only ordinary existing individuals but also various kinds
Author: Petr Hajek
Publisher : Kluwer Academic Publishers
ISBN : 9781402003707
This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. Some important systems of real-valued propositional and predicate calculus are defined and investigated. The aim is to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually nam
Scare Tactics
Author: Publisher : Unknown
ISBN : 9780792365433
Scare Tactics, the first book on the subject, provides a theory of the structure of reasoning used in fear and threat appeal argumentation. Such arguments come under the heading of the argumentum ad baculum, the argument to the stick/club', traditionally treated as a fallacy in the logic textbooks. The new dialectical theory is based on case studies of many interesting examples of the use of these
Min Price: 177.00
Max Price: 177.00
Complexit?? Et D??cidabilit??
Author: Dehornoy, Patrick Publisher : Springer
ISBN : 9783540568995
Cet ouvrage prA(c)sente les bases de la thA(c)orie de la complexitA(c) des algorithmes et en derive les thA(c)orA]mes fondamentaux de dA(c)cidabilitA(c) et d''indA(c)cidabilitA(c) pour la logique et l''arithmA(c)tique, dont le premier thA(c)orA]me d''incomplA(c)tude de GAdel. En faisant reposer toutes les preuves sur le codage de l''arrAat d''une machine de Turing, on a soulignA(c) l''homogA(c)nA(
Min Price: 103.00
Max Price: 103.00
A Dictionary of Philosophical Logic
Author: Cook, Roy T.Publisher : Edinburgh University Press
ISBN : 9780748625598
This valuable reference introduces undergraduate and post-graduate students to the main problems and positions of philosophical logic. Elements include crucial figures, positions, terminology, and debates within philosophical logic as well as issues that pertain to related, overlapping disciplines, such as set theory and the philosophy of mathematics. Entries are extensively cross-referenced for i
Min Price: 100.00
Max Price: 100.00
Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers
Author: Publisher : Springer
ISBN : 9783540582779
This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set con
Min Price: 92.00
Max Price: 92.00
The Opening of Hegel's Logic: From Being to Infinity
Author: Houlgate, StephenPublisher : Purdue University Press
ISBN : 9781557532572
Hegel is one of the most important modern philosophers, whose thought influenced the development of existentialism, Marxism, pragmatism, hermeneutics, and deconstruction. Yet Hegel's central text, the monumental Science of Logic, still remains for most philosophers (both figuratively and literally) a firmly closed book. The purpose of The Opening of Hegel's Logic is to dispel the myths that surrou
Min Price: 34.60
Max Price: 38.00
Computational Logic and Proof Theory
Author: Publisher : Springer
ISBN : 9783540571841
The Third Kurt G]del Symposium, KGC'93, held in Brno, Czech Republic, August1993, is the third in a series of biennial symposia on logic, theoretical computer science, and philosophy of mathematics. The aim of this meeting wasto bring together researchers working in the fields of computational logic and proof theory. While proof theory traditionally is a discipline of mathematical logic, the centr
Min Price: 77.00
Max Price: 77.00
Intrinsic Value: Concept and Warrant
Author: Lemos, Noah M.Publisher : Cambridge University Press
ISBN : 9780521103022
This book explores the justification of our beliefs about intrinsic value.
Min Price: 32.00
Max Price: 32.00
Synthesis of Finite State Machines: Functional Optimization
Author: Timothy KamPublisher : Kluwer Academic Publishers
ISBN : 9780792398424
Synthesis of Finite State Machines: Functional Optimization is one of two monographs devoted to the synthesis of Finite State Machines (FSMs). This volume addresses functional optimization, whereas the second addresses logic optimization. By functional optimization here we mean the body of techniques that: compute all permissible sequential functions for a given topology of interconnected FSMs, an
Min Price: 158.00
Max Price: 158.00
Elementary Lessons in Logic: Deductive and Inductive, with Copious Questions and Examples, and a Vocabulary of Logical Terms
Author: Jevons, W. Stanley Publisher : Kessinger Publishing
ISBN : 9780548185742
This scarce antiquarian book is included in our special Legacy Reprint Series. In the interest of creating a more extensive selection of rare historical book reprints, we have chosen to reproduce this title even though it may possibly have occasional imperfections such as missing and blurred pages, missing text, poor pictures, markings, dark backgrounds and other reproduction issues beyond our con
Min Price: 29.00
Max Price: 29.00
Collected Works: Unpublished Essays and Lectures
Author: Kurt GodelPublisher : Oxford University Press
ISBN : 9780195072556
Kurt Godel (1906-1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory and stronger systems, and the consistency of the axiom of choice and the continuum hypothesis. He is also notedfor his work on constructivity, the decision problem, the foundations of computation theory, unusual cosmologi
Min Price: 250.00
Max Price: 250.00
Metamathematics of Fuzzy Logic
Author: Petr HajekPublisher : Kluwer Academic Publishers
ISBN : 9780792352389
This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. Some important systems of real-valued propositional and predicate calculus are defined and investigated. The aim is to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually nam
Min Price: 208.00
Max Price: 208.00
New Comparative Grammar of Greek and Latin
Author: Sihler, Andrew L.Publisher : Oxford University Press
ISBN : 9780195083453
Like Carl Darling Buck's once standard Comparative Grammar of Greek and Latin (1933), this book is an explanation of the similarities and differences between Greek and Latin morphology and lexicon through an account of their prehistory. In addition, Andrew Sihler discusses the principal features of Indo-European linguistics. Incorporating the considerable scholarship of the sixty years since Buck'
Min Price: 93.00
Max Price: 93.00
The Posing of Questions
Author: Wisniewski, Andrzej ;Wisniewski, A. Publisher : Kluwer Academic Publishers
ISBN : 9780792336372
Min Price: 161.00
Max Price: 161.00
Quantifiers: Logics, Models and Computation: Volume One: Surveys
Author: Publisher : Kluwer Academic Publishers
ISBN : 9780792334484
Min Price: 178.00
Max Price: 178.00
7th International Conference on Automated Deduction: Proceedings
Author: Publisher : Springer
ISBN : 9780387960227
Min Price: 91.00
Max Price: 91.00
Collected Works: Publications 1938-1974
Author: Publisher : Oxford University Press
ISBN : 9780195039726
Kurt Godel was the most outstanding logician of the twentieth century, famous for his work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decisionproblem, and the foundations of computation theory, as well as for the strong individuality of his writings
Min Price: 218.00
Max Price: 218.00
Logical Forms: An Introduction to Philosophical Logic
Author: Mark SainsburyPublisher : Blackwell Publishers
ISBN : 9780631216797
When is a reason for doing or believing something a good reason? Logic's contribution to answering this question has typically involved expressing English in logical form': that is, using a special notation to bring out logical features more clearly. The correct identification of logical forms has been held to be important not only to logic, but also to philosophy. Bertrand Russell coined the phra
Min Price: 61.00
Max Price: 61.00
Foundations of Logic and Linguistics
Author: Publisher : Plenum Publishing Corporation
ISBN : 9780306419164
Min Price: 222.00
Max Price: 222.00
The Logic of Intentional Objects: A Meinongian Version of Classical Logic
Author: Pasniczek, Jacek Publisher : Kluwer Academic Publishers
ISBN : 9780792348801
Intentionality is one of the most frequently discussed topics in contemporary phenomenology and analytic philosophy. This book investigates intentionality from the point of view of intentional objects. According to the classical approach to this concept, whatever can be consciously experienced is regarded as an intentional object. Thus, not only ordinary existing individuals but also various kinds
Min Price: 198.00
Max Price: 198.00
Metamathematics of Fuzzy Logic
Author: Petr HajekPublisher : Kluwer Academic Publishers
ISBN : 9781402003707
This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. Some important systems of real-valued propositional and predicate calculus are defined and investigated. The aim is to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually nam
Min Price: 84.00
Max Price: 84.00
Find book
books-az.com all rights reserved
