What is Symbolic Logic

Text-only Preview

What is Symbolic Logic
What is Symbolic Logic
Abstract: Conventions for translating ordinary language statements into symbolic notation are
We are going to set up an artificial "language" to avoid the difficulties of vagueness,
equivocation, amphiboly, and confusion from emotive significance.
The first thing we are going to do is to learn the elements of this "new language."
The second is to learn to translate ordinary language grammar into symbolic notation.
The third thing is to consider arguments in this "new language."
Symbolic logic is by far the simplest kind of logic--it is a great time-saver in argumentation.
Additional y, it helps prevent logical confusion when dealing with complex arguments..
The modern development of symbolic logic begin with George Boole in the 19th century.
Symbolic logic can be thought of as a simple and flexible shorthand:
Consider the symbols:
Know More About :- Place Value Calculator


[(p q) (q r)] (p r).
This rule was wel known to the Stoics, but they expressed it this way:
"If, if the first then the second and if the second then the third, then, if the first then the third."
We will find that all of the essential manipulations in symbolic logic are about as complex and
working with numbers made up on ones and zeros.
We begin with the simplest part of propositional logic: combining simple propositions into
compound propositions and determining the truth value of the resulting compounds.
Propositions can be thought of as the "atoms" of propositional logic.
Simple propositions are statements which cannot be broken down without a loss in meaning.
E.g., "John and Charles are brothers" cannot be broken down without a change in the
meaning of the statement. Note the change in meaning from "John and Charles are brothers"
to the mistranslation "John is a brother" and "Charles is a brother."
On the other hand, "John and Charles work diligently" can be broken down without a change
in meaning:
"John works diligently." "Charles works diligently." (It is assumed contextual y that the
meaning of the original statement is not that John and Charles work diligently together.)
Conventional y, capital letters (usual y towards the beginning of the alphabet) may be used as
abbreviations for propositions.
E.g., "John and Charles are brothers" can be symbolized as B. and "John and Charles work
diligently" can be symbolized as the two statements: J and C.
Learn More :- Fractions to decimals converter


The logical operator "and," as we will see, wil be symbolized in these notes as " " although
other symbols are often used elsewhere.
In addition to propositions, propositional logic uses operators on propositions.
Propositions can be thought of like the sticks of a tinker-toy set.
Operators are like the connecting blocks. Typical operators include "and," "or," and "implies."
By adding more and more operators, we get more complex structures.
For evaluation of statements, there is only one condition to be learned:
"In order to know the truth value of the proposition which results from applying an operator to
propositions, al that need be known is the definition of the operator and the truth value of the
propositions used."

Tu o
t rc
r i
c rc
r l
c e
l .
e c
. o
c m
P ge
e No
N ..::2/
3 3


Document Outline

  • ﾿