Author: R. Hilpinen
Publisher: Springer Science & Business Media
ISBN: 9401031460
Category : Philosophy
Languages : en
Pages : 198
Book Description
Deontic Logic
Author: Risto Hilpinen
Publisher:
ISBN:
Category : Deontic logic
Languages : en
Pages : 182
Book Description
Publisher:
ISBN:
Category : Deontic logic
Languages : en
Pages : 182
Book Description
Deontic Logic: Introductory and Systematic Readings
Author: R. Hilpinen
Publisher: Springer Science & Business Media
ISBN: 9401031460
Category : Philosophy
Languages : en
Pages : 198
Book Description
Publisher: Springer Science & Business Media
ISBN: 9401031460
Category : Philosophy
Languages : en
Pages : 198
Book Description
Deontic Logic
Author: Risto Hilpinen
Publisher:
ISBN: 9789401031479
Category :
Languages : en
Pages : 204
Book Description
Publisher:
ISBN: 9789401031479
Category :
Languages : en
Pages : 204
Book Description
Deontic Logic: Introductory and Systematic Readings
Author: R. Hilpinen
Publisher: Springer
ISBN: 9789027713025
Category : Philosophy
Languages : en
Pages : 200
Book Description
Publisher: Springer
ISBN: 9789027713025
Category : Philosophy
Languages : en
Pages : 200
Book Description
Logical Theory and Semantic Analysis
Author: S. Stenlund
Publisher: Springer Science & Business Media
ISBN: 9401021910
Category : Philosophy
Languages : en
Pages : 218
Book Description
Publisher: Springer Science & Business Media
ISBN: 9401021910
Category : Philosophy
Languages : en
Pages : 218
Book Description
Defeasible Deontic Logic
Author: Donald Nute
Publisher: Springer Science & Business Media
ISBN: 9780792346302
Category : Philosophy
Languages : en
Pages : 376
Book Description
These 13 papers collected from several meetings of the Society for Exact Philosophy from 1993-96 take a variety of approaches to the task of integrating normative and defeasible reasoning. While most of the papers propose some version of defeasible deontic logic, a few consider alternatives approaches to solving some of the puzzles of normative reasoning that deontic reasoning has failed to resolve. The authors also describe standard deontic logic. Name index only. Annotation copyrighted by Book News, Inc., Portland, OR
Publisher: Springer Science & Business Media
ISBN: 9780792346302
Category : Philosophy
Languages : en
Pages : 376
Book Description
These 13 papers collected from several meetings of the Society for Exact Philosophy from 1993-96 take a variety of approaches to the task of integrating normative and defeasible reasoning. While most of the papers propose some version of defeasible deontic logic, a few consider alternatives approaches to solving some of the puzzles of normative reasoning that deontic reasoning has failed to resolve. The authors also describe standard deontic logic. Name index only. Annotation copyrighted by Book News, Inc., Portland, OR
Handbook of Philosophical Logic
Author: Dov M. Gabbay
Publisher: Springer Science & Business Media
ISBN: 9400962592
Category : Philosophy
Languages : en
Pages : 781
Book Description
The chapters in the present volume go beyond 'classical' extensional logic with respect to one important factor: they all include among the semantic constituents representations of so-called 'possible worlds'. The inclusion of such 'indices' has turned out to be the semantic mainstay in dealing with a number of issues having to do with intensional features of natural and artificial languages. It is, of course, an open question whether 'possible world' semantics is in the final analysis the proper solution to the many problems and puzzles intensional constructions raise for the logical analysis of the many varieties of discourse. At present, there seem to be about as many opponents as proponents with regard to the usefulness of having the semantics of intensional languages based on possible world constructs. Some attempts to come to grips with intensional phenomena which are not couched in the possible world framework are discussed in Volume IV of the Handbook. Chapter 1 is an extensive survey of the main systems of (propositional) modal logic including the most important meta-mathematical results and the techniques used in establishing these. It introduces the basic terminology and semantic machinery applied in one way or another in many of the subsequent chapters. Chapter 2 discusses the most significant developments in (propositional) tense logic which can of course be regarded as a special kind of modal logic, where the possible world indices are simply (ordered) moments of time.
Publisher: Springer Science & Business Media
ISBN: 9400962592
Category : Philosophy
Languages : en
Pages : 781
Book Description
The chapters in the present volume go beyond 'classical' extensional logic with respect to one important factor: they all include among the semantic constituents representations of so-called 'possible worlds'. The inclusion of such 'indices' has turned out to be the semantic mainstay in dealing with a number of issues having to do with intensional features of natural and artificial languages. It is, of course, an open question whether 'possible world' semantics is in the final analysis the proper solution to the many problems and puzzles intensional constructions raise for the logical analysis of the many varieties of discourse. At present, there seem to be about as many opponents as proponents with regard to the usefulness of having the semantics of intensional languages based on possible world constructs. Some attempts to come to grips with intensional phenomena which are not couched in the possible world framework are discussed in Volume IV of the Handbook. Chapter 1 is an extensive survey of the main systems of (propositional) modal logic including the most important meta-mathematical results and the techniques used in establishing these. It introduces the basic terminology and semantic machinery applied in one way or another in many of the subsequent chapters. Chapter 2 discusses the most significant developments in (propositional) tense logic which can of course be regarded as a special kind of modal logic, where the possible world indices are simply (ordered) moments of time.
Practical Logic
Author: Zygmunt ZiembiĆski
Publisher: Springer
ISBN: 940175604X
Category : Philosophy
Languages : en
Pages : 447
Book Description
Publisher: Springer
ISBN: 940175604X
Category : Philosophy
Languages : en
Pages : 447
Book Description
The Blackwell Guide to Philosophical Logic
Author: Lou Goble
Publisher: Wiley-Blackwell
ISBN: 9780631206927
Category : Philosophy
Languages : en
Pages : 510
Book Description
This volume presents a definitive introduction to twenty core areas of philosophical logic including classical logic, modal logic, alternative logics and close examinations of key logical concepts. The chapters, written especially for this volume by internationally distinguished logicians, philosophers, computer scientists and linguists, provide comprehensive studies of the concepts, motivations, methods, formal systems, major results and applications of their subject areas. The Blackwell Guide to Philosophical Logic engages both general readers and experienced logicians and provides a solid foundation for further study.
Publisher: Wiley-Blackwell
ISBN: 9780631206927
Category : Philosophy
Languages : en
Pages : 510
Book Description
This volume presents a definitive introduction to twenty core areas of philosophical logic including classical logic, modal logic, alternative logics and close examinations of key logical concepts. The chapters, written especially for this volume by internationally distinguished logicians, philosophers, computer scientists and linguists, provide comprehensive studies of the concepts, motivations, methods, formal systems, major results and applications of their subject areas. The Blackwell Guide to Philosophical Logic engages both general readers and experienced logicians and provides a solid foundation for further study.
Labelled Deduction
Author: David Basin
Publisher: Springer Science & Business Media
ISBN: 9401140405
Category : Philosophy
Languages : en
Pages : 273
Book Description
Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic `state oriented' properties such as knowledge, belief, time, space, and resources.
Publisher: Springer Science & Business Media
ISBN: 9401140405
Category : Philosophy
Languages : en
Pages : 273
Book Description
Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic `state oriented' properties such as knowledge, belief, time, space, and resources.