§ 2. ФОРМАЛНАТА ЛОГИКА КАТО НАУКА
§ 2. ФОРМАЛНАТА ЛОГИКА КАТО НАУКА
За да дадем дефиниция на логическата форма на мисълта и да посочим начините за идентифициране на логическите форми на различни мисли, ние отделяме сред изразите на естествен език термините, наречени логически. Те включват съюзи „и“, „или“, „ако“. Че. ”, отрицание „не е вярно, че” („не”), думи, характеризиращи броя на обектите, за които нещо се потвърждава или отрича: „всички” („никой”), „някои”, връзката „същност” („е”) и т.н. Процесът на идентифициране на логическата форма на мисълта се състои в абстрахиране от значението на нелогически термини, включени във фразата, изразяваща тази мисъл. Това може да стане по различни начини. Например, пропуснете нелогични термини във фраза и ги заменете с многоточие, прекъснати линии и други линии. В резултат на замяната на нелогични термини с многоточие и пунктирана линия от изречението „Всички юристи са юристи“, получаваме израза „Всички. същност - - - ".
Друг начин да се абстрахирате от значението на нелогически термини е да замените тези термини със специални символи (променливи). В този случай вместо различни срещания на един и същ нелогичен термин се поставя една и съща променлива, а вместо различни термини - различни променливи. Освен това се използват символи от различни видове вместо термини от различни типове.
Нека разкрием логическите форми на следните разсъждения:
(1) Всички студенти първа година от Юридическия колеж на Московския държавен университет. М. В. Ломоносов изучава логика.
Някои студенти първа година от Юридическия колеж на Московския държавен университет. М. В. Ломоносов ще специализира гражданско право.
Следователно някои студенти, които ще специализират гражданско право, изучават логика.
(2) Следователят е юрист. Следователно, образованият следовател е образован юрист.
Заменяйки нелогичните термини със символи, получаваме:
(1) Всички M са P. Някои M са S. Следователно някои S са P.
(2) S е P. Следователно sq е pq.
Тези изрази представляват логическите форми на оригиналните мисли.
По този начин логическата форма на мисълта е нейната структура, разкрита в резултат на абстракция от значенията и значенията на нелогически термини.
Логическата форма е смислена, информативна. Така изразът, получен в резултат на абстрахиране от значенията и значенията на нелогическите термини на първото разсъждение, носи следната информация: „Ако всички обекти от клас M са включени в клас P и някои обекти от клас M са включени в клас S, тогава някои обекти от клас S са включени в клас P.“
Мислите могат да бъдат разделени на класове в зависимост от вида на техните логически форми. Основните от тези класове ще бъдат мисълта, наречена понятия, преценки и изводи.
Понятието е мисъл, в която обектите се обобщават и отделят въз основа на система от атрибути, която е обща само за тези разграничени обекти. Пример за понятие: действие или бездействие, квалифицирано от закона като престъпление (концепцията за престъпление).
Съжденията са мисли, които потвърждават наличието или отсъствието на каквото и да е състояние на нещата. Примери: „Човекът получи от Бога две благословени способности – да говори истината и да прави добро”; "Най-добрият начин да научите нещо е да го откриете сами."
Изводът е процес на получаване на знание, изразено в преценка, от друго знание, също изразено в преценка. Горните аргументи (1), (2) могат да служат като примери за изводи.
Връзките между мислите според формите, при които истината на една от тези мисли определя истината на други, се наричат формално.логически закони, или логически закони.
Връзката между мислите в разсъжденията (1) е логически закон. За да се установи дали връзката между някои първоначални твърдения и изявлението, получено в резултат на разсъждение, е логически закон, е необходимо да се заменят произволни термини от същия тип в тези твърдения вместо нелогически термини и по този начин да се установи всеки път дали полученото твърдение се оказва вярно, когато оригиналните твърдения са верни. Ако винаги се намира такава зависимост на истинността на твърденията, тогава връзката между тях е логически закон. Ако има контрапример, тогава няма редовна връзка и разсъждението не е правилно. И така, горното разсъждение „Следователят е адвокат. Следователно, образованият следовател е образован юрист” е неправилно. Контрапример за това е очевидно неправилно разсъждение:
Мухата е животно. Следователно голямата муха е голямо животно.
В съвременната логика са разработени по-прости и по-продуктивни методи за идентифициране на регулярна връзка между мислите. Тези методи са описани в главата "Извод".
Имайки понятията логическа форма и логически закон, човек може да дефинира формалната логика.
Формалната логика е наука за формите на мисленето, за формалните логически закони и други връзки и отношения между мислите според техните логически форми.
Изследвайки необходимите връзки между мислите според логически форми - логически закони, логиката формулира твърдения за истинността на всички твърдения на определена логическа форма. Тези твърдения също се наричат закони, но за разлика от логическите закони (връзки, които съществуват независимо дали знаем за тях или не) - законите (науката) на логиката. Например чрез настройкаче когато мислите на формите „Всички M са P“ и „Всички M са S“ са верни, мисълта на формата „Някои S са P“ е вярна, може да се каже законът на логиката: „За всяко S, P и M е вярно, че ако всички M са P и всички M са S, тогава някои S са P.“ Законите на логиката, веднъж формулирани, действат като норми, според които трябва да се извършва разсъждението. В логиката се развиват и изисквания от различен вид, които се препоръчва да се изпълняват в процеса на познание. Следователно формалната логика е нормативна наука за формите, законите и методите на интелектуалната познавателна дейност.
Мисленето, извършвано в съответствие с изискванията на логиката, се нарича правилно. Формалната логика, като наука за правилното мислене, също изследва и систематизира типичните грешки, допуснати в процеса на мислене, т.е. типично безсмислие.
От дълго време се правят опити за разработване на диалектическа логика. Средствата на тази логика трябва да се прилагат в случаите, когато е невъзможно да се отвлече вниманието от развитието на знанието. В рамките на диалектическата логика са разработени редица методологически принципи (конкретност, обективност на разглеждането и др.) И методи на познание (възход от абстрактното към конкретното и др.).
Предполага се, че в процеса на познание методите на формалната логика трябва да се допълват от методите на диалектическата логика и обратно.
Упражнение
Използвайки описания по-горе метод, установете дали формално-логическите закони на връзката по форма между първоначалните преценки и произтичащите от тях в следните разсъждения (т.е. правилни ли са тези разсъждения):
1. Всички престъпници подлежат на наказателно наказание. Някои жители на Москва са обект на наказателно наказание. Следователно някои жители на Москва -престъпници.
2. Всички студенти от нашата група са юристи. Всички ученици от нашата група са членове на кръжока по логика. Следователно всички членове на кръга на логиката са юристи.
3. Някои от участниците в това престъпление са идентифицирани от жертвите. Никой от членовете на семейство Петрови не е разпознат от жертвите. Никое от лицата, които не са участвали в извършването на това престъпление, не е привлечено към наказателна отговорност за извършването му. Следователно никой от членовете на семейство Петрови не е съден за това престъпление.
4. „Ако Сократ е умрял, значи е умрял или докато е бил жив, или когато е умрял. Ако когато е живял, тогава той не е умрял, тъй като един и същи човек щеше да живее и да бъде мъртъв; но не и когато умря, защото би бил два пъти мъртъв. Следователно Сократ не е умрял.” (Емпиричен Секст. Съчинения. В 2 тома. М., 1976. Том 2. С. 289).
5. Всички метали са топлопроводими вещества. Всички метали са електропроводими вещества. Следователно всички електропроводими вещества са топлопроводими.