Методи формальної логіки

Навчальні матеріали, статті та конспекти лекцій.

Методи формальної логіки

Методи формальної логіки - вчення про елементарні закони та форми правильного мислення, вивчення думки з боку її форми, структури.

Приклад.Перше судження: Продукт, що реалізується на ринку, - товар. Друга думка: Вирощені мною овочі купили на ринку. Третій висновок. Продані мною овочі – товар.

Основи формальної логіки, зокрема і форму силогізму, вперше узагальнив давньогрецький вчений Аристотель (384-322 рр. е.).

Найважливіші методи формальної логіки:

  • - Аналіз та синтез. Аналіз - поділ цілого на частини. Синтез – об'єднання окремих елементів у єдине ціле.
  • - Індукція та дедукція. Індукція - висновок від частки до загального. Дедукція - висновок від загального до приватного.
  • - Порівняння та аналогія. Порівняння - визначення подібності чи відмінності явищ та процесів. Аналогія – перенесення властивостей відомого явища на невідоме.
  • - Гіпотеза – висування, як правило, на базі парадоксів, науково обґрунтованого припущення про можливі причини чи зв'язки явищ та процесів.
  • - Доказ – обґрунтування істинності чи хибності однієї думки за допомогою інших.
  • - група методів, що отримали назву парадокси. Це своєрідна форма постановки проблеми.

Серед парадоксів виділяються:

  • - Антиномія - суперечність у законі, що полягає в тому, що два протилежні судження про один і той же предмет мають рівну силу. Приклад: Перше судження, яке міститься практично у всіх конституціях країн світу, - всі люди рівні від народження. Друге судження, також характерне більшості конституцій країн світу, - всі люди рівноправні як власники.Не дуже важко зрозуміти, що ці тези несумісні. З позицій формальної логіки антиномія нерозв'язна. Рішення тут може бути лише вольове - у вигляді правового акта або застосування сили (революція).
  • - Апорія – твердження, що суперечить практичному досвіду (наприклад, Земля обертається навколо Сонця). Її дозволяє лише наука.
  • - Софізм - хибний висновок - судження, засноване на навмисному порушенні правил логіки.

Методи формальної логіки – сильне знаряддя пізнання, систематизації відомих понять, фактів. Вони досліджують форму явища, чітко описують його статику, тобто. стан спокою чи рівноваги.