Bøger i Logic, Epistemology, and the Unity of Science serien

Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science. In particular, intuitionistic type theory is a foundation for mathematics and a programming language.

This book shows how TIL lends itself to a broad range of applications. It comprises logical analysis of natural language, artificial-intelligence methods of knowledge representation, multi-agent systems in computer science, philosophy of mathematics, and more.

In the eyes of the editors, this book will be considered a success if it can convince its readers of the following: that it is warranted to dream of a realistic and full-fledged theory of mathematical practices, in the plural.

Legal theory, political sciences, sociology, philosophy, logic, artificial intelligence: there are many approaches to legal argumentation. One of the main issues is the relation between logic and law: the way logic is actually used in law, but also the way logic can make law explicit.

This book examines three connected aspects of Frege's logicism: the differences between Dedekind's and Frege's interpretation of the term 'logic' and related terms and reflects on Frege's notion of function, comparing its understanding and the role it played in Frege's and Lagrange's foundational programs.

This volume analyzes how vagueness occurs and matters as a specific problem in the context of theories that are primarily about something else. Topics include vagueness and metaphysics, vagueness and logic, vagueness and linguistics, and vagueness and law.

This book develops a philosophical and logical interpretation of the concept of information within the formal structure of Constructive Type Theory (CTT), in a manner concurrent with a diverse range of contemporary perspectives on the philosophy of information.

This is the first book to collect essays from philosophers, mathematicians and computer scientists working at the exciting interface of algorithmic learning theory and the epistemology of science and inductive inference.

This book presents formalizations of three important medieval logical theories: supposition, consequence and obligations.

This anthology of the very latest research on truth features the work of recognized luminaries in the field, put together following a rigorous refereeing process. Along with an introduction outlining the central issues in the field, it provides a unique and unrivaled view of contemporary work on the nature of truth, with papers selected from key conferences in 2011 such as Truth Be Told (Amsterdam), Truth at Work (Paris), Paradoxes of Truth and Denotation (Barcelona) and Axiomatic Theories of Truth (Oxford).Studying the nature of the concept of ¿truth¿ has always been a core role of philosophy, but recent years have been a boom time in the topic. With a wealth of recent conferences examining the subject from various angles, this collection of essays recognizes the pressing need for a volume that brings scholars up to date on the arguments.Offering academics and graduate students alike a much-needed repository of today¿s cutting-edge work in this vital topic of philosophy, the volume is required reading for anyone needing to keep abreast of developments, and is certain to act as a catalyst for further innovation and research.

Poland was a stronghold of political thought (mostly inclined towards concilliarism) and Polish political thought distinguished itself in Europe J.

From a Geometrical Point of View explores historical and philosophical aspects of category theory, trying therewith to expose its significance in the mathematical landscape.

This volume analyzes how vagueness occurs and matters as a specific problem in the context of theories that are primarily about something else. Topics include vagueness and metaphysics, vagueness and logic, vagueness and linguistics, and vagueness and law.

Some of the leading scholars of Neurath's work, along with many prominent philosophers of science critically examine his place in the history of philosophy of science and evaluate the relevance of his work for contemporary debates concerning the unity of science.

Legal theory, political sciences, sociology, philosophy, logic, artificial intelligence: there are many approaches to legal argumentation. One of the main issues is the relation between logic and law: the way logic is actually used in law, but also the way logic can make law explicit.

This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections to other logics and applications in information processing, linguistics, reasoning and argumentation, and philosophy of science.

Some of the leading scholars of Neurath's work, along with many prominent philosophers of science critically examine his place in the history of philosophy of science and evaluate the relevance of his work for contemporary debates concerning the unity of science.

One of the most basic problems in the philosophy of science involves determining the extent to which nature is governed by laws. Traditionally, the problem of the unity of science was intimately connected to the problem of understanding the unity of nature.

From a Geometrical Point of View explores historical and philosophical aspects of category theory, trying therewith to expose its significance in the mathematical landscape.

OndrejMajer,Ahti-VeikkoPietarinen,andTeroTulenheimo 1 Games and logic in philosophy Recent years have witnessed a growing interest in the unifying methodo- gies over what have been perceived as pretty disparate logical 'systems', or else merely an assortment of formal and mathematical 'approaches' to phi- sophical inquiry.

Brings a pragmatic perspective to the discussion of the unity of science. This book contributes to our understanding of the dynamic process by presenting and discussing the important hypotheses, issues and theories in philosophical and logical study of language, thought and action. It is aimed at graduate students and researchers.

Accordingly, the sociological and historical interpretation - volves in fact two kinds of discontinuity which are closely related: the discontinuity of science as such and the discontinuity of the more inclusive political and social context of its development.

This book presents formalizations of three important medieval logical theories: supposition, consequence and obligations.

This is the first book to collect essays from philosophers, mathematicians and computer scientists working at the exciting interface of algorithmic learning theory and the epistemology of science and inductive inference.

This book develops a philosophical and logical interpretation of the concept of information within the formal structure of Constructive Type Theory (CTT), in a manner concurrent with a diverse range of contemporary perspectives on the philosophy of information.