Scientific research is viewed as a deliberate activity and the logic of discovery consists of strategies and arguments whereby the best objectives (questions) and optimal means for achieving these objectives (heuristics) are chosen.
This volume is a collection of essays related to the work of Professor Yuriy Vasilievich Ivlev, a distinguished Russian logician and philosopher renowned for his expertise in many-valued and modal logics.
Neil Tennant presents an original logical system with unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues.
The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of (basic) truth values.
In the second edition of this witty and infectious book, Madsen Pirie builds upon his guide to using - and indeed abusing - logic in order to win arguments.
Whilst the greatest effort has been made to ensure the quality of this text, due to the historical nature of this content, in some rare cases there may be minor issues with legibility.
This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 8th International Workshop on Logic, Rationality, and Interaction, LORI 2021, held in Xi`an, China, in October 2021.
Diese Ausgabe enthält zehn Texte aus den Jahren 1683-1690 zur Allgemeinen Wissenschaft (Scientia generalis), zur Allgemeinen Wissenschaftssprache (Characteristica universalis) und zum Logischen Kalkül (Calculus logicus).
If we must take mathematical statements to be true, must we also believe in the existence of abstracta eternal invisible mathematical objects accessible only by the power of pure thought?
'David Pole, in his The Later Philosophy of Wittgenstein, makes an admirable attempt to clarify the central points of Wittgenstein's philosophy in a straightforward manner.
This book sets out for the first time in English and in the terms of modern logic the semantics of the Port Royal Logic (La Logique ou l'Art de penser, 1662-1685) of Antoine Arnauld and Pierre Nicole, perhaps the most influential logic book in the 17th and 18th centuries.
Im Anschluss an Cassirers methodischen Maxime, jede Wirklichkeitsthematik lasse sich zur Darstellung bringen: durch den Mythos, die Logik und die Symbolik, verfolgt Baldus in seiner exemplarisch angelegten Modellstudie das Ziel, die Gültigkeit dieser Maxime auch für die Symbolik aufzuzeigen.
Whilst the greatest effort has been made to ensure the quality of this text, due to the historical nature of this content, in some rare cases there may be minor issues with legibility.
This title is part of UC Presss Voices Revived program, which commemorates University of California Press's mission to seek out and cultivate the brightest minds and give them voice, reach, and impact.
Die »Enzyklopädie Philosophie- und Wissenschaftstheorie«, das größte allgemeine Nachschlagewerk zur Philosophie im deutschsprachigen Raum, wurde 1980 begonnen und 1996 mit dem vierten Band abgeschlossen.
This volume offers English translations of three early works by Ernst Schroder (1841-1902), a mathematician and logician whose philosophical ruminations and pathbreaking contributions to algebraic logic attracted the admiration and ire of figures such as Dedekind, Frege, Husserl, and C.
My impulse when I decided to collect into a single volume the essays on topics in logical theory and related subjects that I have written in the last fifteen years was to borrow from the title of a work by Sextus Empiricus, and call my collection "e;Against the Logicians.
In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security.
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.
Greg Restall's Logic provides concise introductions to propositional and first-order predicate logic while showing how formal logic intersects with substantial philosophical issues such as vagueness, conditionals, relevance, propositional attitudes, and opaque contents.