ТРАДИЦИОННА И МОДЕРНА ЛОГИКА - Студиопедия
Историята на логиката обхваща около две хилядолетия и половина. „По-стари“ от формалната логика може би само философията и математиката.
В дългата и богата на събития история на развитието на логиката ясно се разграничават два основни етапа. Първият е от древногръцката логика до появата на съвременната логика през втората половина на миналия век. Второто е от днес до днес.
В първия етап, обикновено наричантрадиционна логика,формалната логика се развива много бавно. Обсъжданите в него проблеми не се различават много от проблемите, поставени от Аристотел. Това дава повод на немския философ И. Кант (1724-1804) по едно време да стигне до извода, че формалната логика е цялостна наука, която не е напреднала нито една стъпка от времето на Аристотел.
Кант не е забелязал, че от 17 век. започват да назряват предпоставките за научна революция в логиката. По това време идеята за представяне на доказателството като изчисление, подобно на това в математиката, получава ясен израз.
Тази идея се свързва главно с името на немския философ и математик Г. Лайбниц (1646-1716). Според Лайбниц изчисляването на сумата или разликата на числата се извършва въз основа на прости правила, които отчитат само формата на числата, а не тяхното значение. Резултатът от изчислението е недвусмислено предопределен от тези недвусмислени правила и не може да бъде оспорван. Лайбниц мечтаеше за време, когато умозаключението ще се трансформира в изчисление. Когато това се случи, споровете, често срещани между философите, ще станат толкова невъзможни, колкото и между калкулаторите. Вместо да се карат, те ще вземат химикалки и ще кажат: „Ще пресметнем“.
Идеите на Лайбниц обаче не оказват забележимо влияние върху неговите съвременници. Енергично развитие на логикатазапочва по-късно, през 19 век.
Германският математик и логик Г. Фреге (1848-1925) в своите трудове започва да прилага формалната логика за изучаване на основите на математиката. Фреге беше убеден, че „аритметиката е част от логиката и не трябва да заимства никакви обосновки от опит или съзерцание“. Опитвайки се да сведе математиката до логиката, той реконструира последната. Логическата теория на Фреге е предшественик на всички съвременни теории за правилните разсъждения.
Идеята за свеждане на цялата чиста математика до логиката е подета от английския логик и философ Б. Ръсел (1872-1970). Но последвалото развитие на логиката показа неосъществимостта на този грандиозен опит. Това обаче доведе до сближаването на математиката и логиката и до широкото проникване на плодотворните методи на първата във втората.
. Мечтая за непозната планета,
Където всичко върви по различен начин от тук.
Като логика на един въображаем свят, той предложи своята теория без закона на противоречието, което дълго време се смяташе за централен принцип на логиката. Василиев счита за необходимо да ограничи действието на закона за изключената среда, което също се обсъжда по-късно. В този смисъл Василиев беше един от идейните предшественици на логиката на нашето време. Идеите на Василиев през живота му бяха подложени на остра критика, в резултат на което той напусна изучаването на логиката. Отне половин век, преди неговата "въображаема логика" без законите на противоречието и изключената среда да бъде оценена. Идеи за ограничената приложимост на закона за изключеното трето и близките до него методи на математическо доказателство са разработени от математиците А. Н. Колмогоров, В. А. Гливенко, А. А. Марков и др.принципи, приложими в разсъжденията за крайни множества към областта на безкрайните множества.
По-късно хипотезата на Еренфест е въплътена в теорията на релейно-контактните системи.
Като цяло, обръщайки се назад в историята на разпространението на логиката, можем да кажем, че най-добрите български логици винаги са се стремели да стоят на нивото на съвременните им световни теории и концепции, органично избягвайки всякакъв вид логическо сектантство и сепаратизъм.
Съвременната логика често се наричаматематическа, като по този начин се подчертава оригиналността на нейните нови методи в сравнение с използваните преди това в традиционната логика.
Една от характерните черти на тези методи е широкото използване на различни символи вместо думи и изрази на обикновения език. Символите са използвани в редица случаи от Аристотел, а след това и от всички следващи логики. Сега обаче е направена качествено нова стъпка в използването на символиката. В логиката започнаха да се използват специално конструирани езици, съдържащи само специални знаци и не включващи нито една дума от обикновен говорим език.
Широкото използване на символни средства послужи като основа за това, че новата логика беше нареченасимволна.Имената "математическа логика" и "символна логика", често използвани сега, означават едно и също нещо - съвременна формална логика. Прави това, което логиката винаги е правила - изучаването на правилни начини на разсъждение.
Не намерихте това, което търсихте? Използвайте търсачката: