Search
Search Results
-
Questions in Predicate Logic
In this chapter, we move on from propositional logic to the richer setting of predicate logic. We describe how classical first-order logic can be... -
Formal Predicate Logic (also called First-Order Logic) ∏
The fifth chapter constructs formal systems for the analysis of First-Order or Predicate Logic (also called, in the past, Quantification Theory.) The... -
Proof-Theoretical System for Predicate Logic: ∏πφ=
The eighth chapter explores proof-theoretical systems for predicate logic (natural deduction proof systems), detailing and justifying the elaborate... -
Predicate Logic
In this chapter, we will deliberate over predicate logic. We will explain universal quantifier and existential quantifier. We will discuss the method... -
Muslim Philosophers on Affirmative Judgement with Negative Predicate
According to Aristotelian logic, in categorical logic, there are three kinds of judgements ( qaḍīyya ): affirmative, negative, and metathetic ( ma‘dūla )....
-
A Simple Logic of Concepts
In Pietroski (
2018 ) a simple representation language called SMPL is introduced, construed as a hypothesis about core conceptual structure. The... -
On the pure logic of justified belief
Justified belief is a core concept in epistemology and there has been an increasing interest in its logic over the last years. While many logical...
-
Predicate Abstraction, Formally
Predicate abstracts help sort out complications brought by non-rigid terms. In this chapter we present the formal machinery for predicate abstracts,... -
Definite descriptions and hybrid tense logic
We provide a version of first-order hybrid tense logic with predicate abstracts and definite descriptions as the only non-rigid terms. It is...
-
Equality and Predicate Abstraction
We discussed equality at length in Chap. 11 , but this was before we introduced the machinery of... -
Predicate Abstraction, Informally
Over the course of history, modal logic has earned a reputation for being difficult and confusing. To be sure, modal logic is more complex than... -
Saving logic from paradox via nonclassical recapture
The Liar paradox arguably shows that a coherent and self-applicable notion of truth is governed by nonclassical logic. It then seems natural to...
-
What Kinds of Connectives Cause the Difference Between Intuitionistic Predicate Logic and the Logic of Constant Domains?
It is known that intuitionistic Kripke semantics can be generalized so that it can treat arbitrary propositional connectives characterized by truth... -
On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs
We present algebraic semantics for the classical logic of proofs based on Boolean algebras. We also extend the language of the logic of proofs in...
-
Supervaluationism, Modal Logic, and Weakly Classical Logic
A consequence relation is strongly classical if it has all the theorems and entailments of classical logic as well as the usual meta-rules (such as...
-
Fichte’s formal logic
Fichte’s Foundations of the Entire Wissenschaftslehre 1794 is one of the most fundamental books in classical German philosophy. The use of laws of...
-
Specification of time in Tichý’s transparent intensional logic and Prior’s temporal logic
In his paper ‘The logic of temporal discourse’, Pavel Tichý pointed out that contemporary systems of logic were unable to sufficiently formalise...
-
Knowing the Value of a Predicate
In 1989, Plaza introduced the “knowing value” operator \(\textsf{Kv}_id\)... -
Reflective equilibrium in logic
Among the areas of knowledge that the method of reflective equilibrium (RE) has been applied to is that of logical validity. According to RE in...
-
The Elimination of Maximum Cuts in Linear Logic and BCK Logic
In the sequent systems for exponential-free linear logic and BCK logic a procedure of elimination of maximum cuts, cuts which correspond to maximum...