Understanding through Discussion

QuickSearch

 Welcome! You are not logged in. [ Login ] EvC Forum active members: 84 (8942 total)
 39 online now: AZPaul3, Faith, PaulK, ringo, Thugpreacha (AdminPhat), xongsmith (6 members, 33 visitors) Newest Member: LaLa dawn Post Volume: Total: 863,784 Year: 18,820/19,786 Month: 1,240/1,705 Week: 46/446 Day: 46/64 Hour: 11/13

EvC Forum Science Forums Is It Science?

# An Introduction to Logic

Author Topic:   An Introduction to Logic
PaulK
Member
Posts: 15444
Joined: 01-10-2003
Member Rating: 2.9

 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

[Edted to fix typo]
l

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
Joined: 11-11-2003

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

Thread moved here from the Proposed New Topics forum.

Omnivorous
Member (Idle past 1256 days)
Posts: 3808
Joined: 07-21-2005

 Message 3 of 3 (282636) 01-30-2006 2:37 PM Reply to: Message 1 by PaulK01-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

 Date format: mm-dd-yyyy Timezone: ET (US)
 Newer Topic | Older Topic Jump to:Board Administration     The Public Record     Announcements     Proposed New Topics     Suggestions and Questions Science Forums     The Bible: Accuracy and Inerrancy     Big Bang and Cosmology     Dates and Dating     Education and Creation/Evolution     Biological Evolution     Geology and the Great Flood     Human Origins and Evolution     Intelligent Design     Is It Science?     Creation/Evolution Miscellany     Origin of Life Social and Religious Issues     Bible Study     Comparative Religions     Social Issues and Creation/Evolution     Faith and Belief     Theological Creationism and ID Side Orders     Coffee House     The Great Debate     Free For All     Post of the Month     Links and Information     Creation/Evolution In The News     The Book Nook     Columnist     Practice Makes Perfect Archives     Topic Proposals Archive     Showcase Retired Forums     Short Subjects (No new topics or messages)     Welcome visitors