12.4: Огляд основних моментів
- Page ID
- 53172
Цей розділ присвячений логічним формам аргументів у класовій логіці Аристотеля. Для дедуктивних аргументів, що стосуються класових відносин, діаграмування Венна-Ейлера є корисним методом зображення для оцінки валідності або недійсності. Метод застосовується до аргументу шляхом спроби виявити картину зустрічного прикладу до аргументу. Якщо такий знайдений, аргумент дедуктивно недійсний. Але якщо жодного не існує, то аргумент є дійсним.
Це не було згадано вище, але існує невелика різниця між діаграмами Венна та Ейлера; Діаграми Венна перетинаються кіл завжди створюють області, що зображують всі можливі відносини між усіма колами (саме тому кожне коло повинно перетинати кожне інше коло), тому вони менш інтуїтивно зрозумілі. Діаграми Ейлера більш вільні та інтуїтивно зрозумілі, частково тому, що не кожна можливість повинна бути зображена.