MODERNLOGIC
ALEJANDRO CRUZ
MODERN LOGIC
Has a strong relationship with mathematics and symbolic language
It uses a symbolic language
It has rules that help us translate a natural language to a symbolic language
It has some variants: propositional, quantificational and class logic
PROPOSITIONAL LOGIC
Analyzes formally valid reasonings based on their propositions
Uses symbolic notation , such as quantifiers and variables that today support mathematical logic
Gottlob Frege "every good mathematician is at least half a philosopher, and every good philosopher is at least half a mathematician
The simple propositions (atomic) are replaced by letters
More complex propositions (molecular) are formed joining the simple propositions using logical connectives (and, o, no, if and only if, if......then).
Quantificational logic
This logic focuses on the relationships between a quantity and the propositions
It uses expressions like all and some called quantifiers.
It is used to check the validity of arguments (demonstration)
It includes mathematical operations whose base of reasoning is deductive
examples axioms
CLASS LOGIC
This logic focuses on indicating the belonging or not belonging of an element within a set
Used in the formulation of scientific models under the mathematical theory of sets
The class is the set of possible individuals that have a common property
Classes are not propositions, so these sets cannot be true or false
¡GRACIAS!
MODERN LOGIC
ALEJANDRO E CRUZ VAR
Created on October 13, 2020
Paths of knowledge, modern logic pgs 76 to 79 By Mr. Alejandro Cruz
Start designing with a free template
Discover more than 1500 professional designs like these:
View
Newspaper Presentation
View
Audio tutorial
View
Pechakucha Presentation
View
Desktop Workspace
View
Decades Presentation
View
Psychology Presentation
View
Medical Dna Presentation
Explore all templates
Transcript
MODERNLOGIC
ALEJANDRO CRUZ
MODERN LOGIC
Has a strong relationship with mathematics and symbolic language
It uses a symbolic language
It has rules that help us translate a natural language to a symbolic language
It has some variants: propositional, quantificational and class logic
PROPOSITIONAL LOGIC
Analyzes formally valid reasonings based on their propositions
Uses symbolic notation , such as quantifiers and variables that today support mathematical logic
Gottlob Frege "every good mathematician is at least half a philosopher, and every good philosopher is at least half a mathematician
The simple propositions (atomic) are replaced by letters
More complex propositions (molecular) are formed joining the simple propositions using logical connectives (and, o, no, if and only if, if......then).
Quantificational logic
This logic focuses on the relationships between a quantity and the propositions
It uses expressions like all and some called quantifiers.
It is used to check the validity of arguments (demonstration)
It includes mathematical operations whose base of reasoning is deductive
examples axioms
CLASS LOGIC
This logic focuses on indicating the belonging or not belonging of an element within a set
Used in the formulation of scientific models under the mathematical theory of sets
The class is the set of possible individuals that have a common property
Classes are not propositions, so these sets cannot be true or false
¡GRACIAS!