Розділ «1.3. Історичний розвиток науки логіки. Виникнення різних типів логіки»

Піфагорійці розробили систему математичних понять (з погляду логіки - "чисті абстракції"), перетворили їх на самостійні сутності, відповідно протиставили матеріальний світ (світ речей) і світ абстрактних сутностей (математичні абстракції), відокремили категорії (в логічному аспекті найширші за обсягом поняття), розглядаючи їх як пари протилежностей.

Представники школи елеатів уперше відокремили дедукцію (дедуктивний умовивід) як логічну форму доведення.

Геракліт розглядав онтологічні підстави діалектики мислення, тобто діалектики буття, як становлення Універсуму (світу як єдиного цілого), частину котрого становить людина та її мислення.

Філософи-софісти Протагор (480-419 до н. е.), Горгій (483-375 до н. е.) та інші розглядали логічні проблеми у контексті теорії еристики та риторики, чітко розмежували мислення і мову, ім'я та поняття, визначили багатозначність природної мови, показали можливості використання мови в суперечках з метою омани (феномен софістики). Вони виокремили логіку ведення суперечки, коли її учасники висувають протилежні твердження й обстоюють їх, використовуючи аргументи, формулюють запитання та відповіді на них, визначають правильність або неправильність постановки питань (детальніше див. 7).

Сократ сформулював логічні проблеми у контексті відокремлення об'єктивного знання від суб'єктивного погляду. Істинним може бути лише об'єктивне знання, для здобуття якого необхідно розробити спеціальний метод. Можливості отримання об'єктивного знання, умови досягнення істини, розроблення методу пізнання, чітке і точне визначення етичних понять - логіко-філософські проблеми, висунуті Сократом. У міркуваннях стосовно логіко-філософських проблем Сократ у діалозі зі софістами практично використовував логічні методи: метод побудови абстракцій, метод індукції, метод дефініцій.

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

У межах розробленої системи об'єктивного ідеалізму Платон сформулював сутність законів тотожності, несуперечності як законів буття та законів мислення. Тотожність законів буття і законів мислення - один із принципів, на підставі якого ґрунтується філософська система Платона.

Арістотелівський період. Якісно новий етап у розвитку античної логіки становить арістотелівська логіка. Арістотель здійснив творчий синтез попереднього логічного знання і створив власну логічну систему - науку про закони та форми правильного мислення, способи дедуктивного виведення знання й обґрунтування суджень на істинність. У межах логічної системи Арістотеля розрізняють вчення про:

- форми мислення (поняття, судження, умовивід);

- дедуктивне виведення знання;

- доведення і спростування;

- логічні закони;

- істину;

- логічні помилки у міркуваннях.

Особливості логіки Арістотеля; 1. Логіка є окремою частиною його філософської системи знання. 2. Нерозривний зв'язок логічного вчення про правильність міркувань і вчення про істинність міркувань. 3. Теоретичне формулювання законів логіки (закон тотожності, закон несуперечності, закон виключеного третього), які мають онтологічну та логічну визначеність. 4. Вчення про поняття Арістотель розвинув у зв'язку з проблемою загального (її висунули давньогрецькі філософи) і діалектикою загального й одиничного. Він поділив поняття на одиничні (відображення чуттєво-сприймальних речей - перша субстанція), загальні (вираз загальної сутності речей - друга субстанція) і категорії (всезагальні поняття, що виражають вид сутностей). 5. Зв'язок вчення про доведення і вчення про дедуктивний умовивід, різновид якого становить категоричний силогізм, що набуває в теорії Арістотеля доказового значення. 6. У межах створеної ним теорії дедуктивного виведення знання (теорії силогістики) він увів символіку літер (штучні символи) для позначення термінів, суджень (засновків і висновку) при побудові категоричного силогізму, тобто вперше використав елементи методу формалізації як особливого логічного методу. 7. Логіка Арістотеля - глибока за змістом система логічного знання. Вона вміщує явно або неявно ідеї, поняття, принципи різних типів логік: формальної та неформальної, дедуктивної й індуктивної, модальної, багатозначної тощо, які розвинулись в окремі логічні системи логіки наступних історичних періодів. 8. Логіка Арістотеля - дійсний "органон" мислення (мисленнєвої діяльності) людини, що набула евристичного значення у розвитку науки та філософії.

Післяарістотелівський період У розвитку античної логіки простежується в епоху елліністично-римської філософії в IV- V cт., коли в Давній Греції виникли нові філософські школи, зокрема, епікуреїзм, стоїцизм, скептицизм, еклектизм, неоплатонізм. Значний внесок у розвиток античної логіки зробили філософи, котрі належали до логічної школи стоїків (Зенон із Кітіона (336-264 рр. до н. е.), Хрісипп із Сол (281-208 рр. до н. е.) та ін.

Стоїки ввели у філософію сам термін "логіка" для позначення окремої філософської науки, складової частини філософського знання, поруч із фізикою й етикою. Стоїки визначали роль логіки в системі філософського пізнання світу як загальної пропедевтики. На її підставі фізика відкриває й обґрунтовує закони Всесвіту (світопобудові), а етика формулює кінцеву мету людини як розумної істоти та способи її досягнення. З погляду стоїків логіка повинна формулювати загальні принципи пізнання світу та розробляти критерії істинності або хибності висловлювань, що виражають знання про світ.

У галузі логіки творчим досягненням стоїків є подальший розвиток: про позиційної логіки (логіки висловлювань), зокрема побудова логіки складних висловлювань, розроблення прийомів аргументації в суперечці, відокремлення різновидів непрямого доведення та гіпотетичного силогізму, вчення про поняття як форми мислення.

Середньовічна логіка - історичний етап розвитку традиційної (загальної або арістотелівської) логіки, що виник у Західній Європі періоду Середньовіччя; логіко-філософський напрям досліджень середньовічних філософів, пов'язаний із новими логіко-семантичними та семіотичними проблемами, а також подальший розвиток формального апарату традиційної логіки.

Середньовічна логіка в історії філософії отримала назву "схоластична логіка" (грец. - школа, вчена бесіда; лат. - учений, шкільний). Вагомий внесок у розвиток традиційної логіки зробили середньовічні філософи С. Боецій (480-524 рр.), Т. Аквінський (1225-1274 рр.), П. Абеляр (1079-1142 рр.), П. Іспанський (між 1210 і 1220-1277 рр.), Д. Скотт (1265-1308 рр.), Р. Луллій (1235-1315 рр.), В. Оккам (бл. 1285-1349 рр.) та ін.