Formal logic (relevant) Flashcards
What is formal logic?
Common form/structure
What does formal logic help to do?
Better understand the notions of a valid argument
Formal validity
Validity in virtue of form rather than subject matter
Examples of formal validity
Modus ponens, modus tollens
Formal validity is in…
The virtue of the arguments form not the subject matter
What does a formal language allow us to do…
Symbolise many arguments in such a way so to show that they are valid in virtue of their form
What is used to represent atomic sentences?
Uppercase letters
Negation meaning
It is not the case that
Conjunction meaning
Both…and…
Disjunction meaning
Either…or…
Conditional meaning
If…then…
Biconditional
…if and only if…
What else is needed in formal language?
Brackets