ю, можливість якого потрібно встановити. Одиничний об'єкт, отриманий в ході побудови і представлений на малюнку (у тексті цього параграфа), є актуалізація цього поняття. На цьому малюнку сума внутрішніх кутів трикутника зображена так, що її рівність двох прямим стає безпосередньо видимим. p> Є один дуже важливий момент, який відрізняє додаткове побудова від експозиції. Побудова трикутника у відповідності зі схемою поняття трикутника означало підведення одиничного об'єкта під загальне правило. Якщо це загальне правило (поняття трикутника) задано розумом, то підведення передбачає дію визначальною здатності судження. Але для тієї конструкції, яка була створена при додатковому побудові, у нас ще не було відповідного поняття. Те поняття, можливість якого передбачається в затвердженні теореми, не має ще під собою ніякої схеми, ніякого конкретного правила побудови. Це правило необхідно винайти, причому винайти так, щоб з нього виводилося твердження теореми. Іншими словами, додаткове побудова вимагає дії рефлектує здатності судження. Створювана конструкція (так само як і правило, за яким вона створюється) є узагальнююча здогад, є та загальна структура, в рамках якої стають ясними цікавлять нас відносини раніше побудованих об'єктів. Всі вони знаходять своє місце в об'єднуючої їх конфігурації і конструювання кожного окремого елемента стає доцільним. Отже, тільки завдяки рефлектує здатності судження можливий синтез поняття в теоремі. p> Якщо побудова є безпосереднє продовження експозиції, то доказ як би продовжує детермінацію. Воно являє собою промову з приводу проведеного побудови, описуючи одержану в ході його конструкцію. Доказ, як і детермінація, має справу зі слідом. Хінтікка стверджує, що ця частина теореми чисто аналітична, оскільки, на відміну від експозиції та побудови, не вводить ніяких нових одиничних предметів. Всі доказ можна розгорнути у вигляді ланцюжка силогізмів. p> 1. Навхрест лежать кути рівні. p> Кути 1 і 4 - навхрест лежачі. p> ____________________________________ p> кути 1 і 4 - рівні. p> 2. Навхрест лежать кути рівні. p> Кути 2 і 5 - навхрест лежачі. p> ___________________________________________ p> Кути 2 і 5 - рівні. p> 3. Суміжні кути у сумі дорівнюють двом прямим. p> Кути 1 і 3 +5 - суміжні. p> ___________________________________________ p> Кути 1 і 3 +5 - у сумі дорівнюють двом прямим
4. Якщо доданки рівні між собою, то їх суми рівні. p> Доданки в сумах 4 +5 +2 і 1 +3 +2 рівні між собою. ______________________________________________________ p> 4 +5 +2 і 1 +3 +2 рівні між собою. p> 5. Якщо дві величини порізно рівні третьої, то вони рівні між собою. p> 1 +2 +3 і p порізно рівні 4 +5 +2
___________________________________________ p> 1 +2 +3 і p дорівнюють між собою. p> Звернемо увагу на те, що меншими посилками цих силогізмів є поодинокі синтетичні судження. (Тому і висновок кожного силогізму - одиничне судження.) Цим вони (менші посилки) істотно відрізняються, на...
