небудь істинним В».
У ході вирішення цього завдання він узагальнив накопичений до того часу досвід пізнавальної та розумової діяльності людей, відкрив основні закони мислення і сформулював проблеми, які стали предметом дослідження логічної науки.
Створену науку Арістотель не називав логікою. Термін В«логікаВ» вперше ввели стоїки, а термін В«формальна логікаВ» - І. Кант. Згодом учні Аристотеля назвали логічні трактати свого вчителя В«ОрганонВ», що означає В«знаряддя пізнанняВ». Як стверджував грецький філософ, нові справжні думки можна отримати з інших істинних думок у тому випадку, якщо вони пов'язані з правилам логіки.
Логіка Аристотеля носить двоїстий характер: вона поклала початок формальному підходу до аналізу знання, але одночасно грецький філософ прагнув визначити шляхи досягнення нового знання, що збігається з об'єктом. Він намагався вивести свою логіку за рамки тільки формальної, поставив питання про змістовну логіки, про діалектику. Тим самим логіка та гносеологія Аристотеля тісно пов'язані з вченням про буття, з концепцією істини, так як в логічних формах і принципах пізнання він бачив форми і закони буття.
Отже, логіка є наука про закони і форми правильного мислення. Вона покликана вивчати історично сформовану, перевірену практикою логічну форму, в якій виражено істинне знання. Елементарна логіка не досліджує всіх умов досягнення істини, але незмінно припускає цю істинність, бо помилкове зміст думки, як правило, порушує логічну форму, і навпаки, порушення логічної форми веде до помилкового висновку.
Разом з тим аналіз однієї лише формальної правильності мислення свідчить про обмеженості завдань формальної логіки. Тут зазвичай відзначають два моменти. p> 1. Завдання формальної логіки - встановити правила забезпечення стрункості і послідовності істинного мислення, але не досліджувати реальні умови самої істинності. Чи не охоплюючи всіх сторін пізнавального процесу, формальна логіка не являє собою загального методу пізнання. Її закони залишаються специфічними законами мислення і не поширюються на навколишню дійсність.
2. Другим показником обмеженості предмета формальної логіки є аналіз форми і законів мислення поза їх виникнення та розвитку. Логіка бере вже сформовану форму, розглядаючи її як щось усталене, без всякої власної історії. Тим часом наука про мислення, як і всяка інша, немислима поза історією (наука про історичне розвитку людського мислення). Однак складний процес формування та вдосконалення внутрішньої структури думки лежить за межами предмета елементарної логіки, вона розглядає форму мислення поза зв'язку з історичним розвитком пізнання. Правда, подібно граматичному строю мови, логічна форма змінюється дуже повільно, зберігаючи стійкість протягом ряду епох.
Сучасним етапом у вивченні формально-логічного виведення є математична логіка. Вона вивчає процес виведення за допомогою логічних числень, тобто формалізованих мов і апарату симв...
