Gør som tusindvis af andre bogelskere
Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.
Ved tilmelding accepterer du vores persondatapolitik.Du kan altid afmelde dig igen.
In the last century, developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic.
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.
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.
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.
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.
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.
The book offers essays from important and influential philosophers in contemporary philosophy, discussing a range of topics from philosophy of science to epistemology, philosophy of logic and game theoretical approaches.
The book offers essays from important and influential philosophers in contemporary philosophy, discussing a range of topics from philosophy of science to epistemology, philosophy of logic and game theoretical approaches.
Andinmy haste, I said: "Allmenare Liars" 1 -Psalms 116:11 The Original Lie Philosophical analysis often reveals and seldom solves paradoxes. To quote Stephen Read: A paradox arises when an unacceptable conclusion is supported by a plausible argument from apparently acceptable premises.
The contributors here show that Leibniz's 'rationalism' is not restricted to a concern with expanding and applying a logical and mathematical model of thought and action. They show the variety of models Leibniz's rationalism develop, combine, and make use of.
Multimodality is the key to many fertile investigations in modal logic. This book is a philosophically and historically-based introduction to modal logic that will appeal to philosophers, logicians, linguists, mathematicians and computer scientists.
In the last century, developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic.
Multimodality is the key to many fertile investigations in modal logic. This book is a philosophically and historically-based introduction to modal logic that will appeal to philosophers, logicians, linguists, mathematicians and computer scientists.
Belief revision theory and philosophy of science both aspire to shed light on the dynamics ofknowledge - on how our view of the world changes (typically) in the light of new evidence.
Belief revision theory and philosophy of science both aspire to shed light on the dynamics ofknowledge - on how our view of the world changes (typically) in the light of new evidence.
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.
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.
This volume tackles Goedel's two-stage project of first using Husserl's transcendental phenomenology to reconstruct and develop Leibniz' monadology, and then founding classical mathematics on the metaphysics thus obtained.
This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. The dominant foundational framework for current mathematics is classical logic and set theory with the axiom of choice (ZFC).
While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers.
The wealth of proposals about truth and its meaning in natural languages everywhere should open it to analysis and definition, but this book makes the startlingly rare assertion that we can define truth using the latest methods in linguistics and philosophy.
Poland was a stronghold of political thought (mostly inclined towards concilliarism) and Polish political thought distinguished itself in Europe J.
Reflects on the effects of discoveries in genetics on a broad range of scientific fields. This book shows the way in which those discoveries influence genetics itself and many other fields, and explains the impact of genetics on contemporary culture. It contains views of Nobel Laureate Francois Jacob on genetics and the nature of living things.
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.
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.
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.
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.
Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.
Ved tilmelding accepterer du vores persondatapolitik.