Logic - Language - Ontology

Logic - Language - Ontology PDF Author: Urszula B. Wybraniec-Skardowska
Publisher: Springer Nature
ISBN: 3031223306
Category : Mathematics
Languages : en
Pages : 305

Get Book

Book Description
How should we think about the meaning of the words that make up our language? How does reference of these terms work, and what is their referent when these are connected to abstract objects rather than to concrete ones? Can logic help to address these questions? This collection of papers aims to unify the questions of syntax and semantics of language, which span across the fields of logic, philosophy and ontology of language. The leading motif of the presented selection is the differentiation between linguistic tokens (material, concrete objects) on the one hand and linguistic types (ideal, abstract objects) on the other. Through a promenade among articles that span over all of the Author’s career, this book addresses the complex philosophical question of the ontology of language by following the crystalline conceptual tools offered by logic. At the core of Wybraniec-Skardowska’s scholarship is the idea that language is an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. The application throughout the book of tools of classical logic and set theory results fosters the emergence of a general formal logical theory of syntax, semantics and of the pragmatics of language, which takes into account the duality token-type in the understanding of linguistic expressions. Via a functional approach to language itself, logic appears as ontologically neutral with respect to existential assumptions relating to the nature of linguistic expressions and their extra-linguistic counterparts. The book is addressed to readers both at the graduate and undergraduate level, but also to a more general audience interested in getting a firmer grip on the interplay between reality and the language we use to describe and understand it.

Logic - Language - Ontology

Logic - Language - Ontology PDF Author: Urszula B. Wybraniec-Skardowska
Publisher: Springer Nature
ISBN: 3031223306
Category : Mathematics
Languages : en
Pages : 305

Get Book

Book Description
How should we think about the meaning of the words that make up our language? How does reference of these terms work, and what is their referent when these are connected to abstract objects rather than to concrete ones? Can logic help to address these questions? This collection of papers aims to unify the questions of syntax and semantics of language, which span across the fields of logic, philosophy and ontology of language. The leading motif of the presented selection is the differentiation between linguistic tokens (material, concrete objects) on the one hand and linguistic types (ideal, abstract objects) on the other. Through a promenade among articles that span over all of the Author’s career, this book addresses the complex philosophical question of the ontology of language by following the crystalline conceptual tools offered by logic. At the core of Wybraniec-Skardowska’s scholarship is the idea that language is an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. The application throughout the book of tools of classical logic and set theory results fosters the emergence of a general formal logical theory of syntax, semantics and of the pragmatics of language, which takes into account the duality token-type in the understanding of linguistic expressions. Via a functional approach to language itself, logic appears as ontologically neutral with respect to existential assumptions relating to the nature of linguistic expressions and their extra-linguistic counterparts. The book is addressed to readers both at the graduate and undergraduate level, but also to a more general audience interested in getting a firmer grip on the interplay between reality and the language we use to describe and understand it.

Vagueness, Logic and Ontology

Vagueness, Logic and Ontology PDF Author: Mr Dominic Hyde
Publisher: Ashgate Publishing, Ltd.
ISBN: 1409485730
Category : Philosophy
Languages : en
Pages : 250

Get Book

Book Description
Resorting to natural law is one way of conveying the philosophical conviction that moral norms are not merely conventional rules. Accordingly, the notion of natural law has a clear metaphysical dimension, since it involves the recognition that human beings do not conceive themselves as sheer products of society and history. And yet, if natural law is to be considered the fundamental law of practical reason, it must show also some intrinsic relationship to history and positive law. The essays in this book examine this tension between the metaphysical and the practical and how the philosophical elaboration of natural law presents this notion as a "limiting-concept", between metaphysics and ethics, between the mutable and the immutable; between is and ought, and, in connection with the latter, even the tension between politics and eschatology as a double horizon of ethics. This book, contributed to by scholars from Europe and America, is a major contribution to the renewed interest in natural law. It provides the reader with a comprehensive overview of natural law, both from a historical and a systematic point of view. It ranges from the mediaeval synthesis of Aquinas through the early modern elaborations of natural law, up to current discussions on the very possibility and practical relevance of natural law theory for the contemporary mind.

Language and Ontology

Language and Ontology PDF Author: Kanti Lal Das
Publisher: Northern Book Centre
ISBN: 9788172112288
Category : Knowledge, Theory of
Languages : en
Pages : 260

Get Book

Book Description
The book highlights the concept of ontology, relationship between language and ontology, the distinction between ontology and reality, the role of linguistic philosophers in dealing with ontology etc. Apart from these, the eminent scholars address themselves with the ontology behind the value of valuation, exclusion and discrimination, inter-religious dialogue, Indian theories of language, values in cinema, poetic language etc.

Words without Objects

Words without Objects PDF Author: Henry Laycock
Publisher: OUP Oxford
ISBN: 0191535915
Category : Philosophy
Languages : en
Pages : 222

Get Book

Book Description
A picture of the world as chiefly one of discrete objects, distributed in space and time, has sometimes seemed compelling. It is however one of two main targets of Henry Laycock's book; for it is seriously incomplete. The picture, he argues, leaves no space for stuff like air and water. With discrete objects, we may always ask 'how many?', but with stuff the question has to be 'how much?' Within philosophy, stuff of certain basic kinds is central to the ancient pre-Socratic world-view; but it also constitutes the field of modern chemistry and is a major factor in ecology. Philosophers these days, in general, are unlikely to deny that stuff exists. But they are very likely to deny that it is ('ultimately') to be contrasted with things, and it is on this account that logic and semantics figure largely in the framework of the book. Elementary logic is a logic which takes values for its variables; and these values are precisely distinct individuals or things. Existence is then symbolized in just such terms; and this, it is proposed, creates a pressure for 'reducing' stuff to things. Non-singular expressions, which include words for stuff, 'mass' nouns, and also plural nouns, are 'explicated' as semantically singular. Here then is the second target of the book. The posit that both mass and plural nouns name special categories of objects (set-theoretical 'collections' of objects in the one case, mereological 'parcels' or 'portions' of stuff in the other) represents, so Laycock urges, the imposition of an alien logic upon both the many and the much.

Words Without Objects

Words Without Objects PDF Author: Henry Laycock
Publisher: Oxford University Press, USA
ISBN: 0199281718
Category : Language Arts & Disciplines
Languages : en
Pages : 221

Get Book

Book Description
A picture of the world as chiefly one of discrete objects, distributed in space and time, has sometimes seemed compelling. It is however one of two main targets of Henry Laycock's book; for it is seriously incomplete. The picture, he argues, leaves no space for stuff like air and water. With discrete objects, we may always ask 'how many?', but with stuff the question has to be 'how much?' Within philosophy, stuff of certain basic kinds is central to the ancient pre-Socraticworld-view; but it also constitutes the field of modern chemistry and is a major factor in ecology.Philosophers these days, in general, are unlikely to deny that stuff exists. But they are very likely to deny that it is ('ultimately') to be contrasted with things, and it is on this account that logic and semantics figure largely in the framework of the book. Elementary logic is a logic which takes values for its variables; and these values are precisely distinct individuals or things. Existence is then symbolized in just such terms; and this, it is proposed, creates a pressure for 'reducing'stuff to things. Non-singular expressions, which include words for stuff, 'mass' nouns, and also plural nouns, are 'explicated' as semantically singular.Here then is the second target of the book. The posit that both mass and plural nouns name special categories of objects (set-theoretical 'collections' of objects in the one case, mereological 'parcels' or 'portions' of stuff in the other) represents, so Laycock urges, the imposition of an alien logic upon both the many and the much.

Mechanizing Mathematical Reasoning

Mechanizing Mathematical Reasoning PDF Author: Dieter Hutter
Publisher: Springer
ISBN: 354032254X
Category : Computers
Languages : en
Pages : 573

Get Book

Book Description
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann. The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.

Later Medieval Metaphysics

Later Medieval Metaphysics PDF Author: Charles Bolyard
Publisher: Fordham Univ Press
ISBN: 0823244725
Category : History
Languages : en
Pages : 329

Get Book

Book Description
This book begins with standard ontological topics--such as the nature of existence--and of metaphysics generally, such as the status of universals, form, and accidents. What is the proper subject matter of metaphysical speculation? Are essence and existence really distinct in bodies? Does the body lose its unifying form at death? Can an accident of a substance exist in separation from that substance? Are universals real, and, if so, are they anything more than general concepts? Among the figures it examines are Thomas Aquinas, John Duns Scotus, William of Ockham, Walter Chatton, John Buridan, Dietrich of Freiburg, Robert Holcot, Walter Burley, and the 11th-century Islamic philosopher Ibn-Sina (Avicenna).There is also an emphasis on metaphysics broadly conceived. Thus, additional discussions of connected topics in medieval logic, epistemology, and language provide a fuller account of the range of ideas included in the later medieval worldview.

Essays in Logic and Ontology

Essays in Logic and Ontology PDF Author:
Publisher: BRILL
ISBN: 9004332960
Category : Philosophy
Languages : en
Pages : 428

Get Book

Book Description
The aim of this book is to present essays centered upon the subjects of Formal Ontology and Logical Philosophy. The idea of investigating philosophical problems by means of logical methods was intensively promoted in Torun by the Department of Logic of Nicolaus Copernicus University during last decade. Another aim of this book is to present to the philosophical and logical audience the activities of the Torunian Department of Logic during this decade. The papers in this volume contain the results concerning Logic and Logical Philosophy, obtained within the confines of the projects initiated by the Department of Logic and other research projects in which the Torunian Department of Logic took part.

Ontology and the Logistic Analysis of Language

Ontology and the Logistic Analysis of Language PDF Author: Guido Küng
Publisher: Springer Science & Business Media
ISBN: 9401035148
Category : Philosophy
Languages : en
Pages : 219

Get Book

Book Description
It is the aim of the present study to introduce the reader to the ways of thinking of those contemporary philosophers who apply the tools of symbolic logic to classical philosophical problems. Unlike the "conti nental" reader for whom this work was originally written, the English speaking reader will be more familiar with most of the philosophers dis cussed in this book, and he will in general not be tempted to dismiss them indiscriminately as "positivists" and "nominalists". But the English version of this study may help to redress the balance in another respect. In view of the present emphasis on ordinary language and the wide spread tendency to leave the mathematical logicians alone with their technicalities, it seems not without merit to revive the interest in formal ontology and the construction of formal systems. A closer look at the historical account which will be given here, may convince the reader that there are several points in the historical develop ment whose consequences have not yet been fully assessed: I mention, e. g. , the shift from the traditional three-level semantics of sense and deno tation to the contemporary two-level semantics of representation; the relation of extensional structure and intensional content in the extensional systems of Wittgenstein and Carnap; the confusing changes in labelling the different kinds of analytic and apriori true sentences; etc. Among the philosophically interesting tools of symbolic logic Lesniewski's calculus of names deserves special attention.

Ontology-Based Interpretation of Natural Language

Ontology-Based Interpretation of Natural Language PDF Author: Philipp Cimiano
Publisher: Springer Nature
ISBN: 3031021541
Category : Computers
Languages : en
Pages : 158

Get Book

Book Description
For humans, understanding a natural language sentence or discourse is so effortless that we hardly ever think about it. For machines, however, the task of interpreting natural language, especially grasping meaning beyond the literal content, has proven extremely difficult and requires a large amount of background knowledge. This book focuses on the interpretation of natural language with respect to specific domain knowledge captured in ontologies. The main contribution is an approach that puts ontologies at the center of the interpretation process. This means that ontologies not only provide a formalization of domain knowledge necessary for interpretation but also support and guide the construction of meaning representations. We start with an introduction to ontologies and demonstrate how linguistic information can be attached to them by means of the ontology lexicon model lemon. These lexica then serve as basis for the automatic generation of grammars, which we use to compositionally construct meaning representations that conform with the vocabulary of an underlying ontology. As a result, the level of representational granularity is not driven by language but by the semantic distinctions made in the underlying ontology and thus by distinctions that are relevant in the context of a particular domain. We highlight some of the challenges involved in the construction of ontology-based meaning representations, and show how ontologies can be exploited for ambiguity resolution and the interpretation of temporal expressions. Finally, we present a question answering system that combines all tools and techniques introduced throughout the book in a real-world application, and sketch how the presented approach can scale to larger, multi-domain scenarios in the context of the Semantic Web. Table of Contents: List of Figures / Preface / Acknowledgments / Introduction / Ontologies / Linguistic Formalisms / Ontology Lexica / Grammar Generation / Putting Everything Together / Ontological Reasoning for Ambiguity Resolution / Temporal Interpretation / Ontology-Based Interpretation for Question Answering / Conclusion / Bibliography / Authors' Biographies