Formal Logic and Dialectical Logic, Second Partial
Formal Logic and Dialectical Logic, Second Partial
THE TRIAL
Definition:
Mental representation that affirms or denies whether a property belongs to the object or not.
Proposition:
It is a relationship between terms, a term called subject is linked (affirmative or...
negatively) to a term called subject.
Categorical propositions:
Such assertions about classes that affirm or deny that one class is included in another are
total or partially.
Distribution:
A term is distributed if it refers to all the elements of the class designated by that.
term. The term is distributed if it refers only to a part of the elements of the
class.
E No S is P Universal Negative Sd Ct Pd
Note:
Universal propositions (type A and E) distribute the subject and particular propositions.
(Type I and O) distribute the subject.
Affirmative propositions (types A and I) do not distribute the predicate and the propositions.
Negatives (type E and O) distribute the predicate.
Atypical Propositions:
They are incorrect propositions, as they do not possess a structure or logical form that contains.
the elements established by formal logic. Generally, these propositions make
the quantifier is missing (all, some, or none) or they do not have the correct copula (verb TO BE in
any of its times.
Examples:
Guatemala has high rates of violence and poverty.
Political parties are not transparent about electoral financing.
Most of the population in the country cannot read or write.
Almost all workers do not have a decent salary.
THE REASONING
Definition:
It is a set of statements or judgments related in such a way that it supposes that one of
The conclusion is obtained or inferred from the other called premises.
Form of reasoning:
All Guatemalans are Central Americans
Every Cobanero is Guatemalan
Deductive reasoning:
It is all reasoning in which it is required that the conclusion follows or necessarily derives from
the premises; assuming the truth of the premises, the conclusion must necessarily be true
by virtue of the form of reasoning.
Example:
All renewable resources are natural resources.
Every tree is a renewable resource
Every tree is a natural resource
Inductive reasoning:
It is the one in which, from a certain number of particular cases, it moves to the corresponding
generalization, extending the properties that are predicated in the premises with respect to certain
objects of a class, to all the objects belonging to that same class.
Example:
Paris is luxurious
Rome is luxurious
Prague is luxurious
All European capitals are luxurious.
Example:
Animals reproduce
Plants reproduce
Men reproduce
All living beings reproduce
Example:
It was hot on Monday.
Tuesday also
Wednesday as well
It was hot all week
Its structure is correct only when it ensures that it will never be possible to build a
reasoning such that true premises lead to a false conclusion.
Example:
Every man is faithful Every man is free
Every faithful one is mortal Some just man is a man
Every mortal is a man Some righteous person is free
Example:
Some artist is an athlete.
No scientist is an artist.
Therefore, some athlete is not a scientist.
Figure:
This designates the position that the middle term occupies in the premises. There are 4 figures.
Mode:
It is determined by the type of categorical propositions that make up the syllogism, that is,
any of the four types: A, E, I, O.
Example of syllogism
Some insect is poisonous. MP
No insect is a man MS
No man is poisonous SP
Example:
All furniture is made of wood
Some chair is made of wood
Some table is furniture
Example:
All mammals are vertebrates.
Every dog is a mammal
Every mammalian dog is vertebrate
The mean term must be distributed or taken in its entirety at least once.
Example:
Every animal is a living being. All Pd CtMi
Some living being is mortal SomeMyCp Yes
Some mortal is an animal Some If Cp Pi
Example:
Some artists are scientists Some My Cp Pi
Some artists are men Some My CpSi
All men are scientists TodoSdCt Pi
Example:
Some natural phenomenon is not real MODE: OEI
No storm is a natural phenomenon.
Some storm is real
Example:
Some athletes are baseball players MODE: IIA
Some athletes are men
8. The conclusion follows the weakest part: the negative is weak compared to the affirmative, the particular.
is weak in relation to the universal.
Example:
Every producer is wealthy MODE: AIA
Some landowner is a producer
Every landowner is wealthy.