Обикновено категоричен силогизъм
Схема: Vce М е P - основна предпоставка
М е S - малък публикуване
Концепции, част от силогизъм, наречени условията на силогизъм: P - основният план е сключването на сказуемото; $ - второстепенен план, заключенията на този въпрос; задължителен в помещения, ако и предикатни и липсват при сключване M- средносрочен план.
Специални правила фигури.
Фигура I. А голямо помещение трябва да бъде общо, по-малко - положителен.
Фигура 2. Най-общо помещение, като едно от помещенията, както и негативната констатация.
Фигура 3. положително непълнолетен помещение и заключение - частни.
Фигура 4 дава универсални положителни заключения.
Фигура I: AAA, ЕАЕ, A11. E1O
Фигура 2: AEE, AOS, ЕАЕ E1O.
Фигура 3; AA1, СЕО. 1А1, Inc., A11, E1O.
Фигура 4: АА1, AEE, 1А1, EAO E1O.
I. Всяка силогизъм трябва да бъде само три условия (S, F, М). Нарушение на предполага грешка - ". Заблуда на четири условия"
3. Близкия термин трябва да бъде разпределен в най-малко един от парцелите.
3. Срокът, се разпространява в заключение, ако и само ако тя е разпределена в пакета (в противен случай това би било по отношение на сключването казва повече, отколкото по отношение на парцелите).
1. не можете да правите каквито и да било затворници от два отрицателни помещения,
2, ако прозореца на парцелите е отрицателен, тогава заключението трябва да бъде отрицателен.
3, не може да се направи заключението на две частни парцели.
4 Ако една от частните парцели, докладът трябва да бъде частен.
Когато се възстановяват ентимема да завърши силогизъм е необходимо: а) определи какво решение е изпращане
Polisillogizm (усложнена силогизъм), наречена две или повече прости силогизъм, свързани помежду си, това е така, че сключването на един от тях се превръща в помещение на друг.
Изолирани. прогресивна и регресивна polisillogizm.
В края на миналата прогресивна polisillogizm силогизъм става по-висока, което извади последващо силогизъм.
Шофиране прогресивна polisillogizm:
Ето един извод от по-общото към по-малко генералът.
В заключение, преди регресия polisillogizm силогизъм става по-малка изпращане на последващо силогизъм.
Шофиране регресивна polisillogizm:
Ето един извод от по-малко общото към по-общи.
Прогресивно и регресивна polisillogizm в мисленето най-често се използва и в съкратен вид - под формата на sorit.
Прогресивните носилки, получени от прогресивна polisillogizm разпръснат заключенията на предходните силогизми и последващите големи парцели.
Шофиране прогресивна Zorita:
Това започва с изпращането на носилки, съдържащи се заключи, сказуемо и камера с края, за да влязат в обекта (goklenievsky литра)
Регресивни носилки, получени от регресия polisillogizm разпръснат сключването на предходната силогизъм и следващите по-малки парцели.
Схема Zorita регресия.
Това започва с локално инсталиране на носилки, съдържащи сключването на този въпрос, и завършва с колети, съдържащи сключването на предиката (идеите на Аристотел носилки).
Epiheyremoy slozhnosokraschenny нарича силогизъм, двете парцелите, които са съкратени прост силогизъм (ентимема).
Всички А от С, тъй като бакалавърска
Всички D са A, D, са както Е
Epiheyremu възстанови напълно, колкото е възможно, като се използват за възстановяване правила ентимема.
Заключения въз основа на логическа връзка между съдебни решения (заключения на Пропозиционални логика)
В Пропозиционални логика решение не е разделен на тема и предикат, като се третират като обикновени съдебни решения, от които с помощта на логически връзки (логическа константа), формират нова преценка.
Чисто условно извод се нарича косвен извод, при който и двете помещения са условни присъди (условно предложение има следната структура: "Ако р, тогава р").
Шофиране чисто условно мотиви:
Формулата на този начин на разсъждение е законът на логиката (тавтология).
I. одобряващите начин (модус поненс)
Формула ((р ® р) Ù п) ®q - е закон на логиката.
Можете да Строй надеждни заключения от основата на одобрение от естествена последица.
Ако стр. тогава Q е не-р - р
p®q, OQ ОП
Формула ((р ® р) ÙOQ) ®- р е закон на логиката. Можете да създадете надеждни заключения от разследването за отрицание на отрицанието основание.
Ако стр. Вероятно Q Q, стр
p®q, р Вероятно, стр
Ако стр. след това р-р не е вероятно, не-Q
p®q, ОП Вероятно, OQ
Обикновено разрушителна дилема е; два пакета, първият (теоретично) показва, че от една и съща база следват две различни изследователи; второ помещение е дизюнкция на двете негативи на тези последици; хвърлен в затвора отрече база.
Сложни разрушителна дилема различава от прост разрушителна дилема първата кутия, съдържащ две условни решения с различни бази и различни последствия.
Trilemma има същите видове като дилемата е различна от последната първия камерата, съдържаща три условни решения и втори корпус, съдържащ три бази дизюнкция условно решение на първия парцел.
Косвени (непреки) следните изводи са варианти; а) аргумент на правило отражение приложение; б) информация, "абсурд"; в) аргументи "от противоречие" (противно);
Мотивите за въвеждането на върховенството на отражение. ако от помещенията, G (гама) и изпращане на района се сключва р. че на някои парцели D показва, че р предполага р .Това правило си има друго име: Теорема на приспадане "
Член на информация на абсурдно (в противен случай - въвеждането на правило за отказ.): Ако г-н Ал колети и пакети показват противоречие. т.е., на. че на някои парцели D показва не-р. Това правило казва, че решението трябва да бъде отказано, ако р р следва от противоречието.
Обикновено аргументът за противното (противоречиви):
Доказателство от противоречие се прилага в случаите, при които няма аргумент за пряко доказателство за това се извършва чрез създаване на лъжата в противоречие с тезата на съдебното решение. (Нека р - тезата, че изисква доказателство, да приемем, че р е лъжа, че е вярно, не-р; поемането на не-област произтичат последствия, които са в противоречие с реалността утайки досега познатите закони, в резултат имаме р и не-р в. това не-р е лъжа, тогава вярно п).