Formal language (relevant) Flashcards
What does the development of formal language allow?
Symbolisation of arguments that show them to be valid in the virtue of their form
What is the language
Truth-functional logic
What is symbolisation?
Replacing component sentences with letters and connectives with symbols
What does symbolisation show?
Clearly why arguments are valid
What are uppercase letters used to represent?
Sentences
¬
negation
conjunction
v
disjunction
→
Conditional
↔
Biconditional
Negation
‘It is not the case that…’
Conjunction
‘Both…and…’
Disjunction
‘Either…or…’
Conditional
‘If…then…’
Biconditional
‘…if and only if…’
Why are brackets needed?
To make more complicated symbolisation easier ti understand
By replacing component sentences with uppercase letters/sentence connectives with symbols…
We can clearly show why arguments are valid in their form