я стихійним процесом. Немає тому нічого дивного в тому, що, навчившись на практиці послідовно і доказово міркувати, людина не може відповісти, якими принципами він при цьому керується. Відчувши збій у міркуванні, він виявляється, як правило, не здатним пояснити, яка логічна помилка допущена. Це під силу тільки теорії логіки. <В
3. ТРАДИЦІЙНА І СУЧАСНА ЛОГІКА
Історія логіки охоплює близько двох з половиною тисячоліть. "Старше" формальної логіки, мабуть, тільки філософія і математика.
У довгій і багатої подіями історії розвитку логіки чітко виділяються два основних етапу. Перший - від давньогрецької логіки до виникнення у другій половині минулого століття сучасної логіки. Другий - з цього часу до наших днів. p> На першому етапі, зазвичай званому традиційною логікою , формальна логіка розвивалася дуже повільно. Питання, що обговорювалися в ній проблеми мало чим відрізнялися від проблем, поставлених ще Аристотелем. Це дало привід німецькому філософу І. Кант (1724-1804) свого часу прийти до висновку, що формальна логіка є завершеною наукою, що не просунулася з часу Аристотеля ні на один крок. Кант не помітив, що ще з XVII ст. стали назрівати передумови для наукової революції в логіці. Саме в цей час отримала ясне вираження ідея представити доказ як обчислення, подібне обчисленню в математиці. p> Ця ідея пов'язана головним чином з ім'ям німецького філософа і математика Г. Лейбніца (1646-1716). За Лейбніцу, обчислення суми або різниці чисел здійснюється на основі простих правил, які беруть до уваги тільки форму чисел, а не їх сенс. Результат обчислення однозначно зумовлюється цими, не допускають різночитання правилами, і його не можна оскаржити. Лейбніц мріяв про час, коли умовивід буде перетворено в обчислення. Коли це станеться, суперечки, звичайні між філософами, стануть так само неможливі, як неможливі вони між обчислювачами. Замість спору вони візьмуть в руки пір'я і скажуть: "Будемо обчислювати ". p> Ідеї Лейбніца не зробили, однак, помітного впливу на його сучасників. Енергійний розвиток логіки почалося пізніше, в XIX ст. p> Німецька математик і логік Г. Фреге (1848-1925) у своїх роботах став застосовувати формальну логіку для дослідження підстав математики. Фреге був переконаний, що "Арифметика є частина логіки і не повинна запозичити ні у досвіду, ні у споглядання ніякого обгрунтування ". Намагаючись звести математику до логіки, він реконструював останню. Логічна теорія Фреге - провісник всіх нинішніх теорій правильного міркування. p> Ідея відомості всій чистої математики до логіки була підхоплена англійським логіком і філософом Б. Рассел (1872-1970). Але подальший розвиток логіки показало нездійсненність цієї грандіозної за своїм задумом спроби. Вона привела, однак, до зближення математики та логіки і до широкого проникненню плідних методів першої в другу. p> У Росії в Наприкінці минулого - початку нинішнього століття, коли наукова революція в логіці набрала чиннос...
