Results 1  10
of
1,601
THE PHILOSOPHICAL LOGIC
, 2010
"... Abstract. The advent of quantum mechanics in the early 20th Century had profound consequences for science and mathematics, for philosophy (Schrödinger), and for logic (von Neumann). In 1968, Putnam wrote that quantum mechanics required a revolution in our understanding of logic per se. However, appl ..."
Abstract
 Add to MetaCart
, applications of quantum logics have been little explored outside the quantum domain. Dummett saw some implications of quantum logic for truth, but few philosophers applied similar intuitions to epistemology or ontology. Logic remained a truthfunctional ’science’ of correct propositional reasoning. Starting
Games in Philosophical Logic
, 1999
"... Semantic games are an important evaluation method for a wide range of logical languages, and are frequently resorted to when traditional methods do not easily apply. A case in point is a family of independencefriendly (IF) logics which allow regulation over information flow in formulas, and thus pe ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
Semantic games are an important evaluation method for a wide range of logical languages, and are frequently resorted to when traditional methods do not easily apply. A case in point is a family of independencefriendly (IF) logics which allow regulation over information flow in formulas, and thus
A2. Philosophical Logic Hyperintension, intension, extension
"... The aim of this symposium is to explore the notion of hyperintensionality. This notion is anchored to foundational research in philosophical logic. One example is formal semantics and its research into linguistic meaning, synonymy, reference, and expressive power. Another example is attitude logic a ..."
Abstract
 Add to MetaCart
The aim of this symposium is to explore the notion of hyperintensionality. This notion is anchored to foundational research in philosophical logic. One example is formal semantics and its research into linguistic meaning, synonymy, reference, and expressive power. Another example is attitude logic
HISTORICAL DEVELOPMENT OF LOGIC 1 Ancient Greek Philosophical Logic
"... Ancient Greek logic was inseparable from ancient Greek philosophy. The formal theories developed by major logicians such as Aristotle, Diodorus Cronus, and Chrysippus were in large part influenced by metaphysical and epistemological concerns. In this brief essay, I will try to give some picture of t ..."
Abstract
 Add to MetaCart
of this interrelationship. For reasons of space, I make no attempt to cover, or even to mention, every aspect of ancient Greek logic. I have preferred instead to concentrate on illustrating its philosophical aspects. 1 The Origins: Parmenides and Zeno Greek philosophical logic originates with Parmenides (c. 510–c. 440 BCE
On the Plurality of Worlds
, 1986
"... David Lewis is one of the most influential philosophers of our age, and On the Plurality of Worlds is his magnum opus. OPW1 offers an extended development and defense of the hypothesis that there are many universes, things of the same kind as the universe in which we all live, move, and have our bei ..."
Abstract

Cited by 687 (2 self)
 Add to MetaCart
David Lewis is one of the most influential philosophers of our age, and On the Plurality of Worlds is his magnum opus. OPW1 offers an extended development and defense of the hypothesis that there are many universes, things of the same kind as the universe in which we all live, move, and have our
In his contribution on partial logic to the Handbook of Philosophical Logic [1], Stephen
, 2010
"... Blamey introduces a `value gap introducing ' connective named `transplication ' (/) to the standard 3valued partial logic, the Strong Kleene logic. Where t stands for `true', f stands for `false ' and n stands for `neither true nor false', the truth table for this connectiv ..."
Abstract
 Add to MetaCart
Blamey introduces a `value gap introducing ' connective named `transplication ' (/) to the standard 3valued partial logic, the Strong Kleene logic. Where t stands for `true', f stands for `false ' and n stands for `neither true nor false', the truth table
Section A.2 Philosophical Logic DEFINITIONAL REFLECTION AND CIRCULAR REASONING
"... The theory of definitional reflection provides a novel framework for studying logical features of circular, and especially paradoxical reasoning. Definitional reflection originated from reading clauses for atoms as definitions, thereby extending ideas concerning elimination rules in natural deductio ..."
Abstract
 Add to MetaCart
The theory of definitional reflection provides a novel framework for studying logical features of circular, and especially paradoxical reasoning. Definitional reflection originated from reading clauses for atoms as definitions, thereby extending ideas concerning elimination rules in natural
Forthcoming in the Journal of Philosophical Logic. Penultimate version. Solving the color incompatibility problem
"... It is commonly held that Wittgenstein abandoned the Tractatus largely because of a problem concerning color incompatibility. My aim is to solve this problem on Wittgenstein’s behalf. First I introduce the central program of the Tractatus (§1) and the color incompatibility problem (§2). Then I solve ..."
Abstract
 Add to MetaCart
It is commonly held that Wittgenstein abandoned the Tractatus largely because of a problem concerning color incompatibility. My aim is to solve this problem on Wittgenstein’s behalf. First I introduce the central program of the Tractatus (§1) and the color incompatibility problem (§2). Then I solve the problem without abandoning any Tractarian ideas (§3), and show that given certain weak assumptions, the central program of the Tractatus can in fact be accomplished (§4). I conclude by distinguishing my system of analysis from others and by explaining the historical underpinnings of my understanding of the nature of elementary propositions (§5). 1 The central program of the Tractatus The central program of the Tractatus is to show that we can completely analyze all ordinary language propositions. To make this precise, we need to say what propositions are, how to analyze them, and when an analysis of propositions counts as complete. In (1929), Wittgenstein speaks interchangeably about analyzing propositions and analyzing “statements ” such as ‘it is eighty degrees outside ’ and ‘E has two degrees of brightness ’ (167). This suggests that for Wittgenstein, propositions include utterances
Results 1  10
of
1,601