|
Showing 1 - 7 of
7 matches in All Departments
This book presents the state of the art in the fields of formal
logic pioneered by Graham Priest. It includes advanced technical
work on the model and proof theories of paraconsistent logic, in
contributions from top scholars in the field. Graham Priest's
research has had a considerable influence on the field of
philosophical logic, especially with respect to the themes of
dialetheism-the thesis that there exist true but inconsistent
sentences-and paraconsistency-an account of deduction in which
contradictory premises do not entail the truth of arbitrary
sentences. Priest's work has regularly challenged researchers to
reappraise many assumptions about rationality, ontology, and truth.
This book collects original research by some of the most esteemed
scholars working in philosophical logic, whose contributions
explore and appraise Priest's work on logical approaches to
problems in philosophy, linguistics, computation, and mathematics.
They provide fresh analyses, critiques, and applications of
Priest's work and attest to its continued relevance and topicality.
The book also includes Priest's responses to the contributors,
providing a further layer to the development of these themes .
This book presents the state of the art in the fields of formal
logic pioneered by Graham Priest. It includes advanced technical
work on the model and proof theories of paraconsistent logic, in
contributions from top scholars in the field. Graham Priest's
research has had a considerable influence on the field of
philosophical logic, especially with respect to the themes of
dialetheism-the thesis that there exist true but inconsistent
sentences-and paraconsistency-an account of deduction in which
contradictory premises do not entail the truth of arbitrary
sentences. Priest's work has regularly challenged researchers to
reappraise many assumptions about rationality, ontology, and truth.
This book collects original research by some of the most esteemed
scholars working in philosophical logic, whose contributions
explore and appraise Priest's work on logical approaches to
problems in philosophy, linguistics, computation, and mathematics.
They provide fresh analyses, critiques, and applications of
Priest's work and attest to its continued relevance and topicality.
The book also includes Priest's responses to the contributors,
providing a further layer to the development of these themes .
This book discusses major milestones in Rohit Jivanlal Parikh's
scholarly work. Highlighting the transition in Parikh's interest
from formal languages to natural languages, and how he approached
Wittgenstein's philosophy of language, it traces the academic
trajectory of a brilliant scholar whose work opened up various new
avenues in research. This volume is part of Springer's book series
Outstanding Contributions to Logic, and honours Rohit Parikh and
his works in many ways. Parikh is a leader in the realm of ideas,
offering concepts and definitions that enrich the field and lead to
new research directions. Parikh has contributed to a variety of
areas in logic, computer science and game theory. In mathematical
logic his contributions have been in recursive function theory,
proof theory and non-standard analysis; in computer science, in the
areas of modal, temporal and dynamic logics of programs and
semantics of programs, as well as logics of knowledge; in
artificial intelligence in the area of belief revision; and in game
theory in the formal analysis of social procedures, with a strong
undercurrent of philosophy running through all his work.This is not
a collection of articles limited to one theme, or even directly
connected to specific works by Parikh, but instead all papers are
inspired and influenced by Parikh in some way, adding structures to
and enriching "Parikh-land". The book presents a brochure-like
overview of Parikh-land before providing an "introductory video" on
the sights and sounds that you experience when reading the book.
This book discusses major milestones in Rohit Jivanlal Parikh's
scholarly work. Highlighting the transition in Parikh's interest
from formal languages to natural languages, and how he approached
Wittgenstein's philosophy of language, it traces the academic
trajectory of a brilliant scholar whose work opened up various new
avenues in research. This volume is part of Springer's book series
Outstanding Contributions to Logic, and honours Rohit Parikh and
his works in many ways. Parikh is a leader in the realm of ideas,
offering concepts and definitions that enrich the field and lead to
new research directions. Parikh has contributed to a variety of
areas in logic, computer science and game theory. In mathematical
logic his contributions have been in recursive function theory,
proof theory and non-standard analysis; in computer science, in the
areas of modal, temporal and dynamic logics of programs and
semantics of programs, as well as logics of knowledge; in
artificial intelligence in the area of belief revision; and in game
theory in the formal analysis of social procedures, with a strong
undercurrent of philosophy running through all his work.This is not
a collection of articles limited to one theme, or even directly
connected to specific works by Parikh, but instead all papers are
inspired and influenced by Parikh in some way, adding structures to
and enriching "Parikh-land". The book presents a brochure-like
overview of Parikh-land before providing an "introductory video" on
the sights and sounds that you experience when reading the book.
This book explores the two major elements of Hintikka's model of
inquiry: underlying game theoretical motivations and the central
role of questioning. The chapters build on the Hintikkan tradition
extending Hintikka's model and present a wide variety of approaches
to the philosophy of inquiry from different directions, ranging
from erotetic logic to Lakatosian philosophy, from
socio-epistemologic approaches to strategic reasoning and
mathematical practice. Hintikka's theory of inquiry is a well-known
example of a dynamic epistemic procedure. In an interrogative
inquiry, the inquirer is given a theory and a question. He then
tries to answer the question based on the theory by posing
questions to nature or an oracle. The initial formulation of this
procedure by Hintikka is rather broad and informal. This volume
introduces a carefully selected responses to the issues discussed
by Hintikka. The articles in the volume were contributed by various
authors associated with a research project on Hintikka's
interrogative theory of inquiry conducted in the Institut
d'Histoire et de Philosophie des Sciences et des Techniques (IHPST)
of Paris, including those who visited to share their insight.
This book explores the two major elements of Hintikka's model of
inquiry: underlying game theoretical motivations and the central
role of questioning. The chapters build on the Hintikkan tradition
extending Hintikka's model and present a wide variety of approaches
to the philosophy of inquiry from different directions, ranging
from erotetic logic to Lakatosian philosophy, from
socio-epistemologic approaches to strategic reasoning and
mathematical practice. Hintikka's theory of inquiry is a well-known
example of a dynamic epistemic procedure. In an interrogative
inquiry, the inquirer is given a theory and a question. He then
tries to answer the question based on the theory by posing
questions to nature or an oracle. The initial formulation of this
procedure by Hintikka is rather broad and informal. This volume
introduces a carefully selected responses to the issues discussed
by Hintikka. The articles in the volume were contributed by various
authors associated with a research project on Hintikka's
interrogative theory of inquiry conducted in the Institut
d'Histoire et de Philosophie des Sciences et des Techniques (IHPST)
of Paris, including those who visited to share their insight.
In this work, we will first provide a comprehensive outlook of
subset space logic in detail to set the basis for our discussions.
Then, we will import some simple truth preserving operations and
observe that these operations are valid in subset space logic as
well. Equipped with all these tools, we will observe that the
subset space logic is strong enough to axiomatize the dynamic
aspects of knowledge change, in particular, the public announcement
logic. We will then provide the full axiomatization of subset space
public announcement logic and its then straightforward completeness
proof. As long as the research area of geometry of knowledge is
considered, we believe, it is significant to see that public
announcement logic works well in the subset space language. All
these discussions will lead us to take a closer look at the notion
of shrinking - which can be considered as the temporal and perhaps
the dynamic operator of the subset space logic. We will observe
that, in fact, the shrinking operator is not a remote concept in
formal sciences.
|
You may like...
Ab Wheel
R209
R149
Discovery Miles 1 490
|