Formal language (relevant) Flashcards Preview

Reasoning, Argument and Logic > Formal language (relevant) > Flashcards

Flashcards in Formal language (relevant) Deck (17)
Loading flashcards...
1
Q

What does the development of formal language allow?

A

Symbolisation of arguments that show them to be valid in the virtue of their form

2
Q

What is the language

A

Truth-functional logic

3
Q

What is symbolisation?

A

Replacing component sentences with letters and connectives with symbols

4
Q

What does symbolisation show?

A

Clearly why arguments are valid

5
Q

What are uppercase letters used to represent?

A

Sentences

6
Q

¬

A

negation

7
Q
A

conjunction

8
Q

v

A

disjunction

9
Q

A

Conditional

10
Q

A

Biconditional

11
Q

Negation

A

‘It is not the case that…’

12
Q

Conjunction

A

‘Both…and…’

13
Q

Disjunction

A

‘Either…or…’

14
Q

Conditional

A

‘If…then…’

15
Q

Biconditional

A

‘…if and only if…’

16
Q

Why are brackets needed?

A

To make more complicated symbolisation easier ti understand

17
Q

By replacing component sentences with uppercase letters/sentence connectives with symbols…

A

We can clearly show why arguments are valid in their form