Author: Nicholas Frederick Stang
Publisher: Oxford University Press
ISBN: 0198712626
Category : Mathematics
Languages : en
Pages : 383
Book Description
Nicholas F. Stang explores Kant's theory of possibility, from the precritical period of the 1750-60s to the Critical system initiated by the Critique of Pure Reason in 1781. He argues that the key to understanding the relationship between these periods lies in Kant's reorientation of an ontological question towards a transcendental approach.
Kant's Modal Metaphysics
Author: Nicholas Frederick Stang
Publisher: Oxford University Press
ISBN: 0198712626
Category : Mathematics
Languages : en
Pages : 383
Book Description
Nicholas F. Stang explores Kant's theory of possibility, from the precritical period of the 1750-60s to the Critical system initiated by the Critique of Pure Reason in 1781. He argues that the key to understanding the relationship between these periods lies in Kant's reorientation of an ontological question towards a transcendental approach.
Publisher: Oxford University Press
ISBN: 0198712626
Category : Mathematics
Languages : en
Pages : 383
Book Description
Nicholas F. Stang explores Kant's theory of possibility, from the precritical period of the 1750-60s to the Critical system initiated by the Critique of Pure Reason in 1781. He argues that the key to understanding the relationship between these periods lies in Kant's reorientation of an ontological question towards a transcendental approach.
Objects and Modalities
Author: Tero Tulenheimo
Publisher: Springer
ISBN: 3319531190
Category : Philosophy
Languages : en
Pages : 217
Book Description
This book develops a novel generalization of possible world semantics, called ‘world line semantics’, which recognizes worlds and links between world-bound objects (world lines) as mutually independent aspects of modal semantics. Addressing a wide range of questions vital for contemporary debates in logic and philosophy of language and offering new tools for theoretical linguistics and knowledge representation, the book proposes a radically new paradigm in modal semantics. This framework is motivated philosophically, viewing a structure of world lines as a precondition of modal talk. The author provides a uniform analysis of quantification over individuals (physical objects) and objects of thought (intentional objects). The semantic account of what it means to speak of intentional objects throws new light on accounts of intentionality and singular thought in the philosophy of mind and offers novel insights into the semantics of intensional transitive verbs.
Publisher: Springer
ISBN: 3319531190
Category : Philosophy
Languages : en
Pages : 217
Book Description
This book develops a novel generalization of possible world semantics, called ‘world line semantics’, which recognizes worlds and links between world-bound objects (world lines) as mutually independent aspects of modal semantics. Addressing a wide range of questions vital for contemporary debates in logic and philosophy of language and offering new tools for theoretical linguistics and knowledge representation, the book proposes a radically new paradigm in modal semantics. This framework is motivated philosophically, viewing a structure of world lines as a precondition of modal talk. The author provides a uniform analysis of quantification over individuals (physical objects) and objects of thought (intentional objects). The semantic account of what it means to speak of intentional objects throws new light on accounts of intentionality and singular thought in the philosophy of mind and offers novel insights into the semantics of intensional transitive verbs.
Many-Dimensional Modal Logics: Theory and Applications
Author: A. Kurucz
Publisher: Elsevier
ISBN: 008053578X
Category : Computers
Languages : en
Pages : 767
Book Description
Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions, obligations, provability, etc. However, the nice computational properties can drastically change if we combine some of these formalisms into a many-dimensional system, say, to reason about knowledge bases developing in time or moving objects.To study the computational behaviour of many-dimensional modal logics is the main aim of this book. On the one hand, it is concerned with providing a solid mathematical foundation for this discipline, while on the other hand, it shows that many seemingly different applied many-dimensional systems (e.g., multi-agent systems, description logics with epistemic, temporal and dynamic operators, spatio-temporal logics, etc.) fit in perfectly with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery.We start with concrete examples of applied one- and many-dimensional modal logics such as temporal, epistemic, dynamic, description, spatial logics, and various combinations of these. Then we develop a mathematical theory for handling a spectrum of 'abstract' combinations of modal logics - fusions and products of modal logics, fragments of first-order modal and temporal logics - focusing on three major problems: decidability, axiomatizability, and computational complexity. Besides the standard methods of modal logic, the technical toolkit includes the method of quasimodels, mosaics, tilings, reductions to monadic second-order logic, algebraic logic techniques. Finally, we apply the developed machinery and obtained results to three case studies from the field of knowledge representation and reasoning: temporal epistemic logics for reasoning about multi-agent systems, modalized description logics for dynamic ontologies, and spatio-temporal logics.The genre of the book can be defined as a research monograph. It brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). On the other hand, well-known results from modal and first-order logic are formulated without proofs and supplied with references to accessible sources.The intended audience of this book is logicians as well as those researchers who use logic in computer science and artificial intelligence. More specific application areas are, e.g., knowledge representation and reasoning, in particular, terminological, temporal and spatial reasoning, or reasoning about agents. And we also believe that researchers from certain other disciplines, say, temporal and spatial databases or geographical information systems, will benefit from this book as well.Key Features:• Integrated approach to modern modal and temporal logics and their applications in artificial intelligence and computer science• Written by internationally leading researchers in the field of pure and applied logic• Combines mathematical theory of modal logic and applications in artificial intelligence and computer science• Numerous open problems for further research• Well illustrated with pictures and tables
Publisher: Elsevier
ISBN: 008053578X
Category : Computers
Languages : en
Pages : 767
Book Description
Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions, obligations, provability, etc. However, the nice computational properties can drastically change if we combine some of these formalisms into a many-dimensional system, say, to reason about knowledge bases developing in time or moving objects.To study the computational behaviour of many-dimensional modal logics is the main aim of this book. On the one hand, it is concerned with providing a solid mathematical foundation for this discipline, while on the other hand, it shows that many seemingly different applied many-dimensional systems (e.g., multi-agent systems, description logics with epistemic, temporal and dynamic operators, spatio-temporal logics, etc.) fit in perfectly with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery.We start with concrete examples of applied one- and many-dimensional modal logics such as temporal, epistemic, dynamic, description, spatial logics, and various combinations of these. Then we develop a mathematical theory for handling a spectrum of 'abstract' combinations of modal logics - fusions and products of modal logics, fragments of first-order modal and temporal logics - focusing on three major problems: decidability, axiomatizability, and computational complexity. Besides the standard methods of modal logic, the technical toolkit includes the method of quasimodels, mosaics, tilings, reductions to monadic second-order logic, algebraic logic techniques. Finally, we apply the developed machinery and obtained results to three case studies from the field of knowledge representation and reasoning: temporal epistemic logics for reasoning about multi-agent systems, modalized description logics for dynamic ontologies, and spatio-temporal logics.The genre of the book can be defined as a research monograph. It brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). On the other hand, well-known results from modal and first-order logic are formulated without proofs and supplied with references to accessible sources.The intended audience of this book is logicians as well as those researchers who use logic in computer science and artificial intelligence. More specific application areas are, e.g., knowledge representation and reasoning, in particular, terminological, temporal and spatial reasoning, or reasoning about agents. And we also believe that researchers from certain other disciplines, say, temporal and spatial databases or geographical information systems, will benefit from this book as well.Key Features:• Integrated approach to modern modal and temporal logics and their applications in artificial intelligence and computer science• Written by internationally leading researchers in the field of pure and applied logic• Combines mathematical theory of modal logic and applications in artificial intelligence and computer science• Numerous open problems for further research• Well illustrated with pictures and tables
Introductory Modal Logic
Author: Kenneth Konyndyk
Publisher:
ISBN: 9780268011598
Category : Modality (Logic)
Languages : en
Pages : 0
Book Description
Modal logic, developed as an extension of classical propositional logic and first-order quantification theory, integrates the notions of possibility and necessity and necessary implication. Arguments whose understanding depends on some fundamental knowledge of modal logic have always been important in philosophy of religion, metaphysics, and epistemology. Moreover, modal logic has become increasingly important with the use of the concept of "possible worlds" in these areas. Introductory Modal Logic fills the need for a basic text on modal logic, accessible to students of elementary symbolic logic. Kenneth Konyndyk presents a natural deduction treatment of propositional modal logic and quantified modal logic, historical information about its development, and discussions of the philosophical issues raised by modal logic. Characterized by clear and concrete explanations, appropriate examples, and varied and challenging exercises, Introductory Modal Logic makes both modal logic and the possible-worlds metaphysics readily available to the introductory level student.
Publisher:
ISBN: 9780268011598
Category : Modality (Logic)
Languages : en
Pages : 0
Book Description
Modal logic, developed as an extension of classical propositional logic and first-order quantification theory, integrates the notions of possibility and necessity and necessary implication. Arguments whose understanding depends on some fundamental knowledge of modal logic have always been important in philosophy of religion, metaphysics, and epistemology. Moreover, modal logic has become increasingly important with the use of the concept of "possible worlds" in these areas. Introductory Modal Logic fills the need for a basic text on modal logic, accessible to students of elementary symbolic logic. Kenneth Konyndyk presents a natural deduction treatment of propositional modal logic and quantified modal logic, historical information about its development, and discussions of the philosophical issues raised by modal logic. Characterized by clear and concrete explanations, appropriate examples, and varied and challenging exercises, Introductory Modal Logic makes both modal logic and the possible-worlds metaphysics readily available to the introductory level student.
Possible Worlds
Author: John Divers
Publisher: Routledge
ISBN: 1134731612
Category : Mathematics
Languages : en
Pages : 401
Book Description
Up-to-date and comprehensive study of a major topic in philosophy The first critical account of forty years of literature on possible worlds A huge topic in analytic philosophy especially in the past twenty-five yeasr and one of the major problems in philosophy as a whole This is the only book available that will introduce the topic to students in philosophy John Divers has taught possible worlds for many years
Publisher: Routledge
ISBN: 1134731612
Category : Mathematics
Languages : en
Pages : 401
Book Description
Up-to-date and comprehensive study of a major topic in philosophy The first critical account of forty years of literature on possible worlds A huge topic in analytic philosophy especially in the past twenty-five yeasr and one of the major problems in philosophy as a whole This is the only book available that will introduce the topic to students in philosophy John Divers has taught possible worlds for many years
Modality and Tense
Author: Kit Fine
Publisher: Oxford University Press
ISBN: 0199278709
Category : Language Arts & Disciplines
Languages : en
Pages : 396
Book Description
In this book, Kit Fine draws together a series of essays, three of them previously unpublished, on possibility, necessity, and tense.
Publisher: Oxford University Press
ISBN: 0199278709
Category : Language Arts & Disciplines
Languages : en
Pages : 396
Book Description
In this book, Kit Fine draws together a series of essays, three of them previously unpublished, on possibility, necessity, and tense.
Emerging Trends in Vibration and Noise Engineering
Author:
Publisher: Allied Publishers
ISBN: 9788170235323
Category : Noise
Languages : en
Pages : 468
Book Description
Publisher: Allied Publishers
ISBN: 9788170235323
Category : Noise
Languages : en
Pages : 468
Book Description
Modalities in Medieval Philosophy
Author: Simo Knuuttila
Publisher: Routledge
ISBN: 0429619197
Category : History
Languages : en
Pages : 196
Book Description
Originally published in 1993, Modalities in Medieval Philosophy looks at the idea of modality as multiplicity of reference with respect to alternative domains. The book examines how this emerged in early medieval discussions and addresses how it was originally influenced by the theological conception of God acting by choice. After a discussion of ancient modal paradigms, the author traces the interplay of old and new modal views in medieval logic and semantics, philosophy and theology. A detailed account is given of late medieval discussions of the new modal logic, epistemic logic, and the logic norms. These theories show striking similarities to some basic tenets of contemporary approaches to modal matters. This work will be of considerable interest to historians of philosophy and ideas and philosophers of logic and metaphysics.
Publisher: Routledge
ISBN: 0429619197
Category : History
Languages : en
Pages : 196
Book Description
Originally published in 1993, Modalities in Medieval Philosophy looks at the idea of modality as multiplicity of reference with respect to alternative domains. The book examines how this emerged in early medieval discussions and addresses how it was originally influenced by the theological conception of God acting by choice. After a discussion of ancient modal paradigms, the author traces the interplay of old and new modal views in medieval logic and semantics, philosophy and theology. A detailed account is given of late medieval discussions of the new modal logic, epistemic logic, and the logic norms. These theories show striking similarities to some basic tenets of contemporary approaches to modal matters. This work will be of considerable interest to historians of philosophy and ideas and philosophers of logic and metaphysics.
Modality in English
Author: Raphael Salkie
Publisher: Walter de Gruyter
ISBN: 3110213338
Category : Language Arts & Disciplines
Languages : en
Pages : 391
Book Description
This volume presents two kinds of studies on English modality. On the one hand, there are strongly empirical, corpus-based studies of individual uses of English modal auxiliaries and modal constructions, such as may in interrogatives, might in concessive clauses, shall and may vs must in legal English, the use of surprised if and surprising if constructions, the use and history of adhortative constructions, or the modal-aspectual use of come to in I came to realize that X. The book also contains work that presents new views on some of the classical issues, like the relations between modality and time, modality and commitment, modals and (inter)subjectivity. A special place is given to work that approaches the English modals from the perspective of the 'Theory of Enunciative Operations' developed by the French linguist Antoine Culioli and his colleagues. Thus the book provides new perspectives and answers on basic questions about modality, in general, and its expression in English, in particular.
Publisher: Walter de Gruyter
ISBN: 3110213338
Category : Language Arts & Disciplines
Languages : en
Pages : 391
Book Description
This volume presents two kinds of studies on English modality. On the one hand, there are strongly empirical, corpus-based studies of individual uses of English modal auxiliaries and modal constructions, such as may in interrogatives, might in concessive clauses, shall and may vs must in legal English, the use of surprised if and surprising if constructions, the use and history of adhortative constructions, or the modal-aspectual use of come to in I came to realize that X. The book also contains work that presents new views on some of the classical issues, like the relations between modality and time, modality and commitment, modals and (inter)subjectivity. A special place is given to work that approaches the English modals from the perspective of the 'Theory of Enunciative Operations' developed by the French linguist Antoine Culioli and his colleagues. Thus the book provides new perspectives and answers on basic questions about modality, in general, and its expression in English, in particular.
Modal Verbs and Modality in Literary and Non-Literary Texts
Author: Monika Skorasińska
Publisher: Cambridge Scholars Publishing
ISBN: 1527594149
Category : Language Arts & Disciplines
Languages : en
Pages : 176
Book Description
Publisher: Cambridge Scholars Publishing
ISBN: 1527594149
Category : Language Arts & Disciplines
Languages : en
Pages : 176
Book Description