Предметът и значението на логиката Когато започнете да изучавате всяка наука, на първо място е необходимо да разберете нейния предмет. Има няколко начина за това и всеки от тях дава определен резултат. Първият начин или метод е етимологичен. Това е, което се изисква

Глава I. Предмет на логиката 1. Специфика на логиката като наука Логиката получи името си от древногръцката дума logos, което означаваше, от една страна, дума, реч, а от друга - мисъл, смисъл, причина. в рамките на античната философия като единна, а не разчленена за още

Глава II. Връзката между законите на формалната логика и диалектическата логика Диалектиката „не отменя формалната логика, а само лишава нейните закони от абсолютното значение, което им приписват метафизиците“. Г. Плеханов 1. Определете кое от следните твърдения представлява

ГЛАВА I ПРЕДМЕТ НА ЛОГИКАТА „Логика” (от старогръцката дума „логос”) означава „понятие”, „разум”, „разсъждение”. IN модерен езиктази дума се използва в следните основни значения: Първо, логиката се отнася до моделите в промяната и развитието на нещата и

Логиката като наука за мисленето. Субект и обект на логиката.

1. Думата „логика“ произлиза от гръцката логос, което означава „мисъл“, „дума“, „ум“, „закон“. В съвременния език тази дума се използва, като правило, в три значения:

1) да посочи модели и връзки между събития или действия на хора в обективния свят; в този смисъл често се говори за “логиката на фактите”, “логиката на нещата”, “логиката на събитията”, “логиката на международните отношения”, “логиката на политическата борба” и др.;

2) да се посочи строгостта, последователността и редовността на мисловния процес; в този случай се използват следните изрази: „логика на мисленето“, „логика на разсъждението“, „желязна логика на разсъждението“, „няма логика в заключението“ и др.

3) да се обозначи специална наука, която изучава логическите форми, операциите с тях и законите на мисленето.

Обект Логиката като наука е човешкото мислене. Предмет Логиките са логически форми, операции с тях и закони на мисленето.

2. Понятието логически закон. Закони и форми на мислене.

Логически закон (закон на мисленето)- необходима, съществена връзка на мислите в процеса на разсъждение.

Закон за тъждеството.Всяко твърдение е идентично на себе си: А = А

Закон за непротиворечивостта.Едно твърдение не може да бъде едновременно вярно и невярно. Ако твърдението А- е вярно, тогава неговото отрицание не Атрябва да е невярно. Следователно логическият продукт на изявление и неговото отрицание трябва да е невярно: A&A=0

Закон за изключената среда.Твърдението може да бъде вярно или невярно, няма трета възможност. Това означава, че резултатът от логическото добавяне на твърдение и неговото отрицание винаги придобива стойност на истина: A v A = 1

Закон за достатъчно основание- закон на логиката, който се формулира по следния начин: за да се счита за напълно надеждна, всяка позиция трябва да бъде доказана, тоест трябва да се знаят достатъчно причини, по силата на които се счита за вярна.

Има три основни форми на мислене: концепция, преценка и умозаключение.

Понятието е форма на мислене, която отразява общите и освен това съществени свойства на обектите и явленията.

присъда е форма на мислене, която съдържа утвърждаване или отричане на всяка позиция по отношение на обекти, явления или техните свойства.

Извод - форма на мислене, при която човек, сравнявайки и анализирайки различни преценки, извлича нова преценка от тях.

Формирането на науката логика, етапи от нейното развитие.

Етап 1 - Аристотел. Той се опита да намери отговор на въпроса: „Как разсъждаваме“. Той анализира човешкото мислене, неговите форми - понятия, съждения, заключения. Така възниква формалната логика – науката за законите и формите на мислене.	АРИСТОТЕЛ (лат. Аристотел)(384-322 пр.н.е.), древногръцки учен, философ
Етап 2 – появата на математическа или символна логика. Неговите основи са положени от немския учен Готфрид Вилхелм Лайбниц, който прави опит да замени простите разсъждения с действия със знаци.	Готфрид Вилхелм Лайбниц (1646-1716) немски философ, математик, физик, лингвист.
Етап 3 - тази идея е окончателно развита от англичанина Джордж Бул, той е основателят на математическата логика. В неговите произведения логиката придобива собствена азбука, правопис и граматика. Първоначалният раздел на математическата логика се нарича алгебра на логиката или булева алгебра.	Джордж Бул (1815-1864). Английски математик и логик.
Джордж фон Нойман положи основата на компютърната работа, използвайки математически апарат, който използва законите на математическата логика.

Пример за разширяване на обхвата на концепция при намаляване на съдържанието

Московски държавен университет → Държавен университет→ Университет → Университет → Образователна институция → Образователна институция → Институция → Организация → Субект на публичното право → Субект на правото

Законът е приложим само когато обхватът на едно понятие влиза в обхвата на друго, например: „животно“ - „куче“. Законът не работи за несъвпадащи понятия, например: „книга“ - „кукла“.

Намаляване на обема на концепцията с добавяне на нови характеристики (т.е. разширяване на съдържанието) не винаги се случва, а само когато характеристиката е характерна за част от обема на оригиналната концепция.

Видове понятия.

Понятията обикновено се разделят на следните типове: 1) единични и общи, 2) колективни и несборни, 3) конкретни и абстрактни, 4) положителни и отрицателни, 5) независими и корелативни.

1. Понятията се делят на единични и общи в зависимост от това дали в тях се мисли един елемент или много елементи. Концепция, в която е замислен един елемент, се нарича единствено число (например „Москва“, „Л.Н. Толстой“, „Руска федерация“). Понятие, в което се мислят много елементи, се нарича общо (например "капитал", "писател", "федерация").

Общо понятие, което се отнася до неопределен брой елементи, се нарича нерегистриране. По този начин в понятията „лице“, „следовател“, „указ“ не могат да бъдат взети предвид множеството елементи, които могат да се видят в тях: в тях са замислени всички хора, следователи, укази от миналото, настоящето и бъдещето. Концепциите без регистрация имат безкраен обхват.

2. Понятията се делят на събирателни и несъбирателни.

Концепции, в които се мисли за характеристиките на определена съвкупност от елементи, съставляващи едно цяло, се наричат ​​колективни. Например „отбор“, „полк“, „съзвездие“. Тези понятия отразяват много елементи (членове на екипи, войници и командири на полкове, звезди), но това множество се мисли като едно цяло. Съдържанието на колективното понятие не може да се припише на всеки отделен елемент, включен в неговия обхват; то се отнася за цялата съвкупност от елементи. Например основните характеристики на колектив (група от хора, обединени обща работа, общи интереси) не са приложими за всеки отделен член на екипа.

Понятието, в което се мислят характеристиките, свързани с всеки негов елемент, се нарича несъбирателно. Такива са например понятията „звезда“, „командир на полка“, „държава“.

3. Понятията се делят на конкретни и абстрактни в зависимост от това какво отразяват: обект (клас от обекти) или негов атрибут (връзката между обектите).

Концепцията, в която обект или набор от обекти се разбира като нещо независимо съществуващо, се нарича конкретно; концепция, в която е замислена характеристика на обект или връзка между обекти, се нарича абстрактно. Така понятията “книга”, “свидетел”, “държава” са специфични; понятията „белота”, „смелост”, „отговорност” са абстрактни.

4. Понятията се делят на положителни и отрицателни в зависимост от това дали съдържанието им се състои от свойства, присъщи на обекта, или свойства, които отсъстват от него.

5. Понятията се делят на неотносителни и съотносими в зависимост от това дали в тях се мислят обекти, които съществуват отделно или във връзка с други предмети.

Понятията, които отразяват обекти, които съществуват отделно и се мислят извън връзката им с други обекти, се наричат ​​неотносителни. Това са понятията „студент“, „държава“, „местопрестъпление“ и др.

Да се ​​определи към какъв тип принадлежи определено понятие означава да му се даде логическа характеристика. По този начин, давайки логическа характеристика на понятието „Руска федерация“, е необходимо да се посочи, че това понятие е единично, колективно, конкретно, положително, независимо. Когато се характеризира понятието „лудост“, трябва да се посочи, че то е общо (нерегистрирано), неколективно, абстрактно, отрицателно и неуместно.

6. Връзки между понятията. +++++++++++

Сравними понятия.В съдържателен план между понятията могат да съществуват два основни вида отношения – съпоставимост и несъпоставимост. В този случай самите понятия се наричат ​​съответно сравними и несравними.

Сравнимите понятия се разделят на съвместимИ несъвместими.

Отношенията на съвместимост могат да бъдат три вида. Това включва еквивалентност, пресичанеИ субординация.

Еквивалентност.Отношението на еквивалентност иначе се нарича тъждество на понятията. Възниква между понятия, съдържащи един и същи обект. Обхватът на тези понятия напълно съвпада с различно съдържание. В тези концепции се разбира или един обект, или клас от обекти, съдържащи повече от един елемент. Казано по-просто, отношението на еквивалентност се отнася до понятия, в които е замислен един и същ обект. Като пример, илюстриращ връзката на еквивалентност, можем да цитираме понятията „равностранен правоъгълник“ и „квадрат“.

Пресичане (пресичане).Понятия във връзка с пресичане са тези, чиито обеми частично съвпадат. По този начин обемът на единия се включва частично в обема на другия и обратно. Съдържанието на такива понятия ще бъде различно. Отношението на пресичане е схематично отразено под формата на две частично комбинирани окръжности (фиг. 2). Пресечната точка в диаграмата е защрихована за удобство. Пример са понятията „селянин” и „тракторист”; "математик" и "възпитател".

Подчинение (подчинение).Отношението на подчинение се характеризира с това, че обхватът на едното понятие се включва изцяло в обхвата на другото, но не го изчерпва, а образува само част.

Отношенията на несъвместимост обикновено се разделят на три вида, сред които има подчинение, противопоставяне и противоречие.

Подчинение.Отношение на подчинение възниква в случай, че се разглеждат няколко понятия, които се изключват взаимно, но в същото време имат подчинение на друго, общо за тях, по-широко (общо) понятие.

Противоположност (контраст).Понятия, които са във връзка с опозицията, могат да се нарекат такива типове от един и същ род, съдържанието на всяко от които отразява определени знаци, не само взаимно изключващи се, но и взаимно заместващи се.

Противоречие (противоречие).Отношение на противоречие възниква между две понятия, едното от които съдържа определени характеристики, а другото отрича (изключва) тези характеристики, без да ги заменя с други.

Сравними- това са понятия, които по един или друг начин имат в съдържанието си общи съществени характеристики (по които се сравняват - оттук и името на техните отношения). Например, понятията „закон“ и „морал“ съдържат обща характеристика - „социално явление“.

Несравними понятия. несравним- понятия, които нямат съществени общи черти по един или друг начин: например „закон“ и „всемирна гравитация“, „дясно“ и „диагонал“, „дясно“ и „любов“.

Вярно е, че такова разделение е до известна степен условно, относително по своя характер, тъй като степента на несравнимост също може да бъде различна. Например, какво е общото между привидно различни понятия като „космически кораб“ и „писалка“, освен някакво чисто външно сходство във формата на конструкцията? И все пак и двете са творения на човешкия гений. Какво е общото между понятията „шпионин“ и „буква Б“? Все едно нищо. Но ето каква неочаквана асоциация предизвикаха у А. Пушкин: „Шпионите са като буквата Б. Нужни са само в определени случаи, но и тук може и без тях, но те са свикнали да ровят навсякъде.“ Това означава, че общата характеристика е „понякога необходима“.

Във всяка наука има несравними понятия. Съществуват в правната наука и практика: „алиби” и „пенсионен фонд”, „вина” и „версия”, „юрисконсулт” и „независимост на съдията” и т.н., и т.н. Несъпоставимостта характеризира дори това, което изглежда, подобни по съдържание понятия: „предприятие“ и „администрация на предприятието“, „трудов спор“ - „разглеждане на трудов спор“ и „орган за разглеждане на трудов спор“, „колективен трудов договор“ и „колективни преговори по колективен трудов договор“ . Важно е да вземете предвид това обстоятелство, когато оперирате с подобни понятия, за да не изпаднете в комично положение против волята си.

Класификация на съдебните решения.

Предикатът на съждението, който ще бъде носител на новост, може да има много различен характер. От тази гледна точка в цялото разнообразие от съдебни решения се разграничават три най-често срещани групи: атрибутивни, релационни и екзистенциални.

Атрибутивни преценки(от латински altributum - свойство, знак), или преценки за свойствата на нещо, разкриват наличието или отсъствието на определени свойства (или признаци) в обекта на мисълта. Например: „Всички републики бившия СССРобявиха своята независимост“; „Общността на независимите държави (ОНД) е крехка.“ Тъй като понятието, изразяващо предикат, има съдържание и обем, атрибутивните преценки могат да се разглеждат на две нива: съдържание и обем.

Релационни преценки(от лат. relatio - връзка), или преценки за връзката на нещо с нещо, разкриват наличието или отсъствието на определена връзка с друг обект (или няколко обекта) в обекта на мисълта. Затова те обикновено се изразяват със специална формула: x R y, където x и y са обекти на мислене, а R (от relatio) е връзката между тях. Например: „СНГ не е равно на СССР“, „Москва е по-голяма от Санкт Петербург“.

Примери. Твърдението „Всички метали са електропроводими“ може да се трансформира в твърдението „Всички метали са като електропроводими тела“. От своя страна твърдението „Рязан е по-малък от Москва“ може да се превърне в твърдението „Рязан принадлежи към градовете, които са по-малки от Москва“. Или: „Знанието е нещо като парите.“ В съвременната логика има тенденция релационните съждения да се свеждат до атрибутивни.

Екзистенциални преценки(от латински existentia - съществуване), или съждения за съществуването на нещо, са тези, в които се разкрива присъствието или отсъствието на самия предмет на мисълта. Предикатът тук се изразява с думите „съществува“ („не съществува“), „е“ („не“), „беше“ („не беше“), „ще“ („няма“) и др. Например: „Дим без огън няма“, „Съществува ОНД“, „няма Съветски съюз“. В съдебния процес първият въпрос, който се решава, е дали събитието се е състояло: „Има престъпление“ („Няма доказателства“).

Според качеството на пакета

Качеството на преценката е една от най-важните му логически характеристики. То не означава действителното съдържание на дадено съждение, а неговата най-обща логическа форма – утвърдителна, отрицателна или отрицателна. Това разкрива най-дълбоката същност на всяко съждение изобщо - способността му да разкрива наличието или отсъствието на определени връзки и отношения между мислимите обекти. И това качество се определя от характера на свързващото – „е” или „не е”. В зависимост от това простите съждения се разделят според естеството на свързващото вещество (или неговото качество) на утвърдително, отрицателно и отричащо.

В утвърдителенсъжденията разкриват наличието на някаква връзка между субекта и предиката. Това се изразява чрез утвърдителния свързващ елемент „е“ или съответните думи, тирета и съгласие на думите. Общата формула за утвърдително твърдение е "S е P." Например: „Китовете са бозайници“.

В отрицателенсъжденията, напротив, разкриват липсата на една или друга връзка между субекта и предиката. И това се постига с помощта на отрицателния съединител „не” или съответстващи му думи, както и просто частицата „не”. Общата формула е "S не е P." Например: „Китовете не са риби“. Важно е да се подчертае, че частицата „не“ в отрицателните преценки със сигурност стои преди свързващото или се подразбира. Ако се намира след съединителя и е част от самия предикат (или субект), тогава такова решение все още ще бъде утвърдително. Например: „Не фалшивата свобода дава живот на моите стихове.“

отрицателни преценки- това са съждения, в които характерът на свързващото е двоен. Например: „Не е вярно, че човек никога няма да напусне Слънчевата система.“

По обем на предмета

В допълнение към първоначалното, основно разделение на простите, категорични съждения по качество, съществува и тяхното деление по количество.

Количеството на преценката е другата му най-важна логическа характеристика. Под количество тук нямаме предвид някакъв конкретен брой обекти, мислими в него (например броя на дните от седмицата, месеците или сезоните, планетите от слънчевата система и т.н.), а естеството на субекта, т.е. неговия логически обхват. В зависимост от това се разграничават общи, частни и индивидуални съждения.

Общите преценки имат свои разновидности. На първо място, те могат да бъдат екскреторни и неекскреторни.

Частни съждения са тези, в които се изразява нещо за част от група обекти. На руски те се изразяват с думи като „някои“, „не всички“, „повечето“, „част“, ​​„отделно“ и др. В съвременната логика те се наричат ​​„квантор на съществуването“ и се обозначават със символа „ $” (от англ. exist – съществувам). Формулата $ x P(x) се чете по следния начин: „Има x, за който е валидно свойството P(x).“ В традиционната логика се приема следната формула за частни преценки: „Някои S са (не са) P.“

Примери: „Някои войни са справедливи“, „Някои войни са несправедливи“ или „Някои свидетели са верни“, „Някои свидетели не са верни“. Кванторната дума също може да бъде пропусната тук. Следователно, за да се определи дали има конкретно или общо съждение, трябва да се замени мислено съответната дума. Например, поговорката „Да се ​​греши е човешко“ не означава, че това се отнася за всеки човек. Тук понятието „хора“ се приема в колективен смисъл.

По модалност

Основната информативна функция на преценката като форма на мислене е отражението под формата на утвърждаване или отричане на връзките между обектите и техните характеристики. Това се отнася както за простите, така и за сложните съждения, в които наличието или отсъствието на връзка се усложнява от съединители.

Модалността на преценката е допълнителна информация, изразена в преценка, изрично или имплицитно, относно естеството на валидността на преценката или вида на зависимостта между субекта и предиката, отразяваща обективните връзки между обектите и техните характеристики.

Сложни съждения и техните видове.

Сложните съждения се формират от няколко прости съждения. Това е например изявлението на Цицерон: „В края на краищата, дори ако запознаването със закона беше огромна трудност, тогава дори и тогава съзнанието за големите му предимства трябва да насърчава хората да преодолеят тази трудност.“

Точно както простите, сложните предложения могат да бъдат верни или неверни. Но за разлика от простите съждения, чиято истинност или неистинност се определя от тяхното съответствие или несъответствие с реалността, истинността или неистинността на сложното преценка зависи преди всичко от истинността или неистинността на съставните му преценки.

Логическата структура на сложните съждения също се различава от структурата на простите съждения. Основните структурообразуващи елементи тук вече не са понятия, а прости съждения, които съставляват сложно съждение. В този случай връзката между тях се осъществява не с помощта на съединители „е“, „не е“ и т.н., а чрез логически съюзи „и“, „или“, „или“, „ако [.. .], тогава” и т.н. Правната практика е особено богата на този вид преценки.

В съответствие с функциите на логическите връзки сложните съждения се разделят на следните видове.

1 Съединителни съждения (конюнктив) са тези съждения, които включват други съждения като компоненти - съюзи, обединени от съединителя "и". Например „Упражняването на правата и свободите на човека и гражданина не трябва да нарушава правата и свободите на другите“.

2 Дизюнктивни (разделителни) съждения - включват като компоненти на съждение - дизюнктивни, обединени от съединителя „или“. Например „Ищецът има право да увеличи или намали размера на исковете.“

Прави се разлика между слаба дизюнкция, когато връзката „или“ има свързващо-дизюнктивно значение, тоест компонентите, включени в сложно съждение, не се изключват взаимно. Например „Договорът за продажба може да бъде сключен устно или писмено“. Силна дизюнкция възниква, като правило, когато логическите връзки „или“ и „или“ се използват в изключителен разделителен смисъл, тоест неговите компоненти се изключват взаимно. Например „Клевета, съчетана с обвинение в извършване на тежко или особено тежко престъпление, се наказва с ограничаване на свободата за срок до три години или с арест за срок от четири до шест месеца или с лишаване от свобода. за срок до три години.”

Условните (импликативни) предложения се формират от две прости предложения чрез логическия съюз „ако [...], тогава“. Например, „Ако след изтичане на временния период на работа договорът със служителя не е прекратен, тогава той се счита за приет за постоянна работа.“ Аргументът, който започва с думата „ако“ в импликативни предложения, се нарича причина, а компонентът, който започва с думата „тогава“, се нарича следствие.

Условните предложения отразяват преди всичко обективни причинно-следствени, пространствено-времеви, функционални и други връзки между обекти и явления на реалността. В практиката на прилагане на законодателството обаче правата и задълженията на хората, свързани с определени условия, могат да бъдат изразени и под формата на импликация. Например „Военнослужещи от военни части Руска федерацияразположени извън Руската федерация, за престъпления, извършени на територията на чужда държава, носят наказателна отговорност съгласно този кодекс, освен ако не е предвидено друго в международен договор на Руската федерация“ (клауза 2 на член 12 от Наказателния кодекс на Руската федерация ).

Трябва да се има предвид, че граматичната форма „ако [...], тогава“ не е изключителна характеристика на условно предложение; тя може да изрази проста последователност. Например, „Ако извършителят е лицето, което пряко е извършило престъплението, тогава подбудителят е лицето, което е убедило друго лице да извърши

Видове въпроси.

Въпросите могат да бъдат класифицирани според поради различни причини. Нека разгледаме основните видове въпроси, които най-често се разглеждат в правната област.

1. В зависимост от степента на изразеност в текста въпросите могат да бъдат изрични или скрити. Експлицитният въпрос се изразява изцяло в езика, заедно с неговите предпоставки и изискването да се установи неизвестното. Скритият въпрос се изразява само чрез неговите предпоставки и изискването за премахване на неизвестното се възстановява след разбиране на предпоставките на въпроса. Например, след като прочетем текста: „Все повече и повече обикновени граждани стават собственици на акции и рано или късно идва денят, когато има желание да ги продадат“, тук няма да намерим ясно формулирани въпроси. Въпреки това, когато разбирате прочетеното, може да искате да попитате: „Какво е акция?“, „Защо трябва да се продават?“, „Как да продавате акции правилно?“ и т.н. Така текстът съдържа скрити въпроси.

2. Според структурата си въпросите се делят на прости и сложни. Простият въпрос структурно включва само едно съждение. Не може да се раздели на елементарни въпроси. Сложен въпрос се формира от прости с помощта на логически връзки "и", "или", "ако, тогава" и т.н. Например "Кой от присъстващите идентифицира престъпника и как той реагира на това?" Когато отговаряте на сложен въпрос, за предпочитане е да го разделите на прости въпроси. Въпрос като: „Ако времето е хубаво, ще отидем ли на екскурзия?“ - не се отнася за сложни въпроси, тъй като не може да бъде разделен на два независими прости въпроса. Това е пример за прост въпрос. Следователно значението на съюзите, които образуват сложни въпроси, не е идентично със значението на съответните логически съюзи, с помощта на които сложни верни или неверни съждения се образуват от прости верни или неверни съждения. Въпросите не са верни или грешни. Те могат да бъдат правилни или неправилни.

3. Въз основа на метода на задаване на неизвестното се прави разлика между уточняващи и допълващи въпроси. Изясняващите въпроси (или въпросите „дали“) са насочени към идентифициране на истинността на преценките, изразени в тях. Във всички тези въпроси има частица „дали“, включена във фразите „вярно ли е“, „наистина ли е“, „необходимо ли е“ и т.н. Например „Вярно ли е, че Семенов успешно е защитил дипломната си работа?“, „Наистина ли има повече хора в Москва, отколкото в Париж?“, „Вярно ли е, че ако издържи всички изпити с отлични оценки, ще получи увеличена стипендия ?" и т.н.. Въпросите за попълване (или "k" - въпроси) имат за цел да идентифицират нови свойства в обекта, който се изследва, да получат нова информация.Граматична характеристика е въпросителна дума като "Кой?", "Какво?", "Защо? “, „Кога?“, „Къде?“ и така нататък. Например „Как да сключа договор за предоставяне на брокерски услуги?“, „Кога е извършено това пътнотранспортно произшествие?“, „Какво означава думата „спонсор“?“ и т.н

4. В зависимост от броя на възможните отговори въпросите могат да бъдат отворени и затворени. Отворен въпрос е въпрос, на който има неопределен брой отговори. Затворен въпрос е въпрос, на който има краен, най-често доста ограничен брой отговори. Тези въпроси се използват широко в съдебната и следствената практика, както и в социологическите изследвания. Например въпросът „Как преподава този учител?“ е отворен въпрос, тъй като могат да се дадат много отговори на него. Може да бъде преструктуриран, за да „затвори“: „Как преподава този учител (добро, задоволително, лошо)?“

5. Във връзка с познавателната цел въпросите могат да се разделят на ключови и водещи. Един въпрос е ключов, ако правилният отговор на него пряко служи за постигане на целта. Въпросът е водещ, ако правилният отговор по някакъв начин подготвя или доближава човек до разбирането на ключовия въпрос, което, като правило, се оказва, че зависи от покритието на водещите въпроси. Очевидно няма ясна граница между ключови и водещи въпроси.

6. Въз основа на правилността на формулировката въпросите се разделят на правилни и неправилни. Коректен въпрос (от латинското correctus - учтив, тактичен, любезен) въпрос е въпрос, чиято предпоставка е вярно и последователно знание. Неправилният въпрос се основава на предпоставката за невярно или противоречиво твърдение или твърдение, чието значение не е определено. Има два вида логически неправилни въпроси: тривиално неправилни и нетривиално неправилни (от лат. trivialis - изтъркан, вулгарен, лишен от свежест и оригиналност). Един въпрос е тривиално неправилен или безсмислен, ако е изразен в изречения, съдържащи неясни (неясни) думи или изрази. Пример е следният въпрос: „Критическата метафизика с абстракции и дискредитиране на тенденцията на церебралния субективизъм води ли до игнориране на системата от парадоксални илюзии?“

Видове отговори.

Сред отговорите има: 1) вярно и невярно; 2) преки и непреки; 3) кратко и подробно; 4) пълни и непълни; 5) точни (определени) и неточни (несигурни).

1. Верни и грешни отговори. По семантичен статус, т.е. по отношение на реалността отговорите могат да бъдат верни или грешни. Отговорът се счита за верен, ако преценката, изразена в него, е правилна или адекватно отразява реалността. Отговорът се счита за неверен, ако преценката, изразена в него, е неправилна или не отразява адекватно състоянието на нещата в действителност.

2. Отговорите са преки и непреки. Това са два вида отговори, които се различават по обхвата на тяхното търсене.

Директният отговор е отговор, взет директно от областта на търсене на отговори, чиято конструкция не включва допълнителна информация и разсъждения. Например директен отговор на въпроса „През коя година приключи Руско-японската война?“ ще има присъда: „Руско-японската война приключи през 1904 г.“ Директен отговор на въпроса „Риба ли е китът?“ ще има присъда: „Не, китът не е риба“.

Косвен отговор е този, който се получава от повече широка площ, а не зоната за търсене на отговор и от която необходимата информация може да бъде получена само чрез извод. И така, на въпроса „През коя година приключи Руско-японската война?“ следният отговор ще бъде косвен: „Руско-японската война приключи една година преди Първата руска революция“. На въпроса "Риба ли е китът?" индиректният отговор би бил: „Китът е бозайник“.

3. Кратки и подробни отговори. По граматична форма отговорите могат да бъдат кратки или подробни.

Кратките отговори са едносрични утвърдителни или отрицателни отговори: „да“ или „не“.

Разширените отговори са отговори, всеки от които повтаря всички елементи на въпроса. Например на въпроса „Бил ли е Дж. Кенеди католик?“ могат да се получат утвърдителни отговори: кратък - „Да“; разширено - „Да, Дж. Кенеди беше католик.“ Отрицателните отговори ще бъдат, както следва: кратко - „Не“; разширено - „Не, Дж. Кенеди не е бил католик.“

Обикновено се дават кратки отговори на прости въпроси; За сложни въпроси е препоръчително да използвате подробни отговори, тъй като едносричните отговори в този случай често се оказват двусмислени.

4. Пълни и непълни отговори. Въз основа на количеството информация, предоставена в отговора, отговорите може да са пълни или непълни. Проблемът с изчерпателността най-често възниква при отговорите на сложни въпроси.

Пълният отговор включва информация за всички елементи или части от въпроса. Например, за да отговорите на сложния въпрос „Вярно ли е, че Иванов, Петров и Сидоров са съучастници в престъплението?“ Следният отговор ще бъде пълен: „Иванов и Сидоров са съучастници в престъплението, а Петров е извършителят“. Към сложния въпрос „Кой, кога и във връзка с какво е написано стихотворението „За смъртта на един поет“?“ Следният отговор ще бъде пълен:

„Стихотворението „За смъртта на един поет“ е написано от М.Ю. Лермонтов през 1837 г. във връзка с трагичната смърт на A.S. Пушкин“.

Непълният отговор включва информация относно отделни елементи или компоненти на въпроса. И така, на горния въпрос „Вярно ли е, че Иванов, Петров и Сидоров са съучастници в престъплението?“ - отговорът ще бъде непълен: "Не, не е правилно, Петров е изпълнителят."

5. Точни (категорични) и неточни (неясни) отговори! Логическата връзка между въпрос и отговор означава, че качеството на отговора до голяма степен се определя от качеството на въпроса. Неслучайно в полемиката и в процеса на разпита важи правилото: какъвто е въпросът, такъв е и отговорът. Това означава, че е трудно да се получи ясен отговор на неясен и двусмислен въпрос; ако искате да получите точен и категоричен отговор, то формулирайте точен и категоричен въпрос.

Видове дилеми

Условните дизюнктивни изводи са изводи, в които една от предпоставките е разделително твърдение, а останалите са условни изявления. Друго наименование на условно разделителните изводи е лематично, което произлиза от гръцката дума lemma – изречение, предположение. Това име се основава на факта, че тези заключения разглеждат различни предположения и техните последствия. В зависимост от броя на условните предпоставки, условно разделителните заключения се наричат ​​дилеми (две условни предпоставки), трилеми (три), полилеми (четири или повече). В практиката на разсъждение най-често се използват дилеми.

Могат да се разграничат следните основни типове дилеми:

– проста дизайнерска дилема,

– сложна дизайнерска дилема,

– проста разрушителна дилема,

- сложна разрушителна дилема.

Пример за проста конструктивна дилема (Сократово разсъждение):

„Ако смъртта е преход към забрава, тогава е добре. Ако смъртта е преход към друг свят, тогава е добре. Смъртта е преход в забрава или в друг свят. Следователно смъртта е добра.”

Проста конструктивна (утвърдителна) дилема:

Ако A, тогава C.

Ако B, тогава C.

Пример за сложна дизайнерска дилема:

Млад атинянин се обърна към Сократ за съвет: трябва ли да се ожени? Сократ отговорил: „Ако си намериш добра жена, тогава ще бъдеш щастливо изключение; ако тя получи лоша жена, тогава ще бъдеш като мен, философ. Но ще получите добра или лоша съпруга. Следователно можете да бъдете или щастливо изключение, или философ.

Трудна дизайнерска дилема:

Ако А, тогава Б.

Ако C, тогава D.

Пример за проста разрушителна дилема:

„В днешния свят, ако искате да сте щастливи, трябва да имате много пари. Все пак винаги е било така, че ако искаш да си щастлив, трябва да си с чиста съвест. Но ние знаем, че животът е устроен така, че е невъзможно да имаш и пари, и съвест едновременно, т.е. или няма пари, или няма съвест. Затова се откажете от надеждата за щастие.”

Проста разрушителна (отричаща) дилема:

Ако А, тогава Б.

Ако A, тогава C.

Невярно B или Невярно C.

Неправилно А.

Пример за сложна разрушителна дилема:

„Ако е умен, ще види грешката си. Ако е искрен, значи ще си признае. Но той или не вижда грешката си, или не я признава. Следователно той или не е умен, или не е искрен.”

Сложна разрушителна дилема:

Ако А, тогава Б.

Ако C, тогава D.

Не-B или не-D.

Не-A или не-C.

Пример за пълен индуктивен извод.

Всички присъди се постановяват по специален процесуален ред.

Всички оправдателни присъди се постановяват по специален процесуален ред.

Осъдителните и оправдателните присъди са съдебни решения.

Всички съдебни решения се постановяват по специален процесуален ред.

Този пример отразява класа обекти - съдебни решения. Всички (и двата) негови елемента са посочени. Дясната страна на всяко от помещенията е вярна спрямо лявата. Следователно общият извод, който е пряко свързан с всеки случай поотделно, е обективен и верен.

Непълна индукциянаречено заключение, което въз основа на наличието на определени повтарящи се характеристики класифицира този или онзи обект в клас от хомогенни обекти, които също имат такава характеристика.

Непълната индукция често се използва в ежедневието и научната дейност на човека, тъй като позволява да се направи заключение въз основа на анализа на определена част от даден клас обекти, спестявайки време и усилия. В същото време не трябва да забравяме, че в резултат на непълна индукция се получава вероятностно заключение, което в зависимост от вида на непълната индукция ще варира от по-малко вероятно до по-вероятно (11).

Горното може да се илюстрира със следния пример.

Думата "мляко" се променя според падежите. Думата „библиотека“ се променя според падежите. Думата "лекар" се променя според падежите. Думата "мастило" се променя според падежите.

Думите "мляко", "библиотека", "доктор", "мастило" са съществителни.

Вероятно всички съществителни се променят по падеж.

В зависимост от

Москва държавна академия комунални услугии строителство

(име на отдела)

________________________________________________________________

(фамилия, собствено име, бащино име на ученика)

Факултет______________ курс____________ група_____________

ТЕСТ

По дисциплина ________________________________________________

По темата ________________________________________________

(име на тема) ________________________________________________________________

Оценка на теста __________________________ __________

(издържал/неиздържал) (дата)

Ръководител __________________________________ __________________

(трите имена, длъжност, научна степен, научно звание) (подпис)

Москва 20__

ТЕКСТОВЕ НА ЛЕКЦИИ

КЪМ КУРСА НА УЧЕБНАТА ДИСЦИПЛИНА “ЛОГИКА”

Тема 1. ПРЕДМЕТ И ЗНАЧЕНИЕ НА ЛОГИКАТА

1.1 Понятието „логика“, неговите основни значения. Мястото на логиката в системата на науките за мисленето.

Срок "логика"идва от гръцката дума logos, която означава „мисъл“, „дума“, „ум“, „закон“ и се използва както за обозначаване на набор от правила, които управляват мисловния процес, така и за обозначаване на науката за правилата на разсъждение и тези форми, в които то се осъществява. В допълнение, този термин се използва за обозначаване на всякакви модели („логика на нещата“, „логика на събитията“).

Изследването на мисленето е едно от централни меставъв всички философски учения, както минали, така и настоящи. Мисленето се изучава не само от логиката, но и от редица други науки - философия, физиология, кибернетика, лингвистика, всяка от които подчертава своя аспект на изследване:

Философия- изучава връзката между материя и мисъл.

Социология- извършва анализ на историческото развитие в зависимост от социалните структури на обществото.

Кибернетика- изучава мисленето като информационен процес.

Психология- изучава механизмите на осъществяване на умствените действия, включително мозъчните, и разбира мисленето като когнитивна дейност.

Ролята на мисленето в познанието.

От първите дни на живота си човек е включен в процеса на опознаване на света около него. Той разпознава отделни признаци на предмети и явления, които се отразяват в усещанията ; във възприятието се представят интегрални обекти и явления в тяхната непосредствена реалност за човека ; връзките и отношенията между видими и невидими за човешкото око обекти и явления ни позволява да отворим мисленето . В широк смисъл човешкото мислене се разбира като неговата активна познавателна дейност с вътрешен процеспланиране и регулиране на външни дейности. Да разбереш как човек мисли означава да разбереш как той вижда (представя, отразява) света около себе си, себе си в този свят и своето място в него, както и как използва знанията за света и себе си, за да контролира собственото си поведение.

Познаниее изграждането на семантичното (идеалното) съдържание на света в съзнанието на хората. Околният свят и неговите свойства се разкриват в процеса на познание. Практиката е един от елементите на знанието. В практическата дейност хората се сблъскват с различни свойства на предмети и явления. Познанието има два основни етапа: чувственИ рационален.

Умствената дейност получава целия си материал само от един източник - от сетивното познание. Сетивното познание има три основни форми: усещане, възприятиеИ производителност. Чрез усещанията и възприятията мисленето е пряко свързано с външния свят и е негово отражение.Правилността (адекватността) на това отражение се проверява непрекъснато в процеса на практическо преобразуване на природата и обществото.

Чувство- субективен образ на обективния свят, превръщането на енергията на външната стимулация в факт на съзнанието.

Всяко емпирично познание започва с живо съзерцание, сетивни възприятия. Формите на сетивното възприятие са отражения на отделни свойства на предмети или явления, които пряко въздействат на сетивата. Всеки елемент има не едно, а много свойства. Усещанията отразяват различните свойства на обектите.

Възприятие- това е отражение в човешкото съзнание на цялостни комплекси от свойства на обекти и явления от обективния свят с прякото им въздействие в момента върху сетивата.

производителност- това е сензорен образ на обект, който в момента не се възприема, но който преди това е бил възприеман в една или друга форма. Представянето може да бъде възпроизвеждащо (например сега всеки има изображение на дома си, работното си място, изображения на някои познати и роднини, които не виждаме сега), творчески, включително фантастични. Чрез сетивното възприятие човек открива външния вид на предмета, но не и неговата същност. Човек научава законите на света, същността на предметите и явленията и общото между тях чрез абстрактно мислене, което представя света и неговите процеси по-дълбоко и по-пълно от сетивното възприятие. Преходът от сетивно възприятие към абстрактно мислене представлява качествено различно ниво в процеса на познание. Това е преход от първичното представяне на фактите към познаването на законите.

Основните форми на абстрактното, т.е. мисленето, абстрахирано от пряко дадената реалност, са понятия, съждения и изводи.

Концепция- форма на мислене, която отразява съществените свойства, връзки и отношения на предмети и явления, изразени с дума или група от думи. Понятията могат да бъдат общи и индивидуални, конкретни и абстрактни.

присъда -форма на мислене, която отразява връзките между обекти и явления; утвърждаване или отричане на нещо. Съжденията могат да бъдат верни или неверни.

Извод- форма на мислене, при която се прави определено заключение въз основа на няколко съждения. Това е поредица от логически свързани твърдения, от които се извличат нови знания.

Пример:Всички присъстващи на лекцията са студенти. Оля присъства на лекцията (2 преценки). Оля е ученичка (извод).

Има изводи индуктивен, дедуктивенИ по същия начин.

В процеса на логическо познание човек се стреми да постигне истината. Логическата истина или истината е съответствието на извода с установените за него правила на мислене. Това ще означава, че предпоставките и изводът, който следва от тях, са комбинирани логически „правилно“, т.е. отговарят на критерия за истинност, установен за дадена логическа система. Задачата на всяка логическа система е да покаже какви са правилата за съчетаване на отделни значения и до какви изводи води това съчетание. Тези изводи ще са дето се вика логична истина.

Съществена характеристика на абстрактното мислене е неговата неразривна връзка с езика, тъй като законите на възникване, комбиниране и изразяване на езикови значения са идентични с функционирането на логическите значения. Това означава, че всяка фраза, изречение или комбинация от изречения има определено логическо значение.

1.3. Основни етапи на развитие на логиката

Появата на логиката като теория е предшествана от практиката на мислене, датираща хиляди години назад.

Историята показва, че някои логически проблеми са се появили пред човешкия ум преди повече от 2,5 хиляди години - първо в Древна Индия и Древен Китай. След това те получават по-пълно развитие Древна Гърцияи Рим. Само постепенно те се оформят в повече или по-малко стройна система и се оформят в самостоятелна наука.

Причини за възникването на логиката. Първо, възникването и първоначалното развитие на науките в Древна Гърция (VI в. пр. н. е.), преди всичко на математиката. Родена в борбата срещу митологията и религията, науката се основава на теоретично мислене, включващо изводи и доказателства. Оттук и необходимостта да се изследва природата на самото мислене като форма на познание. Логиката възниква преди всичко като опит да се идентифицират и обяснят изискванията, на които трябва да отговаря научното мислене, за да съответстват неговите резултати на реалността. Друга причина е развитието на ораторското изкуство, включително съдебното изкуство, което процъфтява в условията на древногръцката полярна демокрация.

Формалната логика преминава през два основни етапа в своето развитие.

Първи етапсвързано с трудовете на древногръцкия философ и учен Аристотел (384-322 г. пр.н.е.), който пръв дава систематично представяне на логиката. Логиката на Аристотел и цялата предматематическа логика обикновено се наричат ​​„традиционна" формална логика. Традиционната формална логика включва и включва такива раздели като концепция, преценка, извод (включително индуктивен), закони на логиката, доказателство и опровержение, хипотеза. Аристотел дава класификация на най общи понятия- класификация на съжденията, основни закони на мисленето - закон за тъждеството, закон за изключената среда. Самата логика получи по-нататъшно развитие както в Гърция, така и в други страни.

Средновековната схоластика има значителен принос в развитието на логиката. Въведената от тях латинска терминология все още е запазена.

По време на Ренесанса логиката е в криза. Счита се за логиката на „изкуственото мислене“, което се противопоставя на естественото мислене, основано на интуиция и въображение.

Нов етап в развитието на логиката започва през 17 век. Това се дължи на създаването в нейните рамки на индуктивна логика, наред с дедуктивната логика.Необходимостта от получаване на такова знание е най-пълно осъзната и изразена в неговите трудове от изключителния английски философ и естествен учен Франсис Бейкън(1561-1626). Той става основател на индуктивната логика, като за разлика от стария „Органон” на Аристотел пише „Новият органон...”.

Индуктивната логика по-късно е систематизирана и развита от английския философ и учен Джон Стюарт Мил(1806-1873) в двутомната си работа "Системата на силогистичната и индуктивна логика".

Потребностите на научното познание не само в индуктивния, но и в дедуктивния метод през 17 век. най-пълно въплътен от френския философ и учен Рене Декарт(1596-1650). В основния си труд „Беседа за метода...“, базиран на данни, предимно математически, той подчертава важността на рационалната дедукция.

Последователи на Декарт от манастира в Порт Роял А. АрноИ П. Николсъздава произведението „Логика или изкуството да мислиш“. Тя става известна като логиката на Порт-Роял и дълго време се използва като учебник по тази наука.

Втора фаза -това е външният вид математическа (или символна) логика.

Нарастващи успехи в развитието на математиката и навлизането на математическите методи в други науки през втората половина на 17 век. два основни проблема бяха силно повдигнати. От една страна, това е използването на логиката за разработване на теоретичните основи на математиката, а от друга, математизирането на самата логика като наука.

Най-великият немски философ и математик Г. Лайбниц(1646-1716) с право се счита за основател на математическата (символна) логика, тъй като именно той използва метода на формализиране като изследователски метод. Математическата (символна) логика обаче получи най-благоприятни условия за мощно развитие в произведенията Д. Бул, Е. Шрьодер, П. С. Порецки, Г. Фрегеи други логици. По това време математизацията на науките постигна значителен напредък и в самата математика възникнаха нови фундаментални проблеми за нейното обосноваване.

Така се отвори нов, модерен етапв развитието на логическите изследвания. Може би най-важното отличителна чертаТози етап се състои в разработване и използване на нови методи за решаване на традиционни логически проблеми. Това е развитието и прилагането на така наречения формализиран език - езикът на символите, т.е. азбучни и други знаци (оттук и най-общото наименование на съвременната логика - "символичен").

Има два вида логическо смятане: пропозиционално смятанеИ предикатно смятане.С първия се допуска абстрахиране от концептуалната структура на съжденията, а с втория тази структура се отчита и съответно символният език се обогатява и допълва с нови знаци.

Формирането на диалектическата логика. По едно време Аристотел поставя и се опитва да разреши редица фундаментални проблеми диалектическа логика- проблемът за отразяване на реални противоречия в понятията, проблемът за връзката между индивида и общото, нещо и понятието за него и др. Елементи на диалектическата логика постепенно се натрупват в произведенията на следващите мислители и са особено ясно проявени в работите Бейкън, Хобс, Декарт, Лайбниц. Въпреки това, като независим логическа наука, качествено различна от формалната логика в подхода си към мисленето, диалектическата логика започва да се оформя едва в края на 18-ти - началото на XIXвекове

Първият, който се опита да въведе диалектиката в логиката, беше немският философ И. Кант(1724-1804). Кант смята, че логиката е „наука, която обяснява подробно и строго доказва само формалните правила на всяко мислене...“.

Но в това несъмнено предимство на логиката Кант открива и основния й недостатък - ограничени възможностикато средство за действително познание и проверка на неговите резултати. Следователно, наред с „общата логика“, която Кант за първи път в своята история също нарича „формална логика“ (и това име е останало за нея и до днес), е необходима специална или „трансцендентална логика“. Той вижда основната задача на тази логика в изучаването на такива, според него, наистина основни форми на мислене като категории: „Не можем да мислим за един обект, освен с помощта на категории ...“. Те служат като условие за всеки опит и следователно имат априорен, предекспериментален характер. Това са категориите пространство и време, количество и качество, причина и следствие, необходимост и случайност и други диалектически категории, чието прилагане уж не се подчинява на изискванията на законите на тъждеството и противоречието.

Грандиозен опит да се разработи цялостна система от нова диалектическа логика е направен от друг немски философ - Г. Хегел(1770-1831). В своя основен труд „Науката за логиката“ той разкрива фундаменталното противоречие между съществуващите логически теории и действителната практика на мислене, която по това време е достигнала значителни висоти. Средството за разрешаване на това противоречие беше създаването на система от нова логика в уникална, религиозно-мистична форма. Неговият фокус е диалектиката на мисленето в цялата му сложност и непоследователност.

Нарастващите нужди на научно-техническия прогрес определят по-нататъшното интензивно развитие на съвременната логика.

Тема 2. Език на логиката

Предмет на изучаване на логиката са формите и законите на правилното мислене. Мисленето е функция на човешкия мозък, която е неразривно свързана с езика.

2.1.Съотношение на езика и мисленето. Концепцията за знакови системи.

Когнитивното мислене, изучавано от логиката, винаги се изразява в езика, следователно логиката разглежда мисълта в нейния езиков израз. Функциите на естествения език са многобройни и многостранни.

език- средство за защита ежедневна комуникацияхора, средство за комуникация в научни и практически дейности. Езикът също се характеризира с такива Характеристика:да съхранява информация, да бъде средство за изразяване на емоции, да бъде средство за познание. Езикът е емблематичен информационна система, продукт на човешката духовна дейност. Натрупаната информация се предава с помощта на знаци (думи) на езика.

речможе да бъде устна или писмена, звукова или неаудиална (за глухи и неми), външна реч (за други) или вътрешна реч, изразена с помощта на естествен или изкуствен език. С помощта на научния език, който се основава на естествения език, се формулират разпоредбите на всички науки.

Изкуствените езици на науката възникват на базата на естествени езици . Те включват езиците на математиката, символната логика, химията, физиката, както и езиците за алгоритмично компютърно програмиране, които се използват широко в съвременните компютри и системи.

Дума и понятие. Име. Способността за опознаване на външния свят чрез идеи, които отразяват обектите в техните общи и съществени характеристики, създава общовалидна логическа форма на мислене - концепция. Без концепция е невъзможно да се формулират закони и да се подчертае предметната област на науката. Концепцията помага да се идентифицират определени класове неща и да се разграничат един от друг. Понятието се появява като резултат от абстракцията, тоест умственото изолиране на основните свойства на нещата и тяхното обобщение чрез отличителни черти.

езикслужи за изразяване на мисли. Имената не само обозначават определени предмети, но и изразяват една или друга мисъл. Тази мисъл (по-точно формата на мисълта) се нарича понятие.

Концепцияе форма на мисъл, изразена с име Нашите ежедневни и професионални разговори, речи, диспути се състоят от думи и изречения.

Сред думите, които използваме, най-важни са имената, тъй като те съставляват по-голямата част от думите.

Имее езиков израз, обозначаващ отделен обект, набор от обекти, свойство или връзка.

Имената се делят на: 1) прости, сложни, описателни; 2) собствен;3) са често срещани. Всяко име има значение или значение Значението или значението на името е начинът, по който името обозначава обект, тоест информацията за обекта, съдържаща се в името. Различните изрази, обозначаващи един и същ обект, имат едно и също значение или значение.

В логиката се прави разлика между изрази, които са номинални функции, и изрази, които са пропозиционални функции. Име функцияе израз, който при замяна на променливи с константи се превръща в обозначение на обект. Това е името на израз, който съдържа променлива и се превръща в вярно или невярно твърдение, когато името на обект от определена предметна област се замести с променливата.

В логическия анализ езикът се разглежда като знакова система.

Знак- е материален обект, използван в процеса на познание или комуникация като представител на обект.

Могат да се разграничат следните три вида знаци: 1) указателни знаци; 2) примерни знаци; 3) знаци - символи.

Индексни знацисвързани с обектите, които представляват, или въздействия с причини.

Примерни знациса тези знаци, които сами дават информация за обектите, които представляват (карта на терена, карта-чертеж), тъй като са в отношение на подобие с обозначените обекти.

Знаци-символине са причинно-следствено свързани и не са подобни на обектите, които представляват. Логиката изследва знаци от последния тип.

Към основните символи, които заместват основните понятия на логиката, концепцията за субекта или обекта на мисълта (логически субект) и предиката, т.е. признаци на предмета на мисълта, присъщи или неприсъщи на него (логически предикат), включват СИ П. Понятията „субект” и „предикат” се използват и във философията, така че от самото начало е необходимо да се установят, макар и не толкова радикални, но все пак съществуващи различия между техните философски и логически значения. Във философията „субект“ е както отделен човек, така и мислещо човечество, обществото като цяло, т.е. това, което се противопоставя на "обекта" - природата, света като цяло. В логиката „субект” е обект на мислене, нещо, към което е насочено нашето съзнание, нашето внимание, интелект, разум, за което се разсъждава, това е логическият субект на преценка. Това може да бъде всяко понятие, което отразява всеки реален или въображаем, материален или идеален „обект“. Следователно предметът на мисълта може да бъде всичко.

„Предикатът“ във философията и логиката почти съвпада по значение; това е всеки атрибут, който е присъщ или не е присъщ на конкретен субект, в логиката, разбира се, предметът на мисълта.

S е символ за обозначаване на субекта на преценката (предмет на мисълта, логически субект).

P е символът на предиката на съждението (логически предикат), т.е. понятие, отразяващо характеристика, присъща или неприсъща на обекта на мисълта (субект).

M е средният термин на умозаключение, обща концепция за първоначалните преценки.

„Е“ - „не е“ (същност - не същност и т.н.) - логическа връзка между субекта и предиката на преценка, понякога изразена с просто тире между „S“ и „P“.

R е символ на всяка връзка.

A (a) е символ на общо утвърдително твърдение („Всички ученици са студенти“).

E (e) е символ на общо взето негативна преценка („Всички ученици в тази група не са спортисти“ или, което е същото, „Нито един ученик в тази група не е спортист“).

I (i) е символ на частна положителна преценка („Някои ученици са отлични ученици“).

O (o) е символ на определена негативна преценка („Някои ученици не са отлични ученици“).

V е символът на квантора на общото (универсалността), в езика се изразява с думата „всички“, „за всички“ и т.н.

Аз е символ на квантора на съществуването, в езика се изразява с думата „някои“, „има такива“, „много“ и т.н.

/\ е символ или знак на свързващия логически съюз “и” (конюнкция).

V е символ (знак) на разделящото логическо обединение “или” (дизюнкция).

--> - символ на условен логически съюз “ако..., то...” (импликация).

<-->- символ на логическото обединение на идентичността, еквивалентност: „ако и само ако“, „ако и само ако“ (еквивалентност).

„Не“ е отрицателна частица, може да се изрази и с черта над знака, например: B, C.

Символ за обозначаване на необходимост.

Символ за обозначаване на възможност.

Въз основа на естествените езици възникват изкуствени езици на науката. Те включват езиците на математиката, символната логика, химията, физиката, както и езиците за алгоритмично компютърно програмиране, които се използват широко в съвременните компютри и системи.

именаса лингвистични изрази, чието заместване във формулата „S е P” вместо променливите S и P дава смислено изречение.

Имената са например „звездна нощ“, „Волга“, „Тамбов“ и „вечерен здрач“. Заместването на тези изрази в посочената форма дава смислени (макар и не непременно верни) изречения: „Тамбов е Волга“, „Вечерният здрач е звездна нощ“, „Звездна нощ е Волга“ и др.

Изречение (изявление)е езиков израз, който е верен или неверен.

функтор- това е езиков израз, който не е нито име, нито твърдение и служи за образуване на нови имена или твърдения от съществуващи.

Тема 3. Основни закони на логиката

3.1. Понятието "логически закон"

Първите три от тези закони са идентифицирани и формулирани от Аристотел, а законът за достатъчното основание е формулиран от Г. Лайбниц.

Изучаването на тези закони е необходимо и важно за разбирането на сложните дълбоки процеси, протичащи в мисленето естествено, независимо от нашето осъзнаване и воля, както и за използването на тези закони в практиката на умствената дейност. Нарушаването на законите води до логически противоречия и невъзможност да се разграничи истината от лъжата.

Закон за идентичносттаустановява изискване за сигурност на мисленето: когато използваме термин в процеса на размисъл, трябва да разбираме нещо определено под него. Следователно при разсъжденията е необходимо понятията и съжденията да бъдат еднакви по съдържание и значение. Това изискване е в сила, ако всяка трансформация се отменя от нейната обратна (нулева трансформация).

Неизменността на мисълта в хода на разсъжденията се фиксира с формулата А е А или А≡А, или не А не е А. Обективната основа на закона е във временно равновесие, останалата част от всяко тяло или процес.

Дори постоянното движение и промяна прави възможно разпознаването и идентифицирането на обекти. Това обективно свойство на нещо, събитие, да запазва идентичност, същото качество, трябва да бъде отразено от мисленето, което трябва да схване постоянството на обекта. Законът за тъждеството изисква понятията и съжденията да бъдат недвусмислени, без несигурност или двусмислие.

От този кратък преглед става ясно, че законът за тъждеството е универсален в смисъл, че обхваща всички форми на мислене без изключение, всяка мисъл като цяло.

Изисквания на закона за тъждеството и логически грешки поради нарушаването им.

Определени изисквания произтичат от закона за тъждеството, който обективно действа в нашето мислене.

Това са логически норми, насоки, разпоредби или правила, които са формулирани от самите хора на базата на закона и които трябва да се спазват, за да бъде мисленето правилно, водещо до истината. Те могат да се сведат до следните две:

1) Всяко понятие, преценка и т.н. трябва да се използва в същия специфичен смисъл и да се запази през цялото разсъждение.

Следното е свързано с това изискване.

2) Не можете да идентифицирате различни мисли и не можете да приемете еднакви мисли за различни.

Изисквайки сигурност, недвусмисленост на мисълта, законът за тъждеството същевременно е насочен срещу всякаква неяснота, неточност, неопределеност на нашите понятия и т.н.

В случаите, когато изискванията на закона за тъждеството са нарушени, възникват множество логически грешки. Те се наричат ​​по различен начин: " амфиболия"(двусмисленост, т.е. използването на една и съща дума-хомоним едновременно в различни значения), "объркване на понятията", "объркване в понятията", "замяна на едно понятие с друго" ( двусмислие), „подмяна на тезата“ и др.

Значението на закона за тъждеството. Познаването на закона за тъждеството и използването му в практиката на мислене е от основно значение, тъй като ви позволява съзнателно и ясно да отделяте правилните разсъждения от неправилните разсъждения, да намирате логически грешки - двусмислие, подмяна на понятия и др. - в чуждите разсъждения и избягвайте своите.

Във всяка реч - писмена или устна - трябва, в съответствие със закона за тъждеството, да се стремим към яснота на изложението и включва използването на думи и изрази в същия смисъл, разбираеми за другите и в естествени комбинации с други думи .

Много е важно да се спазват изискванията на закона за идентичността при дискусии, спорове и т.н. За да се гарантира, че спорът не е безсмислен, винаги е необходимо точно да се дефинира предметът на спора и точно да се изяснят ключовите понятия в него . За еквивалентни понятия можете и трябва да използвате думи-синоними. Просто трябва да запомните, че синонимията е относителна (думи, които са синоними в едно отношение, не са синоними в друго). И под прикритието на синоними понякога се използват напълно различни понятия. Ако се използват омоними, тогава е необходимо да се изясни точно значението, в което се приемат в този случай.

Закон за непротиворечивосттаизразява изискването за последователност на мисленето и отразява качествената определеност на обектите. От гледна точка на тази забележка, един обект не може да има взаимно изключващи се свойства, т.е. невъзможно е едновременно обектът да има и да няма никакви свойства.

Формулата на закона гласи: не е вярно, че А и не А са верни едновременно.

Законът за непротиворечивостта е пряко свързан със закона за тъждеството. Ако законът за тъждеството говори за известно равенство на обекта на мисълта със себе си, тогава законът за непротиворечивостта показва, че „този“ обект на мисълта трябва задължително да бъде различен от всички останали обекти. Така законът за непротиворечивостта има свое съдържание. Изразява се в следното: на един и същи обект не могат да се приписват противоположни характеристики едновременно и в един и същи смисъл. Ако противоположни характеристики се приписват на един и същ обект, тогава една от тях във всеки случай се приписва невярно.

Така че преценката не може да бъде едновременно вярна: този човек е добър специалист - този човек е лош специалист.

Обективното съдържание на закона е в отразяването чрез мислене на особените бинометрични характеристики на самата действителност. Тези противоположни знаци или конструкции правят възможно класифицирането на явления и подчертаването на положителните и отрицателните явления. Без да се направи това е невъзможно да се направи разграничение от коя започва умствената дейност. Логическият източник на противоречие е погрешна изходна позиция; резултат от необмисленост и непознаване на материята; неразвито, недисциплинирано мислене; невежеството и желанието за умишлено объркване на материята.

В същото време противоположните твърдения могат да бъдат верни в следните случаи:

1) ако говорим за различни характеристики на един обект;

2) ако говорим за различни обекти с един и същи атрибут;

3) ако говорим за един предмет, но той се разглежда в различно време и в различни отношения.

Обхват на закона за непротиворечивост. Този закон е преди всичко обобщение на практиката за опериране със съдебни решения. Той отразява естествената връзка между две съждения - утвърдително и отрицателно, връзката на тяхната несъвместимост в истината: ако едното е вярно, то другото със сигурност е невярно.

Съжденията се делят на утвърдителни и отрицателни, а те от своя страна на верни и неверни, което обяснява универсалния характер на закона за непротиворечивост. Тъй като простите съждения се оформят в сложни, законът за непротиворечивостта важи и тук, ако те са в отношение на отрицание.

Този закон важи и за понятията, а именно за отношенията между тях. Това е връзка на несъвместимост.

Така че, ако гората е „иглолистна“, тогава тя не може да бъде „широколистна“ (отношение на подчинение); ако човек е „щедър“, тогава той не може в същото време да бъде „нещедър“ (отношение на противоречие) или „скъперник“ (отношение на противопоставяне).

Законът за непротиворечивостта се намира и в умозаключенията. Например, на него се основават преки изводи чрез трансформиране на преценки. Тази операция е възможна само защото обектът на мисълта не може едновременно да принадлежи и да не принадлежи към един и същи клас обекти. В противен случай ще има логическо противоречие. В умозаключенията чрез връзката на съжденията в логически квадрат действието на закона за непротиворечивост се изразява в това, че ако някое съждение е вярно, то това, което е противоречиво или противоположно на него, ще бъде невярно. С други думи, и двете не могат да бъдат верни.

И накрая, законът на противоречието действа в доказателството. Той е в основата на едно от правилата за доказване: те не трябва да си противоречат. Без този закон опровержението би било невъзможно. Доказвайки истинността на една теза, не е възможно да се направи заключение за неистинността на противоположната или противоречива теза.

Изискването за последователност на мисълта и нейното нарушаване в практиката на мислене. Действието на обективния закон за непротиворечивост в мисленето поставя важно изискване към човека - последователност в неговите разсъждения, във връзките между мислите. За да бъдат нашите мисли верни, те трябва да бъдат последователни и последователни. Или: в процеса на каквото и да е разсъждение не можете да си противоречите, да отхвърлите собствените си твърдения, признати за верни.

Нарушенията на изискванията на закона за непротиворечивост са свързани с различни логически грешки - „логически противоречия“.

Значението на закона за непротиворечивостта. Особено важно е да се вземе предвид действието на закона на противоречието в науката, тъй като всяко научно разсъждение е повече или по-малко задълбочено, подробни, взаимно изключващи се мисли могат да бъдат разположени на различни места и просто са трудни за откриване. Още по-трудно е да се направи това, ако разсъжденията са разделени във времето: това, което е било утвърдено в един момент, може да бъде отречено в друг, незабелязано от самия говорещ. Но това не прави логическите противоречия да загубят своята вреда. Те представляват интелектуална „утайка“, която задръства нашите разсъждения и изисква постоянно пречистване, за да можем успешно да вървим към истината. Ето защо науката отдава основно значение на предотвратяването или премахването на логическите противоречия в него.

Едно от най-важните условия за изграждане на научна система е последователността на изходните данни („съгласуваност на системата от аксиоми“).

Друго условие е последователността на произтичащите от тях теоретични конструкции („последователност на самата теоретична система”). Ако в науката се открие някакво противоречие от логически ред, тогава те се стремят по всякакъв начин да го премахнат, като пречка за пътя на познанието на истината.

Логическите противоречия са нетърпими в ежедневната реч. Човек вече не е на уважение, ако по един и същи повод днес каже едно, а утре друго. Това е човек без принципи.

Закон за изключената средапредявява по-големи изисквания към преценките и изисква да не се отклонява от признаването на истинността на едно от противоречивите твърдения и да не се търси нещо трето между тях.

Законът за изключената среда се обозначава с формулата A е или B, или не B. Значението на тази формула е следното. Какъвто и да е обектът на нашата мисъл (A), този обект или притежава определено свойство (B), или не го притежава. Невъзможно е да е невярно както това, че обект А има свойство B, така и това, че обектът не притежава това свойство. Истината задължително се крие в едно от две противоречащи си съждения. Никакво трето твърдение за връзката на А към Б и не към Б не може да бъде вярно. Следователно тук има дихотомия, според която, ако едното от двете е вярно, то другото е невярно и обратното.

Този закон и неговото действие не се свеждат до бъдещето, където дадено събитие ще се случи или не. Законът е алтернативен при характеризиране на нещата, хипотезите и начините за решаване на проблемите, той изисква идентифициране на различни подходи и определяне на верния.

Законът за изключената среда и законът за непротиворечивостта са свързани. И двамата не допускат съществуването на противоречиви мисли. Но между тях има и разлики. Законът за непротиворечивостта изразява връзката между противоположни съждения. Например: „Тази хартия е бяла.“ - „Тази хартия е черна.“ Законът за изключената среда изразява връзката между противоречиви твърдения. Например: „Тази хартия е бяла.“ - „Тази хартия не е бяла.“ Поради това, в случай на закона за непротиворечие, двете преценки не могат да бъдат верни едновременно, но те могат да бъдат неверни едновременно, а третото решение ще бъде вярно - „Тази хартия е червена“. В случая на закона за изключената среда и двете съждения не могат да бъдат неверни едновременно, едното от тях непременно ще бъде вярно, другото ще бъде невярно и не е възможно трето, средно съждение. Ако съжденията, които са противоречиви по форма, се отнасят не до един обект, а до клас от обекти, когато нещо се потвърждава или отрича по отношение на всеки обект от даден клас и същото се отрича по отношение на всеки обект от даден клас, тогава истината отношенията между тях се установяват по правилата на „логическия квадрат“. Когато едно от съжденията потвърждава нещо по отношение на целия клас обекти или явления, а друго съждение отрича това по отношение на част от обектите или явленията от същия клас, тогава едно от тези съждения задължително ще бъде вярно, другото ще бъде невярно, а третото няма да се даде. Например: „Всички риби дишат с хриле“ и „Някои риби не дишат с хриле“. И двете твърдения не могат да бъдат едновременно верни или неверни.

Изискванията на закона за изключената среда и техните нарушения. Въз основа на този закон могат да се формулират определени изисквания към мисленето. Човек често е изправен пред дилема: да избира не от еднакви, а от взаимно отричащи се твърдения. Законът за изключената среда именно изисква избор – едно от две – според принципа „или – или“, tetrium non datur (няма трето дадено). Означава, че при решаване алтернативен въпросне може да се избегне категоричен отговор; Не можете да търсите нещо средно, средно, трето.

Значението на закона за изключената среда. Този закон не може точно да посочи кое от двете противоречащи си съждения е вярно. Но значението му се крие във факта, че ни поставя много специфични интелектуални граници, в които търсенето на истината е възможно. Тази истина се съдържа в едно от двете противоречиви твърдения. Няма смисъл да го търсим извън тези граници. Самият избор на едно от съжденията като истинно се осигурява със средствата на една или друга наука и практика.

ЛОГИКАТА КАТО НАУКА

1. Предмет на логиката

2. Появата и развитието на логиката

3. Език на логиката

4. Форми и закони на мисленето

1. Предмет на логиката

Ключови думи: логика, мислене, сетивно познание, абстрактно мислене.

Логиката (от гръцки: logos - дума, понятие, разум) е наука за формите и законите на правилното мислене. Механизмът на мисленето се изучава от редица науки: психология, епистемология, кибернетика и др. Предмет на научен логически анализ са формите, техниките и законите на мисленето, с помощта на които човек опознава света около себе си и себе си. Мисленето е процес на индиректно отразяване на реалността под формата на идеални образи.

Форми и техники на мислене, които допринасят за познаването на истината. Човек придобива знания за явленията на света в процеса на активно, целенасочено познание: субектно-обектното взаимодействие на човек с фрагменти от реалността. Познанието е представено от няколко нива, редица форми и техники, които водят изследователя до правилни заключения, когато истинността на първоначалното знание предполага истинността на заключенията.

Знаем, че първото ниво е сетивното познание. Осъществява се на основата на сетивата, тяхното разбиране и синтез. Нека си припомним основните форми на сетивното познание:

1) усещане;

2) възприятие;

3) представяне.

Това ниво на познание има редица важни техники, сред които са анализът и систематизирането на усещанията, подреждането на впечатленията в цялостен образ, запомнянето и припомнянето на придобити преди това знания, въображението и др. Сетивното познание предоставя знания за външните, индивидуални свойства и качества на явленията. Човекът се стреми да разбере дълбоките свойства и същности на нещата и явленията, законите на съществуване на света и обществото. Затова той прибягва до изучаване на интересуващите го проблеми на абстрактно теоретично ниво. На това ниво се развиват такива форми на абстрактно познание като:

а) понятие;

б) преценка;

в) умозаключение.

Когато прибягва до тези форми на познание, човек се ръководи от такива техники като абстракция, обобщение, абстракция от конкретното, изолиране на същественото, извличане на нови знания от предишни познати и др.

Разликата между абстрактното мислене и сетивно-образното отражение и познаване на света. В резултат на сетивното познание човек развива знания, получени директно от опита под формата на идеални образи, основани на усещания, преживявания, впечатления и др. Абстрактното мислене бележи прехода от изучаването на отделни аспекти на обектите към разбирането на законите, общи връзки и взаимоотношения. На този етап от познанието се възпроизвеждат фрагменти от действителността без непосредствен контакт със сетивно-обективния свят чрез замяната им с абстракции. Абстрахирайки се от един обект и временно състояние, мисленето е в състояние да подчертае в тях общото и повтарящото се, същественото и необходимото.

Абстрактното мислене е неразривно свързано с езика. Езикът е основното средство за фиксиране на мислите. В езикова форма се изразяват не само съдържателни значения, но и логически. С помощта на езика човек формулира, изразява и предава мисли, записва знания.

Важно е да разберем, че нашето мислене косвено отразява реалността: чрез поредица от взаимосвързани знания чрез логически последователности става възможно да се достигне до нови знания, без да се влиза директно в контакт с обективно-сетивния свят.

Значението на логиката в познанието следва от възможностите за извеждане на надеждни знания не само по формално-логически път, но и по диалектически.

Задачата на логическото действие е преди всичко да открие такива правила и форми на мислене, които, независимо от конкретните значения, винаги ще водят до верни заключения.

Логиката изучава структурите на мисленето, които водят до последователен преход от едно съждение към друго и образуват последователна система от разсъждения. Той изпълнява важна методическа функция. Същността му е да разработва изследователски програми и технологии, подходящи за получаване на обективни знания. Това помага да се подготви човек с основните средства, методи и методи на научно и теоретично познание.

Втората основна функция на логиката е аналитично-критичната, изпълнявайки която тя действа като средство за откриване на грешки в разсъжденията и наблюдение на правилността на изграждането на мисълта.

Логиката също е в състояние да изпълнява епистемологични задачи. Без да спира до изграждането на формални връзки и елементи на мислене, логическото знание е в състояние адекватно да обясни смисъла и смисъла на езиковите изрази, да изрази връзката между познаващия субект и познавателния обект, а също така да разкрие логико-диалектическото развитие на обективен свят.

Задачи и упражнения

1. Едно и също кубче, по страните на което има числа (0, 1, 4, 5, 6, 8), е в три различни позиции.

Използвайки сетивни форми на познание (усещане, възприятие и идея), определете кое число е в дъното на куба и в трите случая.

2. Светлана, Лариса и Ирина учат различни чужди езици: немски, английски и испански. На въпроса какъв език учи всяка от тях, тяхната приятелка Марина плахо отговори: „Светлана учи английски, Лариса не учи английски, а Ирина не учи немски“. Оказа се, че в този отговор само едно твърдение е вярно, а две са грешни. Какъв език учи всяко момиче?

3. Иванов, Петров, Степанов и Сидоров – жители на Гродно. Техните професии са касиер, лекар, инженер и полицай. Иванов и Пертов са съседи, винаги ходят заедно на работа с кола. Петров е по-стар от Сидоров. Иванов винаги побеждава Степанов на шах. Касиерката винаги ходи на работа пеша. Полицаят не живее до доктора. Единственият път, когато инженерът и полицаят се срещнаха, беше, когато първият глоби втория за нарушаване на правилата. трафик. Полицаят е по-стар от доктора и инженера. Кой кой е?

4. Приятелите мускетари Атос, Портос, Арамис и д’Артанян решават да се забавляват с дърпане на въже. Портос и д'Артанян лесно изпревариха Атос и Арамис. Но когато Портос обедини сили с Атос, те спечелиха по-трудна победа над д'Артанян и Арамис. И когато Портос и Арамис се биеха срещу Атос и д’Артанян, никой не можеше да дръпне въжето. Как се разпределят мускетарите по сила?

Направете логическа схема на връзката между нивата и формите на знанието.

2. Появата и развитието на логиката

Ключови думи: дедукция, формална логика, индуктивна логика, математическа логика, диалектическа логика.

Причини и условия за възникване на логиката. Най-важната причинапроизходът на логиката е високо развитиеинтелектуална култура още в древния свят. Обществото на този етап на развитие не се задоволява със съществуващата митологична интерпретация на реалността, то се стреми да тълкува рационално същността на природните явления. Постепенно възниква система от спекулативни, но в същото време демонстративни и последователни знания.

Специална роля в процеса на развитие на логическото мислене и неговото теоретично представяне принадлежи на научните знания, които по това време достигат значителни висоти. По-специално, успехите в математиката и астрономията водят учените до идеята за необходимостта от изучаване на природата на самото мислене и установяване на законите на неговия поток.

Най-важните фактори за формирането на логиката бяха необходимостта от разпространение на активни и убедителни средства за изразяване на възгледи в социалната практика. политическа сфера, съдебни спорове, търговски отношения, образование, обучителни дейности и др.

За основоположник на логиката като наука, създател на формалната логика се смята древногръцкият философ, античният учен на енциклопедичния ум Аристотел (384 – 322 г. пр. н. е.). В книгите на Органона: Топика, Анализатори, Херменевтика и др., мислителят развива най-важните категории и закони на мисленето, създава теория на доказателствата и формулира система от дедуктивни изводи. Дедукцията (на латински: умозаключение) позволява да се извлекат истински знания за отделните явления въз основа на общи модели. Аристотел е първият, който изследва самото мислене като активна субстанция, форма на познание и описва условията, при които то адекватно отразява реалността. Логическа системаАристотел често се нарича традиционен, защото съдържа основни теоретични положения за формите и техниките на умствената дейност. Учението на Аристотел включва всички основни раздели на логиката: понятие, съждение, умозаключение, закони на логиката, доказателство и опровержение. Поради дълбочината на представяне и общата значимост на проблема, неговата логика се нарича класическа: след като е преминала теста за истинност, тя остава актуална и днес и има мощно въздействие върху научната традиция.

Развитие на логически знания. По-нататъшно развитие на древната логика е учението на стоическите философи, които, заедно с философски и етични въпроси, считат логиката за „израстък на световния логос“, неговата земна, човешка форма. Стоиците Зенон (333 - 262 г. пр. н. е.), Хризип (ок. 281 - 205 г. пр. н. е.) и други допълват логиката със система от твърдения (предложения) и заключения от тях, предлагат схеми на изводи, основани на сложни съждения, обогатяват категориалния апарат и език на науката. Появата на термина "логика" датира от това време (3 век пр.н.е.). Логическото знание е представено от стоиците малко по-широко от класическото му въплъщение. Той съчетава учението за формите и операциите на мисленето, изкуството на дискусия (диалектика), умението да се говори публично (риторика) и учението за езика.

Фактът, че предметът на логиката не съвпада с предмета на природните науки, като физика, химия или биология, е съвсем очевиден. Трудности при разбирането на предмета на логиката възникват само при сравняването му с философията, психологията и математиката, тъй като философията и психологията традиционно се считат за науки за мисленето в различните му аспекти, а математиката, подобно на логиката, изучава общите връзки между определени абстрактни обекти.

За разлика от философията, която често се определя като „наука за общите принципи на природата, обществото и мисълта“, логиката, първо, не изучава пряко нито природата, нито обществото. Познаването на общите принципи на природата и обществото може да се получи в логиката само косвено, чрез изучаване на логосите, формите и методите на рационалното мислене. Второ, логиката, за разлика от философията, не изучава чисто субективните, ирационални аспекти на човешкото мислене. Легитимно е да се говори за различни видовеирационални (философия (например за екзистенциализма, ницшеанството и т.н.), но няма смисъл да се говори за ирационална логика поради самото определение на логиката. И накрая, трето, за разлика от философията, съвременната символична логика в процеса на изучаване на рационалното мисленето използва не само естествен език, но и различни формални езици, различни методи за дедуктивна формализация на знанието. В този смисъл можем да кажем, че логиката не е нищо повече от формализирана философия на рационалното мислене.

За разлика от логиката, психологията директно изучава не абстрактни обекти, не самото рационално мислене, а тези конкретни емпирични обекти, в които първоначално се проявява (въплъщава) човешкото мислене. Тези специфични обекти са възприятия (сетивни образи),формиращи в своята цялост това, което обикновено се нарича съзнание, вътрешния свят на конкретен човек (виж Глава 12). Разликата между възприятията, които възникват в съзнанието на конкретен човек, и абстрактните обекти, достъпни за разбирането на много хора, е много фина и често не се взема предвид. В крайна сметка до какво води психологизъм -идеята, че логиката уж е част от психологията. Още в началото на 20 век. от немския философ Едмунд Хусерл (1859-1938) психологизмът в логиката е подложен на задълбочена критика. Впоследствие непоследователността на психологизма се потвърждава от целия опит от развитието на логиката като точна наука.

Що се отнася до математиката, нейната предметна област е част от предметната област на логиката. Математиката (все пак класическата математика) изучава универсалните връзки между числата и абстрактните обекти, получени от числата. Следователно може да се счита за вид логика на числата или числова логика. Това се подкрепя от опита от развитието както на логиката, така и на математиката. По редица причини (по-специално поради практическите нужди в ефективни методисметки) математика, или числова логика, развивана дълго време независимо от логиката като цяло и като точна наука, развита много преди логиката окончателно да се отдели от философията като независима наука. Въпреки това дори Г. В. Лайбниц (1646-1716) излага тезата, че математиката е част от логиката. Впоследствие Г. Фреге (1848-1925) показа, че основните понятия на аритметиката и класическата теория на множествата могат да бъдат сведени до логически понятия. В началото на 20 век, поради откриването на парадокси в основите на класическата теория на множествата, работата по свеждането на математиката до логиката е спряна и след това е продължена отново едва през 80-те години, след като е намерено обяснение на парадоксите, което е последователно с основните логически принципи. В допълнение към опитите за логическо обосноваване на математиката, има интензивно навлизане на математиката в логиката, усъвършенства се формалният език на логиката, разработват се точни алгоритмични методи за логически изводи и доказателства, проблемите на прилагането на логиката в компютърните науки проучени.

Обобщавайки, можем да кажем, че логиката, от една страна, е точна философска наука (формализирана философия на рационалното мислене), а от друга страна, тя все повече се доближава до математиката като своя естествена съставка.

1. Пропозиционално смятане

Предмет на нашето изследване е логиката или по-точно формалната логика.

Обикновено формалната логика се занимава с анализ на предложения или предложения и доказателства; в този случай основното внимание се обръща на формата в абстрахиране от съдържанието.

Формална логика- наука за знания, получени от предварително установени и проверени истини, без прибягване до опит във всеки конкретен случай, а само в резултат на прилагане на закони и правила на мислене.

Първият етап на формалната логика е традиционна логика , който изучава универсалните човешки закони за правилното изграждане и съчетаване на мислите в разсъжденията (тъждества, противоречия, закони на изключената среда, закони на достатъчното основание) и формите на връзките на мислите в изводите (индукция, аналогия, дедукция).

Вторият етап на ФЛ е математическа логика , който използва математически методи и специален апарат от символи и изследва мисленето с помощта на смятане.

Нека представим концепцията формална логическа система .

Първата част от формалната система е нейният език. Езикът трябва да бъде избран така, че структурата на изреченията да отразява максимално значението им. За да дефинирате език, първо трябва да дефинирате неговите символи. В случая на руския език символите са букви, цифри и препинателни знаци. Повечето от нашите изкуствени езици ще имат безкраен брой символи. Всяка крайна последователност от езикови символи се нарича изразяване на този език. Ние ще изискваме някои изрази в езика да бъдат разграничени като формули на този език, под тях ще разбираме такива изрази, които утвърждават определен факт.