Perhaps one of the most striking characteristics of later medieval philosophy and science is the remarkable unity with which the different fields of investigation were articulated to each other, in particular with respect to the methodology used. While it is fair to say that current science is characterized by a plurality of methodologies and by a high degree of specialization in each discipline, in the later medieval period there was one fundamental methodology being used across disciplines, namely logic. One can say without hesitation that logic provided unity to knowledge and science in...

This research is the result of a fruitful connection and provides a sign- cant link between two topics of a logical and philosophical enquiry. It tries to provide a solution to the problem of analyticity: with this expression I understand, on the one hand, the essential nature of analytic truths and, on the other, the related explanation of the analytic nature of logical inference. The connection between these two sides of what will be referred to as the Analyticity Principle, can be brie?y explained as follows: by analytic truth one understands in general a sentence whose content is...

In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic, supposingthat someone were capable to compile it, would ?ll itself a ponderous volume. What is impressive in the growth of modal logic has not been so much the quick accumulation of results but the richness of its thematic dev- opments. In the 1960s, when Kripke semantics gave new credibility to the logic of modalities? which was already known and appreciated in the Ancient and Medieval times? no one could have foreseen that in a short time modal logic would become a...

The book offers a characterization of the meaning and role of the notion of truth in natural languages and an explanation of why, in spite of the big amount of proposals about truth, this task has proved to be resistant to the different analyses. The general thesis of the book is that defining truth is perfectly possible and that the average educated philosopher of language has the tools to do it. The book offers an updated treatment of the meaning of truth ascriptions from taking into account the latest views in philosophy of language and linguistics.

Here is a comprehensive overview of paraconsistent logical systems, offering chapters contributed by many authorities in the field. The focus is on big picture ideas: different treatments of paradoxes, and application to mathematics, language and metaphysics.

This book brings together philosophers, mathematicians and logicians to explore important problems in the philosophy and foundations of mathematics. Contrasts classical logic and set theory with predicativistic constructivism based on Martin-Lof type theory.

Opening with the insights of Swedish philosopher Per Martin-Lof, the father of constructive type theory, this exploration of the relationship between logic and knowledge re-affirms the key role that the notion of judgement must play in such a review.

This book is about Transparent Intensional Logic, the brainchild of Pavel Tichy. Three books and around 100 papers on Transparent Intensional Logic have till now seen the light of day since the mid-1960s. So why a book of more than 500 pages now? For two reasons. Firstly, Transparent Intensional Logic is a theory without something like a textbook. Now this is not an actual textbook, if a textbook is a patient introduction garnished with exercises and solutions; nor is it a teach-yourself-in-a-week manual for the uninitiated-but-curious. But we, the three authors, have striven to write an...

Belief revision theory and philosophy of science both aspire to shed light on the dynamics of knowledge - on how our view of the world changes (typically) in the light of new evidence. Yet these two areas of research have long seemed strangely detached from each other, as witnessed by the small number of cross-references and researchers working in both domains. One may speculate as to what has brought about this surprising, and perhaps unfortunate, state of affairs. One factor may be that while belief revision theory has traditionally been pursued in a bottom- up manner, focusing on the...