Уроци Категорични изречения

Категорични изречения

1/AppData/Local/Temp/msohtml1/01/clip_image003.gif "/> Извикват се изреченията от тип A и E противоположности и се различава само по качество. Те не могат да бъдат истина заедно, но могат да бъдат и лъжи заедно. т.е.:

1/AppData/Local/Temp/msohtml1/01/clip_image003.gif "/> Извикват се изречения от тип I и O субконтрарии и също се различава само по отношение на качеството. Заедно те не могат да бъдат фалшиви, но заедно могат да бъдат верни, т.е.

1/AppData/Local/Temp/msohtml1/01/clip_image003.gif "/> Вертикалните връзки между изречения от тип A и I и между E и O са субалтернарен, в който:

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

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

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

• Това са най-простите логически изречения • Те са изреченията, в които даден термин потвърждава (доклад за съгласие) или отрича (доклад за опозиция) за друг термин • Те изразяват една връзка (съгласие или опозиция) между два термина • С тяхна помощ се отстояват определени отношения между две понятия (термини) (положителни или отрицателни) • Едното от понятията играе ролята на логически субект (S) •, а другото на предикат (P) • извиканията, които изразяват връзката между S и P проповеднически изречения (те проповядват, в първичен, светски смисъл, ни казват нещо за нещо; утвърждават или отричат нещо за нещо) • Името им идва от гръцкия глагол categorein, което означава „да проповядвам“

ЛОГИЧЕСКИЯТ ПРЕДМЕТ Терминът, който представлява обекта на мисълта, това нещо, за което се потвърждава или отрича:. да не се бърка с граматичния субект. Лъвовете са бозайници. Изреченията, които изразяват една връзка между две понятия, са категорични изречения.

ЛОГИЧЕН ПРЕДИКАТ Терминът, който изразява нещо, което се твърди или отрича (всъщност клас обекти, към които S принадлежи или не, изцяло или частично; зелено - класът на зелените обекти; бозайници - класът на бозайниците) Да не се бърка с предикатната граматика . Лъвовете са бозайници. Изреченията, които изразяват една връзка между две понятия, са категорични изречения

Какъв е терминът с ролята на субекта?

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

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

(свързващ елемент) Изразът на факта, че определено свойство принадлежи или не на обекта (субекта), по-точно на връзката между S и P, се извършва от свързващ елемент • Обикновено се използва глаголът да бъде: is, are, не е, няма други начини на изразяване: Всички ученици, които са пропуснали урока по математика, ще имат поне едно допълнително упражнение по време на работа. • Има ученици, които ще имат поне едно допълнително упражнение по време на работа

Фундаментална структура (основна) ПРЕДМЕТ - свързващ елемент - ПРЕДИКАТ Обща схема на категорични изречения: S - P Свързващият елемент (който изразява положителната или отрицателната съотношение предикация) определя КАЧЕСТВОТО на категоричното изречение е/са - утвърдителни изречения не/не са - отрицателни изречения

Квантомери Квантори са изрази, думи, фрази, които определят обхвата на предмета, показвайки дали се отнасяме до целия обхват на него или само част от него. -Всички, всякакви, никакви - универсални квантори - някои, някои, сред, повечето, много, малко, някои, определени, определени - конкретни квантори -Това, това - индивидуални/единични квантори * за някои това е форма на израз на универсален квант: ние не се отнасяме до част от сферата на S, а до цялата сфера от нея

Ролята на кванторите Кванторът или кванторът на категорично изречение показва каква част от субектния клас е включен в класа (сферата) на сказуемото или е изключен от него. Количествата определят КОЛИЧЕСТВОТО на категоричните изречения От тази гледна точка ние говорим за два вида изречения: Универсални и частни * Изреченията, в които се появяват отделни квантори, се считат за универсални изречения

Класификация на категорични изречения Съчетавайки двата критерия - КАЧЕСТВО И КОЛИЧЕСТВО - определят се следните основни типове категорични изречения: - Утвърдителни универсали - Всички S са P - Отрицателни универсали - Няма S е P - Потвърдителни данни - Някои S са P - Отрицателни частици - Някои не са P

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

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

Изключителни изречения Това са изречения, в които се появяват квантори като: само/само някои, само/само някои, изключително/изключително някои Те се наричат изречения (частни или универсални) затворени само S - само тези S, не други само някои S - някои S, но не всички *, когато казваме Някои S, можем да разберем някои от S, евентуално всички (отворено конкретно изречение) * Когато казваме All S, можем да разберем всички S, евентуално други (всички ученици са олимпийци, евентуално други хора, например ученици)

Универсални изключителни изречения Само добри ученици в училище получават стипендия Всички ученици, които получават стипендия, са добри ученици в училище Само S са P >>> Всички P са S ”. Само (само) ретранслаторите не преминават класа Никой ученик, преминал класа, не е ретранслатор. Само S не са P >>> Няма P е S.

Конкретни изключителни изречения Само някои упражнения са трудни Някои упражнения не са трудни упражнения Само някои S са P >>> Някои S не са P Само някои неща не са полезни Някои неща са (неща) полезни Само някои S не са P >>> Някои S са P

Изключителни изречения Всички ученици от гимназията, с изключение на учениците от 12 клас, имат свободно време Само учениците от 12 клас имат свободно време Никой ученик, който има свободно време, не е ученик от 12 клас. Всички освен S са P Само S не са P Не P е S

Символи и формули Affirmo - гласните a и o се използват като символи за утвърдителни изречения: A - първата гласна за универсали >>> формула SaP I - втората гласна за индивиди >>> формула SiP Nego - гласните e и o се използват като символи за отрицателни изречения:

E - първата гласна за универсали >>> формула SeP I - втората гласна за индивиди >>> формула SoP

Диаграми на Ойлер Съответстват на диаграми на Ойлер за изразяване на връзките между термини: ред (Всички S са P) кръст (Някои S са P и Някои S не са P) противопоставяне (Няма S не е P) В случай на конкретни изречения да се подчертае частта от клас S към които се отнася изречението, се излюпват „областите“ S, които са P (за SiP) S, които не са P (за SoP)

Диаграми на Вен Излюпването на една от областите означава, че тълпата, обозначена с нея, е празна. SaP - Всички S са P - Няма S, който не е P - набор S, който не е P е празен SeP - Няма S, който не е P - Няма S, който е P - комплект S, които са P е празен Ако набор има поне един елемент, ние го маркираме, като поставим "x" в съответната област SiP - Някои S са P - Наборът S, които са P не е празен SoP - Някои S не са P - Наборът S, които не са P не е празен

Връзки между категорични изречения. които имат един и същ субект и един и същ сказуем .

КОНТРАДИКЦИЯ - различава се както по количество, така и по качество (A - O & E - I)

ПРОТИВНО - имат същото количество (универсално), но различно качество (A - E)

ПОДКОНТРАКТНОСТ - имат същото количество (конкретно), но различно качество (I - O)

SUBALTERNATE - имат едно и също качество (утвърдително, съответно отрицателно), но различно количество (A - I & E - O) Конкретно се нарича субалтернал Универсално се нарича супералтерн

Логическият площад (площад на Боеций) Аниций Манлий Северин Боеций (480-524)

КОНТРАДИКЦИЯ Те не могат да бъдат нито верни, нито неверни Истината на изречението привлича неверността на неговото противоречие и обратно (SaP = 1) → (SoP = 0) (SaP = 0) → (SoP = 1) (SeP = 1) → (SiP = 0) (SeP = 0) → (SiP = 1) (SiP = 1) → (SeP = 0) (SiP = o) → (SeP = 1) (SoP = 1) → (SaP = o) (SoP = o) 0) → (SaP = 1) 1 → 0 & 0 → 1

ПРОТИВНО Те не могат да бъдат истина заедно, НО те могат да бъдат и лъжа заедно Истината на изречението привлича неверността на неговата противоположност, но от факта, че изречението е невярно, не можем да заключим нищо за неговата противоположност (SaP = 1) → (SeP = 0) (SaP = 0) → (SeP =?) (SeP = 1) → (SaP = 0) (SeP = 0) → (SaP =?) 1 → 0 & 0 → ?

ПОДКОНТРАКТНОСТ Те не могат да бъдат фалшиви заедно, НО те могат да бъдат истина заедно. SiP = 1) → (SoP =?) (SoP = 0) → (SiP = 1) (SoP = 1) → (SiP =?) 0 → 1 & 1 → ?

SUBALTERNATION True superaltern → true subaltern False superaltern → ние не можем да изведем нищо за истинността или неверността на subaltern True subaltern → ние не можем да изведем нищо за истината или лъжата на superaltern False subaltern → true superaltern Alternate 1 subaltern 1? Субалтерна → супраалтерна 1 →? 0 → 0

SUBALTERNATE (Sap = 1) → (SiP = 1) (SaP = 0) → (SiP =?) (SeP = 1) → (SoP = 1) (SeP = 0) → (SoP =?) (SiP = 1) → (SaP =?) (SiP = o) → (SaP =?) (SoP = 1) → (SeP =?) (SoP = 0) → (SeP =?) Вярно за всички → вярно за някои Невярно за някои → невярно за всички

СУБАЛТЕРНАЦИЯ Невярно за всички → невярно за някои или вярно за някои Всички ученици отсъстват (Sap = 0) може да означава Или всички те присъстват → няма никой → SiP = 0 Дали отсъстват само някои → SiP = 1 (SO no можем еднозначно да изведем истинността на SiP) Вярно за някои → невярно за всички или вярно за всички Някои ученици отсъстват (SiP = 1) може да означава: Само някои ученици отсъстват → някои присъстват → не е вярно, че всички отсъстват → SaP = 0 Някои ученици отсъстват (за което знаем със сигурност), но е възможно всички ученици да отсъстват → SaP = 1 (SO не можем еднозначно да изведем истинността на SaP)