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