Understanding through Discussion

Welcome! You are not logged in. [ Login ]
EvC Forum active members: 78 (8905 total)
Current session began: 
Page Loaded: 04-20-2019 6:08 PM
26 online now:
Faith, JonF, PaulK, Tangle, Tanypteryx, xongsmith (6 members, 20 visitors)
Chatting now:  Chat room empty
Newest Member: WookieeB
Post Volume:
Total: 849,919 Year: 4,956/19,786 Month: 1,078/873 Week: 434/376 Day: 65/46 Hour: 3/10

Thread  Details

Email This Thread
Newer Topic | Older Topic
Author Topic:   An Introduction to Logic
Posts: 14807
Joined: 01-10-2003
Member Rating: 3.1

Message 1 of 3 (282620)
01-30-2006 2:13 PM

For the purposes of this post I will be dealing mainly with one of the simpler and most commonly used forms of logic, Predicate Logic.

First some terms:

Valid. A logical argument is valid if the conclusion follows from the premises. That is, th e structure of the argument is such that if the premises are true the conclusion must be true. Any valid logical argument is tautologous.

Sound A logical argument is sound if it is valid and the premises are true.

Logic, then, is a formal met hod of drawing out the necessary implications of the premises. And for that it requires that all the premises are stated clearly and precisely. Any equivocation on the meaning of the premises invalidates the argument. Leaving premises unstated invalida tes the argument.

We must also be careful of conflating logic in the strict sense with rational argument. Induction is a rational argument but it falls short of the standards of logic. Appealing to a genuinely knowledgable authority is a rational argu ment but it is not logcal in the strict sense.

The basics of Predicate Logic are as follows.

Predicate logic can be described as an algebra of truth. As with algebra the operations of Predicate Logic can be worked out using symbols, substituting in the premises of a particular argument as required.

Predicate logic has the following operations

1) Conjunction or "AND". The conjunction of two statements is TRUE if and only if both statements are TRUE.

2) Disjunction or "OR". The disjunction of two st atements is TRUE if and only if either or both are TRUE.

3) Negation or "NOT". The negation of a statement is TRUE if and only iff the statement is FALSE.

4) Implicationor "IF...THEN". "A implies B" is FALSE only if A is TRUE and B is FALSE. This lea ds to the intuitively odd result that a falsehood implies anything.

Predicate logic also includes quantification - we can say "For all" or "For some".

Predicate Logic has 3 axioms, sometimes called the "laws of logic".

1) Identity - a statement has the same truth value as itself

2) The excluded middle. For any statement A "A OR (NOT A)" is TRUE.

3) Non-Contradiction For any statement A "A AND (NOT A)" is FALSE

[Note to Admins. I'm not sure where this should go. Please use your best judgement]

[Edted to fix typo]

This message has been edited by PaulK, 01-30-2006 02:43 PM

Replies to this message:
 Message 3 by Omnivorous, posted 01-30-2006 2:37 PM PaulK has not yet responded

Posts: 4754
From: Vancouver, BC, Canada
Joined: 11-11-2003

Message 2 of 3 (282634)
01-30-2006 2:23 PM

Thread moved here from the Proposed New Topics forum.
Member (Idle past 1073 days)
Posts: 3808
From: Adirondackia
Joined: 07-21-2005

Message 3 of 3 (282636)
01-30-2006 2:37 PM
Reply to: Message 1 by PaulK
01-30-2006 2:13 PM

Great idea, Paul, but fix this typo...
...because it could confuse the unwary:

Sound A logical argument is sound if it is valid and then premises are true.

I'm sure that should be "the" premises are true.

{Fixed quote box. - AM}

This message has been edited by Adminnemooseus, 01-30-2006 02:42 PM

This message is a reply to:
 Message 1 by PaulK, posted 01-30-2006 2:13 PM PaulK has not yet responded

Newer Topic | Older Topic
Jump to:

Copyright 2001-2018 by EvC Forum, All Rights Reserved

™ Version 4.0 Beta
Innovative software from Qwixotic © 2019