умовиводі може відбуватися на основі інтуїтивного розсуду якийсь зв'язку - такі умовиводи називають змістовними; або шляхом логічного виведення одного висловлювання з інших - це умовиводи формально-логічного характеру. У першому випадку воно являє собою, по суті, психічний акт. У другому випадку його можна розглядати як певну логічну операцію. Остання і є предметом вивчення логіки.
Зміст умовиводи може бути більш-менш розгорнутим. Так, з того, що над землею низько літають ластівки, люди укладають часто, що завтра буде погана погода. Цей умовивід можна розгорнути, з'ясовуючи, в чому саме полягає зв'язок між ситуацією, яка фіксується в посилці, і тією, на яку вказує висновок. А саме, якщо пояснити, чому одне із спостережуваних явищ (низький політ ластівок) вказує на існування іншого (буде погана погода). У результаті аналізу отримуємо послідовність переходів від одних явищ до інших: ластівки літають низько тому, що мошкара, за якою вони полюють, літає низько над землею. А це відбувається в свою чергу тому, що в повітрі є підвищена вологість, від якої комахи намокають і опускаються до землі. Наявність же підвищеної вологості віщує дощ, а, отже, і негода. Як бачимо, при розгортанні вихідного умовиводи з'являються нові посилки. До речі, корисно звернути увагу, що в даному випадку рух думки йде в основному від наслідків явищ до їх причин. Це корисно помітити тому, що в підручниках з логікою нерідко можна знайти твердження, що в наших змістовних міркуваннях рух думки відбувається від причин до їх наслідків. Як бачимо, це не завжди так. Отже, відношення між посилками і укладанням відрізняється від ставлення причина - слідство.
. ВИДИ умовиводів
2.1 Простий категоричний силогізм: правила, фігури і модус
У силогізм входить трітерміна lt; # justify gt; · S - менший термін: суб'єкт висновку (входить також у меншу посилку);
· P - більший термін: предикат висновку (входить також у велику посилку);
· M - середній термін: входить в обидві посилки, але не входить на закінчення
Підлягають S (суб'єкт) - те, щодо чого ми висловлюємо (ділиться на два види):
Певне:
Поодинокі сужденія- в яких підмет є індивідуальним поняттям. Прим: «Ньютон відкрив закон тяжіння»;
Приватне судження - в якому підметом судження є поняття, взяте в частині свого об'єму. Прим: «Деякі S є P»;
Множественниесужденія - це ті, в яких кілька підлягають класових понять. Прим: «комахи, павуки, раки є членистоногі».
Невизначене. Прим: «світає», «боляче» тощо.
Присудок P (предикат) - те, що ми висловлюємо (3 види суджень):
Оповідальні - це судження щодо подій, станів, процесів або діяльності скороминущі. Прим: «Роза в саду цвіте».
Описові - коли одному або багатьох предметів приписується яке-небудь властивість. Суб'єктом завжди є певна річ. Приклад: «Вогонь гарячий», «сніг бел».
Відношення між підметом і присудком:
Судження тотожності - поняття суб'єкта і предиката мають один і той же об'єм. Прим: «всякий рівносторонній трикутник є рівнокутний трикутник»
Судження підпорядкування - поняття з менш широким обсягом підпорядковується поняттю з більш широким обсягом. Прим: «Собака є домашня тварина»
Судження стосунки - це саме простору, часу, відносини. Прим: «Будинок знаходиться на вулиці»
Фігурами силогізму називаються форми силогізму, що відрізняються розташуванням середнього терміна в посилках:
Кожній фігурі відповідають модуси - форми силогізму, що розрізняються кількістю і якістю посилок і висновку. Модуси вивчалися ще середньовічними школами, і для правильних модусів кожної фігури були придумані мнемонічні імена.
. 2 Умовне і разделительно - категоричне умовивід
Чисто умовним називається умовивід, обидві посилки якого є умовними судженнями.
Висновок в чисто умовному умовиводі ґрунтується на правилі: наслідок слідства є наслідок підстави.
Умовивід, в якому висновок виходить з двох умовних посилок, відноситься до простих. Однак укладення може слідувати з більшого числа посилок, які утворюють ланцюг умовних суджень. Такі умовиводи називаються складними.
Умовно-категоричним називається умовивід, у якому одна з посилок-умовні, а інша посилка і висновок - категоричні судження.
Це умовивід має два правильних модусу: затверджує іотріцающій.
У стверджуючому модусі посилка, виражена категоричним судж...
