The Construction of Logical Space

The Construction of Logical Space
Author: Agustín Rayo
Publisher:
Total Pages: 241
Release: 2013-06-27
Genre: Mathematics
ISBN: 0199662622

Our conception of logical space is the set of distinctions we use to navigate the world. Agustín Rayo argues that this is shaped by acceptance or rejection of 'just is'-statements: e.g. 'to be composed of water just is to be composed of H2O'. He offers a novel conception of metaphysical possibility, and a new trivialist philosophy of mathematics.

The Logical Must

The Logical Must
Author: Penelope Maddy
Publisher: Oxford University Press, USA
Total Pages: 147
Release: 2014
Genre: Philosophy
ISBN: 0199391750

"Maddy's short monograph looks at Wittgenstein's philosophy of logic, from the perspective of the form of naturalism that she calls "second philosophy." That view takes an empirical approach to logical truth -- essentially arguing that if philosophers want to understand the world, they should start from a position informed by scientific understandings of the world, because science is often a reliable guide to how the world works. Similarly, just like science, logic is also grounded in the structure of our world, and our basic cognitive machinery is tuned by evolutionary pressures to detect that structure where it occurs. Ludwig Wittgenstein (particularly in the "Tractatus") also linked the logical structure of representation with the structure of the world, but still insisted that the sense of our representations must be given prior to -- independently of -- any facts about how the world happens to be. When that requirement is removed, Wittgenstein's position in the Tractatus approaches Maddy's Second Philosophy -- that logic is grounded in the structure of the world and our representational systems reflect that structuring. The later Wittgenstein also hews closely to Second Philosophy, holding that our logical practices are grounded in our interests and motivations, and our natural inclinations, and the features of the world. In this sense, logic is no different from other descriptions of the world -- just more general and responding to features so basic and ubiquitous that they tend to go unnoticed. Maddy's Second Philosophy finds Wittgenstein as an important precursor and kindred spirit, and promotes a new view of him as a naturalistic phliosopher"--

A Logical Theory of Causality

A Logical Theory of Causality
Author: Alexander Bochman
Publisher: MIT Press
Total Pages: 367
Release: 2021-08-17
Genre: Computers
ISBN: 0262362244

A general formal theory of causal reasoning as a logical study of causal models, reasoning, and inference. In this book, Alexander Bochman presents a general formal theory of causal reasoning as a logical study of causal models, reasoning, and inference, basing it on a supposition that causal reasoning is not a competitor of logical reasoning but its complement for situations lacking logically sufficient data or knowledge. Bochman also explores the relationship of this theory with the popular structural equation approach to causality proposed by Judea Pearl and explores several applications ranging from artificial intelligence to legal theory, including abduction, counterfactuals, actual and proximate causality, dynamic causal models, and reasoning about action and change in artificial intelligence. As logical preparation, before introducing causal concepts, Bochman describes an alternative, situation-based semantics for classical logic that provides a better understanding of what can be captured by purely logical means. He then presents another prerequisite, outlining those parts of a general theory of nonmonotonic reasoning that are relevant to his own theory. These two components provide a logical background for the main, two-tier formalism of the causal calculus that serves as the formal basis of his theory. He presents the main causal formalism of the book as a natural generalization of classical logic that allows for causal reasoning. This provides a formal background for subsequent chapters. Finally, Bochman presents a generalization of causal reasoning to dynamic domains.

The Logical Structure of Kinds

The Logical Structure of Kinds
Author: Eric Funkhouser
Publisher:
Total Pages: 193
Release: 2014
Genre: Philosophy
ISBN: 0198713304

Eric Funkhouser uncovers a logical structure that is common to many, if not all, classificatory systems or taxonomies. Every conceptual scheme--including the sciences, mathematics, and ethics--classifies things into kinds. Given their ubiquity across theoretical contexts, we would benefit from understanding the nature of such kinds. Significantly, most conceptual schemes posit kinds that vary in their degree of specificity. Species-genus taxonomiesprovide us with familiar examples, with the species classification being more specific than the genus classification. This book instead focuses on adjectival kinds--classifications picked out by kind-terms like'mass', 'shape', or 'belief', to give but a few examples. One of its fundamental claims is that studying the determination relation provides deep insight into the essences of adjectival kinds and their instances (properties). The determination relation is found to contain two components, which are employed to structure kinds at the same level of abstraction into property spaces. In turn, these property space models lead to a theory for individuating properties, which has profound consequenceswhen it comes to reduction, autonomy, and causation. Funkhouser argues that determination and realization are mutually exclusive relations. He defends the claim that multiple realizability entailsvarious senses of autonomy from various reductionist challenges. These theories of determination and realization ultimately provide general standards for establishing the autonomy of the special sciences or, conversely, their reduction.

It's Logical

It's Logical
Author: Kaustubh Dhargalkar
Publisher:
Total Pages: 0
Release: 2020
Genre: Business planning
ISBN: 9789354791550

The book aims at exploring how business model innovation can be achieved logically by focusing on the user.

Proof and Falsity

Proof and Falsity
Author: Nils Kürbis
Publisher: Cambridge University Press
Total Pages: 317
Release: 2019-05-09
Genre: Philosophy
ISBN: 1108481302

Provides an original analysis of negation - a central concept of logic - and how to define its meaning in proof-theoretic semantics.

God, Mind and Logical Space

God, Mind and Logical Space
Author: I. Aranyosi
Publisher: Springer
Total Pages: 352
Release: 2013-07-09
Genre: Philosophy
ISBN: 1137280328

The book offers a novel approach to the idea of divinity in guise of a philosophical doctrine called 'Logical Pantheism', according to which the only way to establish the existence of God undeniably is by equating God with Logical Space.

Simply Logical

Simply Logical
Author: Peter Flach
Publisher: Wiley
Total Pages: 256
Release: 1994-04-07
Genre: Computers
ISBN: 9780471942153

An introduction to Prolog programming for artificial intelligence covering both basic and advanced AI material. A unique advantage to this work is the combination of AI, Prolog and Logic. Each technique is accompanied by a program implementing it. Seeks to simplify the basic concepts of logic programming. Contains exercises and authentic examples to help facilitate the understanding of difficult concepts.

Putting Logic in Its Place

Putting Logic in Its Place
Author: David Christensen
Publisher: Oxford University Press
Total Pages: 200
Release: 2004-11-04
Genre: Mathematics
ISBN: 0199263256

What role, if any, does formal logic play in characterizing epistemically rational belief? Traditionally, belief is seen in a binary way - either one believes a proposition, or one doesn't. Given this picture, it is attractive to impose certain deductive constraints on rational belief: that one's beliefs be logically consistent, and that one believe the logical consequences of one's beliefs. A less popular picture sees belief as a graded phenomenon. This picture (explored more bydecision-theorists and philosophers of science thatn by mainstream epistemologists) invites the use of probabilistic coherence to constrain rational belief. But this latter project has often involved defining graded beliefs in terms of preferences, which may seem to change the subject away fromepistemic rationality.Putting Logic in its Place explores the relations between these two ways of seeing beliefs. It argues that the binary conception, although it fits nicely with much of our commonsense thought and talk about belief, cannot in the end support the traditional deductive constraints on rational belief. Binary beliefs that obeyed these constraints could not answer to anything like our intuitive notion of epistemic rationality, and would end up having to be divorced from central aspects of ourcognitive, practical, and emotional lives.But this does not mean that logic plays no role in rationality. Probabilistic coherence should be viewed as using standard logic to constrain rational graded belief. This probabilistic constraint helps explain the appeal of the traditional deductive constraints, and even underlies the force of rationally persuasive deductive arguments. Graded belief cannot be defined in terms of preferences. But probabilistic coherence may be defended without positing definitional connections between beliefsand preferences. Like the traditional deductive constraints, coherence is a logical ideal that humans cannot fully attain. Nevertheless, it furnishes a compelling way of understanding a key dimension of epistemic rationality.