§ 2. формална логика като наука
За да се определят логическите форми на мисълта, и да определи как да се идентифицират различните форми на логическо мислене, ние се разграничат понятията, наречени логично сред изражения на естествен език. Те включват думата "и", "или", "Ако. след това. "Отказ" Не е вярно, че "(" не "), думите, описващи броя на елементите, на които нещо се одобряват или да се откаже," всички "(" не ")," някои ", един куп" същност "(" е ") и др. процес на идентифициране на логическата форма на мисълта се абстрахират от смисъл на не-логични условия, включени в израза, който изразява тази идея. Това може да стане по различни начини. Например, по-ниски не са логични термини в израза и ги е пуснал вместо точки, смазани и други линии. В резултат на замяната на не-логични условия точки и прекъсната линия на изречението "Всички юристи - адвокати" се изразът "Всички. ядро - - - ".
Друг метод за отклоняване от духа на не-логични условия е да се замени тези условия специални символи (променливи). В този случай, вместо да си различни случки от един и същи термин нелогично постави една и съща променлива, а по-скоро различни термини - различни променливи. Освен това, вместо условията на различни видове герои от различни видове са поставени.
Разкриват логическите форми на следните съображения:
(1) Всички първокурсници на Закон Колеж по Московския държавен университет. Ломоносов учи логика.
Някои първокурсници на Закон Колеж по Московския държавен университет. MSU ще се специализират в областта на гражданското право.
Вследствие на това някои студенти, които ще се специализират в областта на гражданското право, да се научат на логиката.
(2) следовател - адвокат. Поради това, следователят образовани - образовани адвокат.
Подмяна на не-логични термини са символи, получаваме:
(1) Всички М са P. Някои М са S. Следователно, някои S са R.
(2) S е P. Следователно кв.м е PQ.
Тези изрази представляват логически форми първоначални мисли.
По този начин, логически формата на мисълта - е неговата структура откриваем чрез отклоняване от значенията и стойностите на не-логични условия.
Логическата форма на смислен, информативен. По този начин, изразът получена чрез отклоняване на значението и не-логични условия първите стойности на аргумента, носи следната информация: "Ако всички обекти от клас М са включени в клас P и някои обекти от клас М са включени в клас S, някои елементи S-Class са включени в този клас P ".
Мисли, могат да бъдат разделени на групи в зависимост от вида им на логическите форми. Основната един от тези класове представляват мислех, наречена концепции, решения и изводи.
Концепция - тя мислеше, която обобщава и изтъква обекти въз основа на характеристиките на системата, само общото разпределение на тези елементи. Пример за понятието: действие или бездействие, квалифицирани от закона като престъпление (концепция на престъплението).
Решенията се наричат мисли, изведено от наличието или липсата на всяка ситуация. Примери: "Един мъж е получил от Бога две блажен способност - да се говори истината и да правим добро"; "Най-добрият начин да се научи нещо - да се отвори себе си."
Извод - процесът на придобиване на знания, изразено в решението на други знания, също се изразява в решенията. Примери изводи могат да служат аргументи по-горе (1), (2).
Връзки между мисловни форми, в които валидността на някои от тези идеи води до истината на другите, се наричат формални-логично закони или законите на логиката.
Комуникацията между мисли аргумент в (1), е логично право. За да се определи дали връзката между някои от първоначалните бележки и становища, получени в резултат на мотивите, логично закона, е необходимо да се замени с тези изказвания, вместо не-логични условия са произволни условия за един и същ вид и в същото време всеки път, за да разберете би било, ако е вярно получи изявлението на истината на оригинала. Ако такава връзка винаги е намерил твърдение е вярно, то връзката между тях е логично право. Ако има Контрапример, тогава няма редовна връзка, както и на аргумента не е правилна. Например, по-горе разсъждения "следовател - адвокат. Ето защо, следовател образовани - образовани адвокат ", е подвеждащо. Контрапример за да може да бъде ясно неправилно разсъждение:
Fly - животно. Следователно, голяма муха - голямо животно.
В съвременната логика, разработена по-прости и по-продуктивни начини за идентифициране легитимна връзка между мислите. Тези методи са описани в "извод".
С понятието за логическа форма и логично закон, може да се даде определение на формалната логика.
Формална логика - науката за формите на мислене за формални логически закони и други връзки и отношения между мислите на своите логични форми.
Изследване на необходимите връзки между мислите в логическите форми - закони на логиката, логиката формулира декларация за истинността на всички изявления на определена логическа форма. Тези твърдения се наричат също закони, но за разлика от логическите закони (връзките, които съществуват независимо от това дали ние ги знаем или не) - Право (наука) логически. Например, констатацията, че всеки път, когато истинските мисъл-форми "Всичко, M са P" и "All М са S," истинска мисъл форма "Някои S са P", ние можем да се формулира закона на логиката: "За всяка S, P, и М е вярно, че ако всички са М Р и М са всички S, след това някои S са P ". Законите на логиката, след като те са формулирани да действат като правилата, по които мотивите трябва да се извърши. Логиката също така разработи различни видове изисквания, които се препоръчват да се извършва в процеса на познанието. Официално логика, по този начин, е нормативен науката на формуляри, закони и методи за интелектуална когнитивната дейност.
Мислейки, извършена в съответствие с изискванията на логика, то се нарича правилно. Официално логика, като наука за правилното мислене, изследва и организира типичните грешки, допуснати в процеса на мислене, т.е. типични alogisms.
За дълго време, се опитва да развива диалектическа логика. Това означава, че логиката трябва да се прилага в случаите, когато не може да се разсейва от развитието на знанието. В рамките на диалектическата логика, тя е разработила редица методологически принципи (специфичност, обективност и разглеждане на другите.) И методи на познание (изкачване от абстрактното към конкретното, и т.н.).
Предполага се, че в процеса на изучаване на методите на формалната логика трябва да бъде допълнено с помощта на диалектическата логика, както и обратното.
по начина, описан по-горе, за да се установи дали формално-логически закони на връзка между оригиналните форми на съдебни решения и в резултат на следните доводи (т.е. дали този аргумент е вярна):
1. Всички нарушители са обект на наказателни санкции. Някои жители на Москва са обект на наказателни санкции. Вследствие на това някои от жителите на Москва - престъпници.
2. Всички студенти от нашата група - адвокати. Всички ученици от нашата група - членовете на кръга от логика. Следователно, всички членове на кръга на логика - адвокати.
3. Някои участници, определени на жертвата на престъплението. Нито един от членовете на семейството не Петрови идентифицира жертвата. Нито едно от лицата, които не са участвали в извършването на престъплението не е образувано наказателно производство за своята комисионна. Следователно нито един от членовете на семейството не Петрови образувано наказателно производство за това престъпление.
4. "Ако Сократ е умрял, той е починал или където живее или умира. Ако някога е живял, той умира, като едно и също лице, и щеше да е живял, и щеше да е мъртъв; но не и когато той умира, защото той щеше да е мъртъв два пъти. Следователно, Сократ не е умрял. "(Секст Емпирик. Vol. 2 об. М., 1976. Т. 2. S. 289).
5. Всички метали - проводим материал. Всички метали - проводим материал. Следователно, всички електропроводими материали са термично проводими.
Свързани статии