Books in category Logic
4 5 6 7 8 9 10 11 12 13 14
Author: Koslow, Arnold
Publisher : Cambridge University Press
ISBN : 9780521023726
Professor Koslow advances a new account of the basic concepts of logic. A central feature of the theory is that it does not require the elements of logic to be based on a formal language. Rather, it uses a general notion of implication as a way of organizing the formal results of various systems of logic in a simple, but insightful way. The study has four parts. In the first two parts the various
Author: Brozek, Bartosz ;Stelmach, Jerzy
Publisher : Springer
ISBN : 9781402049361
The book attempts to describe and criticize four methods used in legal practice, legal dogmatics and legal theory: logic, analysis, argumentation and hermeneutics. Apart from a presentation of basic ideas connected with the above mentioned methods, the essays contained in this book seek to answer questions concerning the assumptions standing behind these methods, the limits of using them and their
Author: Cantini, Andrea ;Cantini, A.
Publisher : North-Holland
ISBN : 9780444823069
This English translation of the author's original work has been thoroughly revised, expanded and updated.The book covers logical systems known as type-free or self-referential. These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, is not concerned with paradoxes but with the investigation of type-free sytems to show that: (i) there are
Author: Fletcher, Peter ;Fletcher, P.
Publisher : Kluwer Academic Publishers
ISBN : 9780792352624
Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it. However, the meaning of the terms construction' and proof' has never been adequately explained (although Kriesel, Goodman and Martin-LC6f have attempted axiomatisations). This monograph develops precise (though
Author: Freyd, Peter J. ;Freyd, P. J. ;Scedrov, A.
Publisher : North-Holland
ISBN : 9780444703682
General concepts and methods that occur throughout mathematics – and now also in theoretical computer science – are the subject of this book. It is a thorough introduction to Categories, emphasizing the geometric nature of the subject and explaining its connections to mathematical logic. The book should appeal to the inquisitive reader who has seen some basic topology and algebra and w
Author: Grigori Mints;G. E. Mints
Publisher : Unknown
ISBN : 9780306463945
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic tchniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading research literature in logic and computer sci
Author: Wansing, H.
Publisher : Kluwer Academic Publishers
ISBN : 9780792352051
This is the first comprehensive introduction to Display Logic in the context of generalized Gentzen calculi. After reviewing several standard and non-standard sequent-style proof systems for modal logics, the author carefully motivates and develops Display Logic, an important refinement of Gentzen's sequent calculus devised by N. Belnap.A general strong cut-elimination theorem is proved that cover
Author: Giulianella Coletti
Publisher : Kluwer Academic Publishers
ISBN : 9781402009709
The approach to probability theory followed in this book (which differs radically from the usual one, based on a measure-theoretic framework) characterizes probability as a linear operator rather than as a measure, and is based on the concept of coherence, which can be framed in the most general view of conditional probability. It is a flexible' and unifying tool suited for handling, e.g., partial
Author: Giulianella Coletti
Publisher : Kluwer Academic Publishers
ISBN : 9781402009174
The approach to probability theory followed in this book (which differs radically from the usual one, based on a measure-theoretic framework) characterizes probability as a linear operator rather than as a measure, and is based on the concept of coherence, which can be framed in the most general view of conditional probability. It is a flexible' and unifying tool suited for handling, e.g., partial
Author:
Publisher : Kluwer Academic Publishers
ISBN : 9780792355694
The notion of negation is one of the central logical notions. It has been studied since antiquity and has been subjected to thorough investigations in the development of philosophical logic, linguistics, artificial intelligence and logic programming. The properties of negation - in combination with those of other logical operations and structural features of the deducibility relation - serve as ga
Author: George, Alexander/ Velleman, Daniel J.
Publisher : Blackwell Publishers
ISBN : 9780631195443
During the first few decades of the twentieth century, philosophers and mathematicians mounted a sustained effort to clarify the nature of mathematics. This led to considerable discord, even enmity, and yielded fascinating and fruitful work of both a mathematical and a philosophical nature. It was one of the most exhilarating intellectual adventures of the century, pursued at an extraordinarily hi
Author: I. Burhan T]rksen
Publisher : Unknown
ISBN : 9780444518910
Fuzzy set and logic theory suggest that all natural language linguistic expressions are imprecise and must be assessed as a matter of degree. But in general membership degree is an imprecise notion which requires that Type 2 membership degrees be considered in most applications related to human decision making schemas. Even if the membership functions are restricted to be Type1, their combinations
Author: Van Benthem, Johan (EDT)/ Heinzmann, Gerhard (EDT)/ Rebuschi, Manuel (EDT)/ Visser, Henk (EDT)
Publisher : Springer
ISBN : 9781402050114
In the last century developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. There has been an influx of new ideas, concerns, and logical systems reflecting a great variety of reasoning tasks in the sciences. This volume reflects the multi-dimensional nature of the interplay between logic and science. It prese
Author: Fitting, Melvin
Publisher : 101 Productions
ISBN : 9780792353348
Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background. They adopt throughout a threefold approach. Semantically, they use possible world models; the formal proof machinery is tableaus; and full philosophical discussions are provided of the way that technical developments bear on well-known philosophical problems.The book covers
Author:
Publisher : Springer
ISBN : 9783540582748
Author:
Publisher : Springer
ISBN : 9783540584735
Author: Dezani-Ciancaglini, Mariangiola
Publisher : Springer
ISBN : 9783540590484
Author:
Publisher : Springer
ISBN : 9783540556022
Author: Demopoulos, William
Publisher : Harvard University Press
ISBN : 9780674319431
Widespread interest in Frege's general philosophical writings is, relatively speaking, a fairly recent phenomenon. But it is only very recently that his philosophy of mathematics has begun to attract the attention it now enjoys. This interest has been elicited by the discovery of the remarkable mathematical properties of Frege's contextual definition of number and of the unique character of his pr
Author: Oliver, James
Publisher : Unknown
ISBN : 9781592869015
This is a personal and thoughtful account of events that took place during a series of university lectures, a literate and philosophical piece of work giving an insight into the author's original and creative mind while discussing elements related to communication. Initially written as an assignment, it is not only a student's perspective but also a narrative where the writer draws both from perso
A Structuralist Theory of Logic
Author: Koslow, Arnold Publisher : Cambridge University Press
ISBN : 9780521023726
Professor Koslow advances a new account of the basic concepts of logic. A central feature of the theory is that it does not require the elements of logic to be based on a formal language. Rather, it uses a general notion of implication as a way of organizing the formal results of various systems of logic in a simple, but insightful way. The study has four parts. In the first two parts the various
Min Price: 79.00
Max Price: 79.00
Methods of Legal Reasoning
Author: Brozek, Bartosz ;Stelmach, Jerzy Publisher : Springer
ISBN : 9781402049361
The book attempts to describe and criticize four methods used in legal practice, legal dogmatics and legal theory: logic, analysis, argumentation and hermeneutics. Apart from a presentation of basic ideas connected with the above mentioned methods, the essays contained in this book seek to answer questions concerning the assumptions standing behind these methods, the limits of using them and their
Min Price: 138.00
Max Price: 138.00
Logical Frameworks for Truth and Abstraction: An Axiomatic Study
Author: Cantini, Andrea ;Cantini, A. Publisher : North-Holland
ISBN : 9780444823069
This English translation of the author's original work has been thoroughly revised, expanded and updated.The book covers logical systems known as type-free or self-referential. These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, is not concerned with paradoxes but with the investigation of type-free sytems to show that: (i) there are
Min Price: 177.00
Max Price: 177.00
Truth, Proof and Infinity: A Theory of Constructive Reasoning
Author: Fletcher, Peter ;Fletcher, P. Publisher : Kluwer Academic Publishers
ISBN : 9780792352624
Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it. However, the meaning of the terms construction' and proof' has never been adequately explained (although Kriesel, Goodman and Martin-LC6f have attempted axiomatisations). This monograph develops precise (though
Min Price: 221.00
Max Price: 221.00
Categories, Allegories
Author: Freyd, Peter J. ;Freyd, P. J. ;Scedrov, A. Publisher : North-Holland
ISBN : 9780444703682
General concepts and methods that occur throughout mathematics – and now also in theoretical computer science – are the subject of this book. It is a thorough introduction to Categories, emphasizing the geometric nature of the subject and explaining its connections to mathematical logic. The book should appeal to the inquisitive reader who has seen some basic topology and algebra and w
Min Price: 138.00
Max Price: 138.00
A Short Introduction to Intuitionistic Logic
Author: Grigori Mints;G. E. MintsPublisher : Unknown
ISBN : 9780306463945
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic tchniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading research literature in logic and computer sci
Min Price: 93.00
Max Price: 93.00
Displaying Modal Logic
Author: Wansing, H. Publisher : Kluwer Academic Publishers
ISBN : 9780792352051
This is the first comprehensive introduction to Display Logic in the context of generalized Gentzen calculi. After reviewing several standard and non-standard sequent-style proof systems for modal logics, the author carefully motivates and develops Display Logic, an important refinement of Gentzen's sequent calculus devised by N. Belnap.A general strong cut-elimination theorem is proved that cover
Min Price: 147.00
Max Price: 147.00
Probabilistic Logic in a Coherent Setting
Author: Giulianella ColettiPublisher : Kluwer Academic Publishers
ISBN : 9781402009709
The approach to probability theory followed in this book (which differs radically from the usual one, based on a measure-theoretic framework) characterizes probability as a linear operator rather than as a measure, and is based on the concept of coherence, which can be framed in the most general view of conditional probability. It is a flexible' and unifying tool suited for handling, e.g., partial
Min Price: 69.00
Max Price: 69.00
Probabilistic Logic in a Coherent Setting
Author: Giulianella ColettiPublisher : Kluwer Academic Publishers
ISBN : 9781402009174
The approach to probability theory followed in this book (which differs radically from the usual one, based on a measure-theoretic framework) characterizes probability as a linear operator rather than as a measure, and is based on the concept of coherence, which can be framed in the most general view of conditional probability. It is a flexible' and unifying tool suited for handling, e.g., partial
Min Price: 138.00
Max Price: 138.00
What Is Negation?
Author: Publisher : Kluwer Academic Publishers
ISBN : 9780792355694
The notion of negation is one of the central logical notions. It has been studied since antiquity and has been subjected to thorough investigations in the development of philosophical logic, linguistics, artificial intelligence and logic programming. The properties of negation - in combination with those of other logical operations and structural features of the deducibility relation - serve as ga
Min Price: 218.00
Max Price: 218.00
Philosophies of Mathematics
Author: George, Alexander/ Velleman, Daniel J.Publisher : Blackwell Publishers
ISBN : 9780631195443
During the first few decades of the twentieth century, philosophers and mathematicians mounted a sustained effort to clarify the nature of mathematics. This led to considerable discord, even enmity, and yielded fascinating and fruitful work of both a mathematical and a philosophical nature. It was one of the most exhilarating intellectual adventures of the century, pursued at an extraordinarily hi
Min Price: 41.00
Max Price: 41.00
An Ontological and Epistomological Perspective of Fuzzy Set Theory
Author: I. Burhan T]rksenPublisher : Unknown
ISBN : 9780444518910
Fuzzy set and logic theory suggest that all natural language linguistic expressions are imprecise and must be assessed as a matter of degree. But in general membership degree is an imprecise notion which requires that Type 2 membership degrees be considered in most applications related to human decision making schemas. Even if the membership functions are restricted to be Type1, their combinations
Min Price: 199.00
Max Price: 199.00
The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today
Author: Van Benthem, Johan (EDT)/ Heinzmann, Gerhard (EDT)/ Rebuschi, Manuel (EDT)/ Visser, Henk (EDT)Publisher : Springer
ISBN : 9781402050114
In the last century developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. There has been an influx of new ideas, concerns, and logical systems reflecting a great variety of reasoning tasks in the sciences. This volume reflects the multi-dimensional nature of the interplay between logic and science. It prese
Min Price: 244.00
Max Price: 244.00
First-Order Modal Logic
Author: Fitting, Melvin Publisher : 101 Productions
ISBN : 9780792353348
Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background. They adopt throughout a threefold approach. Semantically, they use possible world models; the formal proof machinery is tableaus; and full philosophical discussions are provided of the way that technical developments bear on well-known philosophical problems.The book covers
Min Price: 183.00
Max Price: 183.00
Orders, Algorithms and Applications
Author: Publisher : Springer
ISBN : 9783540582748
Min Price: 81.00
Max Price: 81.00
Grammatical Inference and Applications
Author: Publisher : Springer
ISBN : 9783540584735
Min Price: 89.00
Max Price: 89.00
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, Tlca '95, Edinburgh, United Kingdom,
Author: Dezani-Ciancaglini, Mariangiola Publisher : Springer
ISBN : 9783540590484
Min Price: 122.00
Max Price: 122.00
Automated Deduction - Cade-11
Author: Publisher : Springer
ISBN : 9783540556022
Min Price: 170.00
Max Price: 170.00
Fregeus Philosophy of Mathematics
Author: Demopoulos, William Publisher : Harvard University Press
ISBN : 9780674319431
Widespread interest in Frege's general philosophical writings is, relatively speaking, a fairly recent phenomenon. But it is only very recently that his philosophy of mathematics has begun to attract the attention it now enjoys. This interest has been elicited by the discovery of the remarkable mathematical properties of Frege's contextual definition of number and of the unique character of his pr
Min Price: 35.00
Max Price: 35.00
Communication: A Personal Opinion
Author: Oliver, James Publisher : Unknown
ISBN : 9781592869015
This is a personal and thoughtful account of events that took place during a series of university lectures, a literate and philosophical piece of work giving an insight into the author's original and creative mind while discussing elements related to communication. Initially written as an assignment, it is not only a student's perspective but also a narrative where the writer draws both from perso
Min Price: 16.00
Max Price: 16.00
Find book
books-az.com all rights reserved
