Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
2Activity
0 of .
Results for:
No results containing your search query
P. 1
The Logic of Symbolic Logic

The Logic of Symbolic Logic

Ratings: (0)|Views: 344|Likes:
Published by Anthony Fejfar
This article describes the logical basis for Symbolic Logic.
This article describes the logical basis for Symbolic Logic.

More info:

Published by: Anthony Fejfar on Sep 17, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

11/13/2010

pdf

text

original

 
The Logic of Symbolic LogicByAnthony J. Fejfar, B.A., J.D., Esq., Coif ©Copyright 2010 by Anthony J. Fejfar The starting, Foundational Principle for Symbolic Logic is the Concrete LogicalPrinciple of Non-Contradiction. It is Self-Evident, and confirmed by sense experience,that you cannot have (A)pple and not (A)pple at the same time. Thus, put moreabstractly, you cannot have A and –A at the same time. This leads to the CorollaryPrinciple that an idea cannot be both True and False at the same time. An idea is either True or False. This provides the basic test for all further logical syllogisms of SymbolicLogic. The test for validity of a syllogism is whether or not it involves a logicalcontradiction, if it does not, then it is logically valid, or True. Put another way, it can be proven that there are logical syllogisms which are reasonably valid, and which providethe basis for reasonable rules.We can start by considering the logical syllogism: If A, then B, A, therefore,B. This is the causal syllogism. Putting this in a testing format, we start with thefollowing: Assume that if A, then, B, A, therefore, B. Then, we logically analyze theforegoing to see if this syllogism results in a logical contradiction.1.Assume that if A, then, B, A, therefore, B.2.Assume that A is not B, and, that B is not A.3.Assume A.4.From A, derive B.5.A is not B.

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->