Экзамен зачет учебный год 2023 / sz.Логика
.pdf1
1. Понятлогиформеческоймыслилогзаконеческом.Предлогики. ет
Логика (гр . Логос) |
– понятие, |
разум,рассуждение |
|
|
|
|
||
• |
Объективнаялог |
ика – закономерности визмененииразвитявленийвещейобъективного |
|
|||||
|
мира |
|
|
|
|
|
|
|
• |
Субъективнаялогика |
|
– особенности изакономе |
рностив |
зменениивсвязяхразвитиимы |
слей |
||
• |
Наука озакономерностяхвсвязяхиразвитиимы |
слей, |
наукао |
мышлении |
|
Познание – отражение объективреальчелносознаниивеческомстий:
•1-аяступень – чувственное познание – непосредственное отражение действ. посредством органов
чувств видеощущений,воспри |
ятий,представлен |
ий.Нельзяпозвнаватьутренние,существенные |
|
сторонывеще |
йиявлений,зак |
оныихфункционирован |
ияразвития |
•2-аяступень – Абстрактное мышление – логическое познание – опосредованное отражение
|
|
действительности путемлогическойпереработкичувственныхданных |
|
|
|
|||||
|
|
o |
Можнопознаватьто,чтоненаблюдае |
|
|
тсянепосредственно |
|
|||
|
|
o |
Выделениеобщихсво |
|
йствявленийобобщениепонятийпредметах |
|
|
|||
Методлогики |
– понятия опредм |
етах |
|
|
|
|
||||
Мышление – активнаяцеленапра |
вленная деятельность.Ставя тсяопределенныецелиформируются |
|
||||||||
за,диляачи |
|
хд остиженияосуществляютсямыслительныедействия. |
|
|
|
|
||||
Предметлогики |
|
– формымысле |
йиформыразнанвит,особыеприиям мытоды |
познания,осо |
бые |
|||||
законым |
ышления |
|
|
|
|
|
|
|
|
|
Логическиетермины |
|
– термины,выражающиеобщие |
характеристикивещейявлений,аравно,мыслей: |
|
||||||
и,или,если |
|
-то,неверно |
-что,все |
ит.д . |
|
|
|
|
|
|
Процессвыявлениялогическойформы |
|
|
мысли – отвлечениеотсмысланело |
гичтерминовских,входящих |
|
|||||
всловосочетание |
|
|
|
|
|
|
|
|
||
Логическаяформамысли |
– структурамысли,выявл |
|
яемаяврезульчастичногоатевлеченияотсмыслов |
|
||||||
изначенийнелогическихтерм |
|
|
инов,входящихс |
ловосочетание – опустить илизампеременныминить. |
|
|||||
Частичноеотвле |
чение – сохранениеинф |
-ииотипетерминов,которыхпротвлеизошло |
чение, иотом, |
|||||||
гденаходилсяодинтермин, где |
|
|
– разные. |
|
|
|
|
|||
Класмыслей |
|
|
|
|
|
|
|
|
||
|
1. |
Понятие – мысль, |
вкоторойобобщенывклас |
|
сивыделеизнекотмноыпжреогонадметыства |
|
||||
|
|
основесистпризнаков,общеймытоль |
|
|
|
кодляэтихобобщенныхивыделенныхпредметов |
|
|
||
|
2. |
Суждение – мысль, вкоторойчто |
-либоутверждаетотрицаетсяили пр, свойствахдметего |
|
|
|||||
|
|
илиотношенияхмеждупредметами |
|
|
|
|
|
|
||
|
3. Умозаключение – процесс получениязнания,выраженногосуждении |
,издругихзнаний,также |
|
|||||||
|
|
выраженныхсуждениях |
|
|
|
|
|
|
||
Логическиезаконы |
|
– связимеж |
думыслями |
поформам,прикоторыхистиноднойобуславливаетть |
|
|||||
истинностьпрочих. |
|
Установлэтихсвязтребуйние |
|
|
ет заменынелог |
ическихтерминовнапроизвольные |
|
|||
терминытехже |
|
ипов |
ыяснения,окажетсялиистиннполучаемоевысказываприистинностиие |
исходных |
||||||
Формальнаялогика |
|
– наукаоформахмыслей, формально |
|
-лог.з |
-нахидр.связяхиотношенияхмежду |
|
||||
мыспоихл.формамогями. |
|
|
|
|
|
|
|
|
2. Историязн |
ачениедляю |
ристов |
2
Значениелогикидляюр стов |
|
. |
|
|
|
|
|
|
|
|
|
||||
- умениедаватьопределения,класстроить, ифицироватьаргуме |
|
|
|
|
нтациюопровержение. |
|
|
|
|||||||
- ускоряетнахождениеошиб |
|
|
оквходесудебногозаседа |
|
ния. |
|
|
|
|
|
|
||||
- помогаетстроитьсудебно |
|
|
|
-следственныеверсии,составлять |
|
|
четкиепланырасследо |
ванияпреступлений, |
|||||||
составлятьофициальныедокументы:протоколыдопросаосморапортов, и. |
|
|
|
|
|
|
д. |
|
|
|
|||||
- знаниелогическихприемовпозволяетнаправля |
|
|
тьходдискунадосистиныжениети |
|
|
|
|
|
|||||||
- дляпрогнозирования |
преступиоценкиости |
|
деятельнправоохранительнсти |
ыхорганов |
|
|
|||||||||
- длянормотворчествалогика( ) |
|
|
|
|
|
|
|
|
|
|
|
||||
Историялогики |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Античность |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Формальнаялогикапояв |
|
|
иласьвДревнейГреции |
|
в VI-V до н.э. , чутьпозднеепоявилас |
ь вИндии . Позднее |
|||||||||
греческаялогикараспространиласьвЕв |
|
ропеинаБлижнем |
|
Востоке,аиндийская |
|
– в Китае,Я |
понии,Монголии, |
||||||||
Индонезии. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Разрабатывалась |
всоответствиизап |
росамисудопроизводства |
иораторскогоискусства, |
|
т.к.часто |
||||||||||
судрешениебноезавис |
|
|
|
елоот |
гическогопо |
стречиоенобвиобяняемого |
|
|
вин.Всилуразногласийтеля |
|
|
||||
межсудьями |
|
появиласьнеобходимостьвыработкилогиченорм,сужденийких |
|
|
|
|
|
позволяющихприйтик |
|
||||||
едимн. омуению |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ВГр |
еции |
разрабатывали |
Парменид, |
Зенон, |
Сократ, Платон. Однако,основателемгики |
|
|
считают |
|||||||
Аристотеля – автора «Органона» (орудияпознания). |
|
|
|
|
|
|
|
|
|
||||||
Логикасоздвеляаваласьдискуссения |
|
|
|
|
ий,поэтомуна |
зываласьдиалектикдиалег( ой |
|
– спорю) |
.П осле |
||||||
Аристотеляразр |
абатывалась стоиками. |
|
|
|
|
|
|
|
|
|
|||||
СредниеВека |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Называетсхоластич.Ра цвяетской |
|
– XIV век, Уильям Оккам, Уолтер Бёрли, АльбертСа |
ксонский. |
||||||||||||
Новоевремя |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ФренсисБэкон |
|
– |
«Новый Органон»,содержалосновыиндукметивных |
|
|
од,копвторыезднее |
|
|
|||||||
усовершенствовал СтюартМилль |
– методы установленияпричинныхсвязеймежд |
|
|
|
уявлениямиметод( |
ыБэкона - |
|||||||||
Милля). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Логика,основаучеАрни,наявомногомстотеляидополненнаяиразвитая,существоваланачала |
|
|
|
|
|
|
|
|
XX |
||||||
в. ВначалеXXв.влогикепроизошласвоеобразнаянаучнаяреволюция, занная |
|
|
|
|
|
|
широкимпр |
именением |
|||||||
методовтакн |
азываемойсимволической,илиматемати |
|
|
ческой,логики.Идепоследнейвысказ |
|
|
анемецкимы |
||||||||
ученым Лейбницем. ИдЛеойбнявозможносипродукцасведениярассуждениитивностиквычислениям |
|
|
|
|
|
|
|
|
|||||||
течениемногихлетненаразвиодила |
|
|
|
|
тия применения. |
Символическаялогика |
начасоздаватьсялишь |
|
|
||||||
серединеXIXв.Такимобр,назомча |
|
|
|
|
лутекущегостолетиясимв оформиласьческаягивкачестве |
|
|
|
|
|
|
||||
относительносамостоятедисциплврамкахлогьнойнаукины.ческойИменноиспользование |
|
|
|
|
|
|
|
|
етодов |
||||||
симвлоолгикической |
|
|
|
тличает логикусовременную |
оттрадици |
онной.Вмес |
тестемвсовременнойлогике |
|
|
||||||
сохраняютсявседостижениявсяпроблематтрадицлог. икионнойа |
|
|
|
|
|
|
|
|
|
|
|||||
Диалектичогтакжкамедрпроисхожденскаятвнее.И иалектеимышленияики |
|
|
|
|
|
|
|
восходятк |
|||||||
древневосточнойи |
античнойфилософии.Вразвитдиалек |
|
|
тическойлогикивнеслиопределенный |
|
|
клад |
||||||||
ПлатониАристотель,КлассическиеформыдиалогикеектпрнемецкиеческойдалифилН свогофы |
|
|
|
|
|
|
|
|
|
|
|||||
времени: |
Кант,Фихте,Шеллинг |
|
|
и,вособенности, |
Гегель.Диа |
лектическуюлогикунам |
|
атериалистической |
|||||||
основеразрабатывал |
|
|
и |
К.Маркс,Ф.ЭнгельсиВ.И.Ленин |
|
|
.Дал |
ьнейшееразвитиеонаполучилатрудах |
|
|
|
|
3 |
|
|
|
|
|
|
современныхфилософов. |
|
|
|
|
|
|
3. Языккакзнаковаясистема.Спецификаязыкаправа |
|
|
|
|
|
|
Спецификаязыкаправ. |
|
|
|
|
|
|
Этаспецификазаклю |
чаетсявупотреблении |
юридическихтерминов, |
|
|
||
“Ночноевремя |
— этовремяс10ч |
асоввечерадо6часовутра”,Коренной“ москвич |
|
— эточел,которыйвек |
|
|
прожилвМоскве40лет”,Участник“ BOB |
|
— эточел,кослужилторыйвекдействующейармии”. |
|
|
||
Такспособвведй |
енияюридических |
терминовпосре( выдствомел |
енияодногоизс |
мыслов, которы |
х |
|
выражупотребляетсявестниеязыкественном) |
|
|
— неединственный.Другойспособ |
— приданиевыражению |
|
|
ещёинекоторогодополнительногосмысла, сравнениюобщепринятым.Пример: |
|
|
|
“Совершеннымвпервые |
|
|
являпре,тсяступление |
еслионосоверше |
нофактическипе |
рвыйраз,илистёкрокдавностипривлеченияза |
|
|
|
предыдущеепрест,илиплендимснятаилиость”гашена. |
|
|
|
|
|
Языкказнаковаясистема
Язык – средствоформирования |
|
мыслей.Вязык |
е закрепляютсязультатымышления. |
Язык логики |
||
высказываний, шиспользуемыйрокопривыявязеймысждуниипоихлогическимямиформам. |
|
|
||||
Осндостоинствовнэтязызаегоключаетсятом,чтоеговыраженияоднозначны. |
|
|
|
|
|
|
Прилогическоманализеязыкра |
|
ссматриваетсякакзнаковаясис |
тема. |
|
||
Знак — |
этоматериальн |
ыйобъект,исп |
ользуемыйвпроцессепознанияилиобщениявкачестве |
|
||
представителякакого |
-лиоб.оъекта |
|
|
|
|
Типызнаков
•Знаки-индексы - знаки,кот.связаныпредставляемымиимиобъектамиматериально,как
следствпричдым( иянами |
– наличиеогня) |
•Знаки-образы - знаки,кот.самипосебенесутинфопредставляемыхмацимобъектахи,ю
посколькунаходяти |
сявотношенподобсобозначиобъеия(а.к,емымипртами |
|
местности,картина,чертёж) |
|
|
• Знаки-символы |
(изучаютсялогикой) |
- знаки,кот.несвязаматериальнонесходны |
представляемымиимиобъектами
Знакиимеютзначения:
•Предметное – объект,кот.представляетсяобо( )знакомчается
• |
Смысловое – выражзнакохаремая |
-каобъекта,представителемкот.явл |
яетсязнак |
– информация об |
|
|
этомобъекте |
|
|
|
|
Америк.философЧарльзПирсзаложилосновыособой |
наукиознаках |
– семиотики: |
|
||
1. |
Синтаксис – исследотнмеждуознакамиваниешенийправ( постлароенияеобразования |
|
|
||
|
выраженийязыка),сотвлечесмысловизначениием |
йзнаков |
|
|
|
2. |
Семантика – |
исследованиеотн |
ошениймат.объек,выступкачов.знак,посколькующихвни |
|
|
|
являютсяоднимизср |
-вустановлениясвязизнаковихпредмет.значений |
|
|
|
3. |
Прагматика – изутогочто, енприотдельныевносятличности,группывпониманиезна |
|
к,отношенияв |
||
|
ч-казн,такжекам |
отношениямежлюдьмивпроцессеузнак. |
общения |
|
4
4. Учениелог |
|
икио |
бименах |
|
|
|
|
|
|
|||
Имя – один изв |
идовзнакслово, |
|
|
/словос,обозначетание |
чающеепредмет |
.У чениеобим нах |
– теория |
|||||
именования. |
|
|
|
|
|
|
|
|
|
|
|
|
Имя – знак, |
следовательно, |
имеетзн |
|
ачение: |
|
|
|
|||||
1. |
Предметное (можетнеиметь) |
|
|
– предмет,обозн |
ачаеэтимыйенем |
|
|
|||||
2. |
Смысловое (обязательноимеет) |
|
|
|
|
|
|
|||||
|
a. |
Смысл (концепт) |
– |
выраженнаяязыкеинф |
-яопредметах,позволяю |
|
щаяоднозначно |
|||||
|
|
|
|
выделитьпредметы,являющиесязначени |
|
|
|
емимени |
|
|
||
|
b. |
|
Идея – зрительныйобраз( |
|
интуитивноепредставл)предм,обозименентовиеачаемых |
|
м |
|||||
Тимпы |
ён |
|
|
|
|
|
|
|
|
|
|
|
1. |
Единичныеиме |
на – обозначаютпредме1 Луна(,столицаРосси |
и) |
|
|
|||||||
2. |
Общие имена – общиедляпр некодметоров |
гокласса .Значен ие – предметы некоторогокласса, |
||||||||||
|
содержащиебодноголееэлем нта |
|
|
|
|
|
|
|
||||
Объем имени – класс,котсоставляютрыйпредме |
|
ты |
|
|
|
|||||||
1. |
Уединичимениого |
|
– класс, |
состоящийиз1 |
предмета |
|
|
|||||
2. |
Уобщего имени – класс, |
состоящийизнесколькихпредметов |
|
|
|
|||||||
|
a. |
|
Универсальныеимена |
|
|
– общиеимена,объемомкоторыхявляетсявесьуниверсум |
|
|
||||
|
|
|
|
рассуждобласть( предмения |
|
|
|
т,окотовведетрасой)сУнив.уждязавиеотниерсумит |
|
|
||
|
|
|
|
контекста |
|
|
|
|
|
|
|
Могутбытьименасразнсмыиодслами |
|
|
нимобъемкрупнейший( гоЕврмрод,столицаРоссиипы) |
|
,но |
|||
нетсоднсмысломиразнымобъемом. |
|
|
|
|
|
|
|
|
1. |
Мнимыеимена |
– обозначаютпредметы,несуществующие |
|
вуниверсумерассрусалка( ,ждения |
||||
|
вечныйдвигатель) |
|
|
|
|
|
|
|
|
a. |
Универсум – предм,сущетыс |
твующиеобъекти |
внойреальности |
|
|||
|
b. |
Объемимени |
– пустое множество |
|
|
|
||
2. |
Действительныеимена |
– значениямиявляю |
тсяпредметы,входящиеуниверсумрассуждения |
|
||||
Основпринципыупотребые |
|
ленияимен |
|
|
|
|||
1. |
Принциподнозначности |
– 1) еслиимяединичное,выражение,используемоекач ст |
|
веимени, |
||||
|
должнобытьименемоднлькопредметаго |
|
|
; 2)еслиим |
яобщее,товыражедолжбытьниео |
|||
|
общимдляпреодногклассаметов |
|
|
|
|
|
|
|
2. |
Принципвзаимозаменяемости |
– |
еслив |
сложном именизаменитьча,всвоюочередь |
|
|||
|
являющуюся именем,др |
угим именстемжзначеним,то получевниемнного |
|
результате |
||||
|
такойзаменыслож |
ного именидолжнобытьтемже,чтоизначениеисходногосл |
|
ожного имени |
||||
|
(напр.в,предложенииЗемля« вра |
|
щаетсявокругСолнца»заменим |
мяСолнце« »наимяцентральное« |
||||
|
телоСолнечнойсистемы» |
|
=>значенияэтихимёнсовпадут |
|
) |
|
||
3. |
Принциппредметности |
|
– ввысказыв аниях должноутверждаться/отр |
ицатьсянечтозначениях |
имен,входящихпредложения,анесамихименах |
|
|
|
|
|
|
|
a. |
Кавычковыеимена |
– значекотниямимоенявлятьсягутрыхмена |
|
|
Такиеслучаине |
||
|
противоречатпринципупредметности( |
|
напр.в,предложсознаниеиМатер« перв, ичная |
|
|
||
|
вторично»материя«» |
|
- этоимяобъект. |
реальности,авпредложМат««» енриия |
- |
||
|
философ.категория»материя«» |
|
- этоимяимени |
,имякатегории |
) |
|
|
b. |
Автонимноеупо |
треблеимёние |
- именимениявляетсясамосходноеимя( |
|
напр.в, |
||
|
предложении« |
Словос |
толсостоитизбукв4»словостол«»являетсяименемсамогоэт |
|
|
ого |
5 |
|
|
|
|
|
|
|
|
слова) |
|
|
|
|
Способыуп |
отребленияимен |
|
|
|
|
|
|
1. |
Имя простовыделяетпре |
предметы( ) |
|
|
|
|
2. |
Предметы,обо |
значаим,расенеммые |
сматривопределенномаются |
пекте |
5. Основныесеманкатегориивыраженийическязыка
Выражязыкаденлятсянияклассывзависимостиоттиповвыражаемых |
имис мыслов,атакжеоттипов |
|
объект,котонивбозначрые |
аютилипредст.Этиклназвляютссываются |
семанкатегориями.ическими |
Предложенделятсянаклассывзавиоттогоясим,выражаютлиосужденияти,вопросы,нормыт..
Средивыражений,входящи |
хвпредложенияиграющ |
ихвних |
самостоятельнуюроль,выдел |
яют |
|
дескриптивные и логическиетермины. |
|
|
|
||
К дескриптивнымтерминам |
относятся: |
|
|
|
|
1. |
Единичименаые |
; |
|
|
|
2. |
Общиеим на |
; |
|
|
|
3.Знаки свойств и отношений;
|
a. |
Св-во – то,чемотличаютсядругдругапредмявлетыния |
|
|
|
(напр.люди, :высокие |
– низкие, |
|
||||
|
|
черноглазые - голубоглазые). Отномысляхв св |
-вокпредмету,мыполучаемист.лож/. |
|
|
|
||||||
|
|
предложение. |
|
|
|
|
|
|
|
|
|
|
|
b. |
Отношение - дляполученияист.лож/. |
|
предложенияего( |
отношение)следует |
отнестив |
|
|||||
|
|
мысляхкпредметамупорядоченнойпа, ойкиы.. ( |
|
|
|
напр.,больший«,чем» |
|
(2-местное) |
, |
|||
|
|
«расположенныймежду» |
(3-местное) |
ит.п. |
). |
|
|
|
|
|
||
4. |
Знаки признаков; |
|
|
|
|
|
|
|
|
|
||
|
a. |
Признак – наличие/отсутствиепредмтогоилииногосвта |
|
|
|
-ваилиотношениякдр. |
|
|||||
|
|
предметам.Пр |
изнакпа,тр,ыойки… |
|
n-кипредметов |
– наличие/отсутствиек/отношения |
|
|
||||
|
|
меэлементамждуё |
и( напр.в,предложенииэ« |
тотстолжё»:являетсятый«жёлтым» |
|
- 1- |
||||||
|
|
местныйпреди |
кат,признака, словожелтый« » |
|
|
- знаксв |
-ва). |
|
|
|
||
5. |
Знаки предметныхфун |
кций. |
|
|
|
|
|
|
|
|
||
|
a. |
Знакипредметныхф |
-ций (функционал ьныезнаки/п |
редметныефункторы)выражают |
|
|
||||||
|
|
предметныеф |
-ции. |
|
|
|
|
|
|
|
|
|
|
b. |
Ф-ция – соответствие, силук. бъектыпредмет( , |
|
|
n-кипред)изнек.множестваетов, |
|
|
|||||
|
|
называемого областью |
пределения ф-ции,соотносяобъектамииздр.того/жесамогоя |
|
|
|
|
|||||
|
|
множества,называемыми |
значениямиф |
-ции. |
|
|
|
|
|
|||
|
c. |
Предметнаяф |
-ция – ф-ция,значениямикоторойявл |
|
|
яютсяпредметы |
(напр., |
sin, log,масса+, |
|
|||
|
|
(Земли) |
). |
|
|
|
|
|
|
|
|
|
Предметной |
называетсяфункция,значе |
ниямикоторойявляютсяпр |
едметы. |
Примерыпредметных |
|
||
функций: |
sin,масса.log,Прим+, |
енивфункциональныйзнакмасса“”единичимеЗемля“ ”,получимвму |
|
|
|
||
качествезна |
ченияед ничноем“ яассаЗемли”,обозначающееопределенвеличи,т..предметную |
|
|
.Так им |
|||
обр,дафункцияннаязомсопоставляетпредммат( риальнты |
|
ыеобъекты,обладающиема |
ссой)другими |
|
|||
предметамивеличинами( массы). |
|
|
|
|
|
|
|
Основными логическтерминами |
русского языкаявляютследующиесловаялово:есть“” очетания |
|
|
||||
(“суть”),и”,или“”,“если“ |
|
|
...то...,не”,неверно“,что...всякий”,”каждый“(“”), “ |
|
все”,некоторые“ ”,тот..“ |
.который, ...”. |
|
Рассмотрпредл:Если“нодинчлжениемс Ивановыхмьинеявляе |
|
тсячестнымчелов,иСтепанком |
|
||||
— члсеИвановыхмьи,тоСтепан |
|
еявляечесчелтнымся |
овеком”иопред,какимсемантическимлим |
|
|
||
категориотносям |
тсявыражения,являющиеся |
егочастями.Вэтомпредлесли“...т...о, жении” |
— логический |
||||
термин,ни“один” (“ |
|
все”) |
— логическийтермин,чл“ Ивановыхмьи” |
— общимя,н“”ее |
— логическийтер |
мин, |
6 |
|
|
|
|
|
|
|
|
“является”есть(“”) |
— логическийтермин,честный“ человек” |
|
— общееимя, ”“ |
|
— логическийтермин,Степан“ ” |
— |
||
едимяничное. |
|
|
|
|
|
|
|
|
6. Суждение.Простыесуждения |
|
:атриоббутивные |
отношениях |
|
|
|||
Суждение – мысль,вкоторойутверждает |
сянакл/ситуацийичиеилисв |
|
язеймеждуситуациями.Вязыке |
|
||||
суждениевыраженопредлможцевкачествениватьсяистинногом/ложного. |
|
|
|
|
|
|
||
Простые суждения – суждения,вкот. |
нельзявыделитьчасть, вляю |
|
щуюсясуждением |
: |
|
|||
1. Атрибутивныесуждения |
– суждения,вкот.вы |
ражаетсяпринадлежность |
предметамили |
отсутствие |
||||
предметовк/лсв |
|
-в; |
|
|
|
|
|
|
•Покачеству:
ØУтвердительные – полное/частичноевключклассание |
предметовкласспредметовили |
|
|||
принекадлежность.предмета |
классупредметов |
|
|||
ØОтрицательные – полное/частичное |
невключениеклассапредметовкласспредметов |
|
|||
или непринекадлежность.предмклассутадметов |
|
|
|||
• Покол |
-ву: |
|
|
|
|
ØЕдиничные – принадлежность/непринад |
лежностьпредмклассуетадметов |
(Австрия – |
|||
европейскаястр |
ана) |
|
|
|
|
ØОбщие – включение/нев предметассаючение |
овкласспредметов |
(Всезвёздыне |
|||
являюобитаемымися |
|
) |
|
|
|
ØЧастные – частичное включение/нев предметовассаючениеклассдметов |
(Нек. |
||||
преступлениясовершаютсякосвеннымумыслом |
) |
|
|||
Вкажд.атрибутивном |
сужденииесть: |
|
|
|
•Терминысуждения:
ØСубъект (S, s) – лог.подлежащее
ØПредикат (P) – лог.сказуемое
•Связка
• *Кванторн ыекол( |
-венные)слова |
– нек.все, идр. |
Прешениивоопросаавильно/неправрассужденспользуетсяильности |
делениеатрибутивных |
|
суждений покачествуикол |
-вуна: |
|
•Общеутвердительные( SaP)
•Общеотрицательные( SiP)
•Частноутвердительные (SeP)
•Частноотрицательные (SoP)
• |
*Единичноутвердительные( |
s е/суть |
P) |
|
• |
*Единичноотрицательные( |
s неесть/несуть |
P) |
|
S и P суждениямогутраспределенывзяты( |
|
полномобъёме)/нераспределенывзяты( |
невпол нобъёме). |
|
Вобщединичныхи сужденияхраспредсубъекты,в лены |
|
|
отрицательных – предикаты.Остальные |
|
терминынераспределены. |
|
|
|
|
2. |
Сужденияоботношениях |
– определёнотношеимесил(етнеиоеимесет |
а)между n-ками |
7
предметМоскванапр(., «бо |
льшеРязани» |
- |
отношениебольший« |
»имесМосквоймеждуети |
|||
Рязанью) |
|
|
|
|
|
|
|
• |
Покачеству: |
|
|
|
|
|
|
|
ØУтвердительные – предметынаходятсявопределёнотношенииом |
|
|
||||
|
ØОтрицательные – предметы не находятсявопределёнотношенииом |
|
|
||||
• |
По кол-ву (взависимостиот |
n-местных) |
: |
|
|
||
|
ØЕдинично- |
|
|
|
|
|
|
|
- |
единичные (ИвышеановПетрова |
) |
|
|
||
|
- |
общие (Ивановзнавсетх |
|
преподовюрфака |
) |
|
|
|
- |
частные( |
Ивановзнанек.чемпионовтмира |
|
) |
|
|
|
ØОбще- |
|
|
|
|
|
|
|
- |
единичные (ВстудеюрфзнаИвановатыютка |
) |
|
|||
|
- |
общие (Встудеюрфзнавсехтыпрютка |
|
|
еподовюрфака |
) |
|
|
- |
частные (Встудентыюрфака |
|
знаютнек.чемпионов |
мира) |
||
|
ØЧастно- |
|
|
|
|
|
|
|
- |
единичные (Нек. студеюрфзнаИвановатыютка |
) |
|
|||
|
- |
общие (Нек.студеюрфзнавсехтыпреподовюткаюрфака |
|
) |
|||
|
- |
частные (Нек.студеюрфзнанекты.чемпионовюткамира |
|
) |
7. Сложныесуждения
Слож.суждение |
– суждение,вкот.мо |
жновыделитьчасть,являющуюсясуждением. |
Способобразования:
1.Изпро.ислож. ут дений
2.Спомощью:
•Лог.союзесли(…т…о,или;)в
•Отрицанияневерно( ,что…)
• |
Модальныхтерминвозм( ,чт…необходимо;вжно,что…случа; |
йно,что…) |
|
||
• |
Ит. д. |
|
|
|
|
1. Соединительныесуждения |
– суждения,вкот. верждаетсяналичили2болситуаций( |
|
напр., |
||
Понятыеприсутспротоколсоставляетсявуют |
|
). |
|
|
|
Чащевсеготакиеутввыражаютржденияпосредпредложений,содержащихятвом |
союзи»« |
.Он |
|||
обозначается символом«&» |
,наз ывается знакнеопределённой( м)конъюнкции |
. Суждениясэтимсоюзом |
– |
||
(неопределённо)конъюнктивные |
|
. |
|
|
8 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
А& B – формаконъюнктивногосуждения |
. |
|
|
|
|
|
|
|
|
|
|
|||||
|
A |
|
|
|
|
B |
|
|
|
|
|
А & B |
|
|
|
|
|
и |
|
|
|
|
и |
|
|
|
|
|
и |
|
|
|
|
|
и |
|
|
|
|
л |
|
|
|
|
|
л |
|
|
|
|
|
л |
|
|
|
|
и |
|
|
|
|
|
л |
|
|
|
|
|
л |
|
|
|
|
л |
|
|
|
|
|
л |
|
|
|
|
Последовательно-конъюнктивныесуждения |
|
– суждения, |
вко |
|
торых |
утверждаетсяпосле |
довательное |
|||||||||
возникновениеилисущество |
|
ваниеили2болееситуац.Ониобразуютсяиилий2болеесуждений,при |
|
|
|
|
→ |
→ (…азатем,…; …, |
|
|||||||
помсоюзов, щибозначаемыхсимволами |
|
(знакамипоследовательнойконъюнкции) |
|
ониобразуются( |
|
|||||||||||
аз атем…, |
азатем…и.д).взависи |
|
мочисластисуждений,изкот. |
|
|
|
напр.Были, глашены |
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
& |
, & |
|
|
||
поня,азатыеем |
|
|
составленпротокол |
). |
|
|
|
|
|
|
|
|
|
|
||
А &→ B – форма последовательно-конъюнктивногосуждения. |
|
|
|
|
|
|
|
|
||||||||
Одновременно-конъюнктивныесуждения |
|
( ') – суждения, |
вкот.в |
ыражаетсяодновремен |
ное |
|||||||||||
существование/возникновение2ситу |
|
аций( напр., |
Произввыемкадокументовдитприсутспонятвуютые |
|
|
|
|
). |
||||||||
А &' B – формапоследовательно |
|
& |
|
|
|
|
|
|
|
|
||||||
-конъюнктивногосуждения. |
|
|
|
|
|
|
|
|
||||||||
2Разделит. сужденияльные |
|
– суждения,вкот. вержда |
етсян |
аличие 1 из2,ит.д.3 |
|
ситуаций: |
|
|||||||||
1. |
Дизъюнктивноесуждение |
|
((нестрого)разделительное, единительно |
|
|
|
-разделительное) |
– утверждается |
||||||||
|
наличиепокрайнситуациймериз12е |
|
|
(v – или – (нестрогая)дизъюнкция |
|
) |
|
|
|
|||||||
|
A |
|
|
|
|
B |
|
|
|
|
|
А v B |
|
|
|
|
|
и |
|
|
|
|
и |
|
|
|
|
|
и |
|
|
|
|
|
и |
|
|
|
|
л |
|
|
|
|
|
и |
|
|
|
|
|
л |
|
|
|
|
и |
|
|
|
|
|
и |
|
|
|
|
|
л |
|
|
|
|
л |
|
|
|
|
|
л |
|
|
|
|
2. |
Строго-дизъюнктивное суждение (строго -разделительное) – утверждаетсяналичие |
|
ровно 1из2 |
или |
||||||||||||
|
более ситуаций (v – или…или…, |
- строгаяд |
|
изъюнкция) – истолькоиннотогда,когдаистолькоинно1 |
|
|
|
|
||||||||
|
суждениеизсоставляющегосужденийх |
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
• |
|
A+, … A- |
) – знакn -местной строгойдизъюнкции |
, где n > 2 (напр., 3 |
-местная: |
илиА,илиВ,или |
|
|||||||
|
|
|
( |
|
||||||||||||
|
|
|
С). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A |
|
|
|
|
B |
|
|
|
|
|
А v B |
|
|
|
|
|
и |
|
|
|
|
и |
|
|
|
|
|
л |
|
|
|
|
9 |
|
|
и |
л |
и |
л |
и |
и |
л |
л |
л |
3. |
Условныесуждения |
– суждения,вкот. верждае,чтоналичиеоднсиотуациисяйбуславливает |
|
||||
наличиедругой |
(импликация → - если…то…, |
): |
|
|
|||
1. |
Необходимое условие дляданногособыт |
ия – при его отсутствииэтонебытпроисходите |
(Наличие |
||||
|
кислородаявляетсянеобходимымусловиемдля |
|
|
того,чтобыогоньпродолжалгореть |
) |
||
2. |
Достатусловиечное |
дляданногособытия |
– всякраз,когдаимеетсяйэтоуслов |
ие,событпроисходите |
|||
|
(Выпадениедождя |
являедостсяато |
чнымусловиемдлятого,чтобыкрышидомовбылимокрыми |
) |
|||
Видыусловий |
: |
|
|
|
|
|
|
1. |
Достаточные,но необходимы е (Делчимостьсла |
N на10являедост,нонеобходимымсяаточным |
|
||||
|
условиемегоделина ости |
2) |
|
|
|
||
2. |
Необходимые,нонедостаточны |
е (Делчимость |
сла N наявляется2 необх,нонедостаточнымдимым |
|
|||
|
условиемегоделина6 ости |
|
) |
|
|
|
|
3. |
Необходимые идостаточны |
е (Делчимостьсла |
N наи2является3 необходимымдостаточным |
|
|||
|
условиемегоделина6 ости |
|
) |
|
|
|
|
Вусловномсужден |
|
ии: |
|
|
|
|
|
1. |
Основание – часть между «если»то« |
» (ан тецендент) |
|
||||
2. |
Следствие – часть после «то» |
(консеквент) |
|
|
|||
Условноесуждение |
– суждение,вкот.ситуация,описываемаяоснованиемявляедосутатялочнымвие |
|
|||||
дляситуации,описледствиемываемой. |
|
|
|
|
|
||
А |
|
|
В |
|
А → В |
|
|
и |
|
|
и |
|
и |
|
|
и |
|
|
л |
|
л |
|
|
л |
|
|
|
и |
|
и |
|
л |
|
|
|
л |
|
и |
|
Контрафактическая связь(• |
→) – ситуация,описываемаяоснова,не ес,ниемтслибыона |
существовала,тосуществовалобыследствие( |
ЕслибыИвановбылпрезидентом, неездилбывобщественном |
транспорте). |
|
10
4Суждения. эквив |
алентности – суждения,вкот. верждаетс |
явзаимная обусловленностьситуаций2 |
↔ |
||||
( |
|||||||
- еслитолькоесли……, |
|
(тогдаитолькотогда…когда,…)): |
|
|
|
|
|
1. Основание – достаточннеобходимоеи услдляситуациивие,описываемой |
|
|
следствием (Если |
||||
толькоеслиолнценах |
одитсявзените,тотениот |
егоявляются |
самымикороткими |
) |
|
||
2. Следствие - достаточннеобходимоеи услдляситуациивие,описываемой |
|
основанием |
|
||||
А |
|
|
В |
|
А ↔ В |
|
|
и |
|
|
и |
|
и |
|
|
и |
|
|
л |
|
л |
|
|
л |
|
|
и |
|
л |
|
|
л |
|
|
л |
|
и |
|
|
Суждесэтимсоюзомназываетсяие |
|
суждениемматериальнойэквивалентности. |
|
|
|
||
5Сужд. свнеш.отрицаниемн я |
|
– суждения,вкот. верждаетсяотсутствиенек.положениядел( |
|
|
¬ (знак |
||
отрицания) |
- неверно,что… |
; не). |
|
|
|
|
|
А |
|
|
|
¬А |
|
|
|
и |
|
|
|
л |
|
|
|
л |
|
|
|
и |
|
|
|
6Алетические. () |
Модальныесуждения |
– суждения,обрадрз.сужденийованныепутёмхар |
|
|
-ки |
||
описываемых нихположенийделв |
качестве: |
|
|
|
|
1.Необходимых
2.Случайных
3.Возможных
Атрисуждениябутивоботношенияхые |
|
|
– |
ассерторическиесуждения |
. Ониявляютсяпросто() |
утверждениямиилиотрицаниями.На |
|
рядуснимивыделяют |
сильныеслабыеутвержденияотрицания, |
|
|
которые являются модальнымисуждениями |
. |
|
|
|
|
Понеобходи«ятия»,случайно«»,возм«» жно |
|
|
|
- алетическиемодальныепонятия |
(модальности). |
Модальности: |
|
|
|
|
|
1. Логические - положениеделможетбыть |
|
логически: |
|
||
• Возможно (M) - то,чтонепротиворечитз |
|
-намлогики .Н евсето,что |
лог. возможно, |
||
фактически (Мызнаем,чтожизнаЛунеевозможнаьфактич( ),ноутвНа“Лускирждение |
|
не |
|||
естьжизнь”непротиворзакл ,слнамгикиедоватчит,логичво ескильно |
|
|
зможно,чтонаЛуне |
||
естьжизнь |
) |
|
|
|
|
• Необходимо (L) - то,чтоявляетсяз |
-ном логики |
|