Shared Flashcard Set

Details

Logic Final
Conceptual Definitions
31
Philosophy
Undergraduate 3
04/28/2008

Additional Philosophy Flashcards

 


 

Cards

Term
Atomic Sentence
Definition
The most basic sentences in FOL, those formed by a predicate followed by the right number (arity) of names (or complex terms, if the language contains function symbols).
Term
antecedent
Definition
the antecedent of a conditional is its first component clause. In p --> q, p is the antecedent and q is the consequent
Term
arity  
Definition

the arity of a predicate indicates the number of arguments it takes.

unary- 1 argument place

binary- 2 argument places 

Term
Boolean Connectives
Definition
The logical connectives conjunction, disjunction. and negation allow us to form complex claims from simpler claims. 
Term

well-formed formula

wff 

Definition
the gramatical expressions of FOL... defined inductively
Term
argument
Definition

two kinds

1. a sequence of statements in which one (the conclusion) is supposed to follow from or be supported by the others (premises)

2. Another use refers to the term(s) taken by a predicate in an atomic wff or the argument places (correspondent to the arity). 

Term

Valid

Validity

Valid argument 

Definition

is an argument where the conclusion follows from the premises (regardless of the truth of the premises).  If this occurs then the conclusion is a logical consequence of the premises.

Logical consequence= it is impossible  for all the premises to be true and the conclusion false

Term

Sound

Soundness

Sound Argument

 

Definition

An argument is sound only if it is valid (that is its conclusion is a logical consequence of its premises) and all the premises are true

 

ex. if it rains, the ground gets wet

it is raining right now

therefore, the ground will become wet 

Term
tautology
Definition

a sentence that is logically true in virtue of its truth-functional structure. 

 

This can be checked using truth tables since S is a tautology iff every row of the truth table for S assigns true to the maine connective.

 

ex. (A v ~A)  

Term
Tautological Equivalence  
Definition

Two sentences are tautologically equivalent if they are equivalent simply in virtue of the meanings of the truth-functional connectives.

 

This can be checked since Q and S are taut equiv iff every row of their joint truth table assigns the same value to teh main connectives of Q and S 

Term
First- Order Equivalence
Definition
exists between two sentences that are equivalent in virtue of their truth functional connectives, identity, and quantifiers.
Term
Tautological Consequence
Definition
Exists when a sentence S follows from some premises simply in virtue of the meaning of the truth-functional connectives.
Term
First-order
Definition
Term
First Order Consequence   
Definition
A sent S is a FO Consequence of some premise if S follows from the premises simply in virtue of the meanings of the truth-functional connectives, identity, and the quantifiers
Term
Syntax vs Semantics
Definition

Syntax=grammer

 

Semantics= meaning of a sentence and its truth conditions 

Term
^ intro
Definition

 

    P1

   

    Pn

 

    P1^.....^ Pn 

Term

Conjunction Elimination

(^ Elim) 

Definition
     P1...^Pi^...^Pn
     .
     .
     .
    Pi 
Term

Disjunction Introduction

( v Intro) 

Definition

    Pi
    .
    .
    .
    P1v....vPi....vPn
 
 
 
 
 
 
 
 


Term

Disjunction Elimination

(v Elim) 

Definition
    P1v...vPn           Pn
    .                      ----
    .                       .
    .                       .
          P1               .
         ----               S  
          .              
          .                S (Goal)
          .
        S
          -->
Term
Does the conclusion have a negation in it?
Definition
if yes--> use proof by contradiction ( negation introduction)
Term

Do the premises have a disjunction

Definition
if yes --- use proof by cases
Term
Does the conclusion have a conditional in it?
Definition

use a conditional proof.

 

Do this by starting a subproof assuming the antecedent and deriving the consequent.  

Term
Do you have an existential quantifier in the premises?  
Definition
if yes-- start a subproof assume a random object a has whatever characteristic is attached to the existiential quantifier and then derive some quality Q. Then you can just conclude Q from the existential elim rule.
Term
Do you have a Universal Quantifier as the conclusion?
Definition

if yes-- use the universal intro rule

 

assume random object a in a subproof conclude something about a and then you can conclude that all objects posess that something. 

Term
Truth Functional Form
Definition
the procedure in which you replace all constituent parts with letters to determine their truth function
Term
FOL Tautologies
Definition
a quantified sentence of FOL is said to be a tautology iff its truth-functional form is a tautology
Term
Modus Ponens
Definition

A --> B

A

-------

Term

Just know-->

 

Definition
Every tautology is a logical truth, but among quantified sentences there are many logical truths that are not tautologies.
Term
Recognizing FO Validity
Definition
page 271
Supporting users have an ad free experience!