2022-04-23 13:26:53 +01:00
|
|
|
---
|
2024-06-16 18:00:05 +01:00
|
|
|
tags:
|
|
|
|
|
- propositional-logic
|
|
|
|
|
- logic
|
2022-04-23 13:26:53 +01:00
|
|
|
---
|
|
|
|
|
|
2024-02-02 15:58:13 +00:00
|
|
|
In order to make assertions about the relative
|
2025-12-28 16:38:55 +00:00
|
|
|
[consistency](Logical_consistency.md) or inconsistency of a set of propositions
|
|
|
|
|
we advance arguments. Consider everyday life: if we are having an argument with
|
|
|
|
|
someone, we believe that they are wrong. A more logical way to say this is that
|
|
|
|
|
we believe that their beliefs are inconsistent. In order to change their
|
|
|
|
|
viewpoint or point out why they are wrong we advance an argument intended to
|
|
|
|
|
show that belief A conflicts with belief B. Or if C is true, then you cannot
|
|
|
|
|
believe that D.
|
2022-04-23 13:26:53 +01:00
|
|
|
|
2024-02-02 15:58:13 +00:00
|
|
|
In formal terms **an argument is a set of propositions comprising one or more
|
|
|
|
|
premises and a conclusion. The conclusion is taken to be supported by the
|
|
|
|
|
premises.**
|
2022-04-23 13:26:53 +01:00
|
|
|
|
2024-02-02 15:58:13 +00:00
|
|
|
> The terms **argument** and **syllogism** are used interchangeably in logic to
|
|
|
|
|
> describe the above feature of a set of propositions.
|
2022-04-23 13:26:53 +01:00
|
|
|
|
|
|
|
|
### Demonstration
|
|
|
|
|
|
2022-09-06 13:26:44 +01:00
|
|
|
```
|
2022-04-23 13:26:53 +01:00
|
|
|
(P1) All men are mortal.
|
|
|
|
|
(P2) Socrates is a man.
|
|
|
|
|
_____________________
|
|
|
|
|
(C) Socrates is mortal
|
2022-09-06 13:26:44 +01:00
|
|
|
```
|
