Categoriale silogism - l

Fiecare om este muritor (premisă majoră) Socrate - un om (premisa minoră) ------------ Socrate este muritor (concluzie)

Silogismul vine exact trei termeni:

• S - termen minor: intră într-un subiect (de asemenea, incluse în pachet mai mic);
• P - termen majore: încheierea unui predicat (de asemenea, incluse în premisa majoră);
• M - pe termen mediu: o parte din ambele premise, dar care nu sunt incluse în raport.

Sub rezerva S (subiect) - cea din care ne exprimam (împărțit în două tipuri):

1. Definiție: Un singur, privat, multiple
   • Solitar [hotărârea] - în care subiectul este un concept individ. Notă: „Newton a descoperit legea gravitatiei“
   • hotărâre privată - hotărârea în care subiectul este un concept luat în ceea ce privește volumul său. Notă: „Unii S sunt P»
   • judecata multiple - sunt cele în care mai multe sunt supuse conceptelor de clasă. Notă: „insecte, păianjeni, crabi au artropod“
2. Pe termen nelimitat. Notă: "zori", "rănit", etc ...

Predicatul P (predicat) - ceea ce ne exprimăm (2 feluri de judecată):

• Narrative - o hotărâre cu privire la evenimente, condiții, procese sau activități skoroprohodyaschih. Notă: „grădină de trandafiri în floare.“
• Descriptive - subiecte, atunci când una sau mai multe atribuite orice proprietate. Subiectul este întotdeauna un anumit lucru. Notă: „Focul este fierbinte“, „zăpadă este de culoare albă“.

Relația dintre subiect și predicat:

1. Hotărârile de identitate - noțiunea de subiect și predicat au același volum. Notă: „fiecare triunghi echilateral este triunghi equiangular“
2. Hotărârile de subordonare - conceptul este domeniu de aplicare mai largă este supusă conceptului de un domeniu de aplicare mai larg. Notă: „Câinele are un animal de companie“
3. relație Hotărârile - este spațiu, timp, relații. Notă: „Casa se afla pe strada“

Clasificarea declarațiilor de atribute simple în calitate și cantitate

Calitatea și cantitatea sunt de patru tipuri de declarații de atribute simplu:

A - din latină. un ffirmo - General ( „Toți oamenii sunt muritori») I - din latină. Affi RMO - la frecvent ( „Unii oameni - studenți») E - din latină. ne du-te - negativ universal ( „Nici unul dintre balenele nu sunt pești») O - din latină. Nego - Chastnootritsatelnye ( „Unii oameni nu sunt studenți“)

Notă. Declarații Condiționată litere utilizate vocalele din cuvintele latine affirmo (I susțin, eu spun da) și Nego (Neg, spune nu).

enunț unică (acelea în care subiectul este un singur termen) egal cu totalul.

Distribuit în termeni simpli de enunțuri atributive

Subiectul este întotdeauna alocat în situația generală și nu a distribuit în rostirea privată.

Predicatul este întotdeauna distribuit în hotărârile negative în afirmativ este distribuit atunci când volumul F<=S.

Ca un predicat, în unele cazuri, subiectul poate acționa.

• Termenul de mijloc trebuie să fie distribuit în cel puțin una din parcelele.
• Termenul nu este distribuit în premisa, acesta nu ar trebui să fie distribuit în concluzie.
• Numărul de ipoteze negative, trebuie să fie egal cu numărul de avize negative.
• În fiecare silogism, ar trebui să existe doar trei termeni.

Forme și moduri de

Figurile numite formă silogism silogism, caracterizate printr-un aranjament al termenului de mijloc în incinta:

Toate animalele sunt muritori. Toate ființele umane - animale. Toți oamenii sunt muritori.

Nici reptila nu are nici o blană. Toate sarpe - o reptilă. Nici șarpele nu are nici o blană.

Toate sunt pisoi jucaus. Unele animale de companie - pisoi. Unele animale de companie - jucaus.

Nici temele nu este distractiv. Unele lectură - temele. Unele lectură nu este distractiv.

Nici masa sanatoasa nu este completă. Toate prăjituri sunt pline. Nici unul dintre tort nu este un aliment sănătos.

Toți caii au balonare. Nici un om nu are nici o balonare. Nici un om nu este un cal.

Nici persoana lenesa nu predea examene. Unii studenți iau examenele. Unii studenți nu sunt leneși.

Toate lucrurile sunt informative utile. Unele site-uri nu sunt de ajutor. Unele site-uri nu sunt informative.

Toate fructele sunt nutritive. Toate fructele sunt gustoase. Unele alimente nutritive gustoase

Unele cluburi sunt frumoase. Toate cani sunt utile. Unele lucruri utile frumoase.

Toți băieții diligente roșii în această școală. Unii băieți sârguincioși în această școală - boarderi. Toți locatarii pensiunii băieți diligente în școală roșie.

Nici ulcior nu este nou în acest dulap. Toate ulcioare acest dulap de cracare. Unele lucruri crăpate în acest cabinet nu sunt noi.

Unele pisici sunt tailless. Toate pisicile - mamifere. Unele mamifere tailless.

Nu este un singur copac nu este comestibil. Unii copaci sunt verzi. Unele lucruri verde nu este comestibil.

Toate merele din grădina mea sunt utile. Toate fructele mature utile. Unele fructe coapte - mere în grădina mea.

Toate florile luminoase sunt parfumate. Nici unul floare parfumat este crescut în interior. Nici unul flori cultivate în interior nu este luminos.

Unele păsări mici mânca miere. Toate miere mănâncă păsări colorate. Unele păsări mici colorate.

Nici un om nu este perfect. Toate ființele perfecte mitice. Unele creaturi mitice nu sunt umane.

Nici o persoană competentă nu este greșit. Unii dintre cei greșiți lucrează aici. Unii oameni care lucrează aici sunt incompetenți.

În conformitate cu formele reguli pot fi convertite în alte forme, precum și toate formele pot fi convertite într-o formă de prima cifră.

1. Când a venit ziua, există o lumină; dar acum o zi, prin urmare, nu există lumină.
2. Când a venit ziua, nu există lumină, dar nu prin urmare, nici o zi de lumină,.
3. Pot exista (simultan) ziua și noaptea, dar a doua zi a venit, prin urmare, nu există nici o noapte.
4. Acesta poate fi fie zi sau noapte, dar acum o zi, prin urmare, nu există nici o noapte.
5. Poate fi fie zi sau noapte, dar noaptea nu este, prin urmare, acum este ziua.

Din epoca filosofiei scolastice în raport cu doctrina silogismului merită o atenție Foma Akvinsky († 1274), în special, analiza detaliată a concluziilor false ( «De fallaciis»). Scrisul este pe logica, care a avut o semnificație istorică a Bizanțului aparține Mihailu Psellu. El a propus așa-numita „logică pătrat“ înseamnă vizual exprimă raportul dintre diferite tipuri de judecăți. Lui sunt numele diferitelor Modi (Gr. Τρόποι) cifre. Aceste nume, latinizate, sa mutat în literatura logica occidentală.

Mihail Psell, în urma Teofrast, cinci cifre patra se referă la modi primul. Numele specific a fost în minte scopul lui mnemonic. El face parte, de asemenea, scrisori de desemnare vernaculare și cantitatea și calitatea hotărârilor judecătorești (a, e, i, o). Învățături Psellos logice într-o natură formală. Psellos eseu a fost tradusă de William de Sherwood și sa răspândit prin modificarea Petru a Spaniei (Papa Ioan XXI). Pyotr spaniolă în manualul său de mult aceeași dorință de reguli mnemonice. denumirile latine ale speciilor de cifrele prezentate în logica formală, luată de la Petru din Spania. Spaniolă și Peter Mihail Psell înfloresc logica formală în filosofie medievală. Odată cu Renașterea începe critica logicii formale și formalismul silogistic

Primul critic serios al logicii aristotelice a fost Per Rame, care a murit în timpul nopții Varfolomeyeva. În a doua parte a „Dialectica“ sale se referă la silogismul; doctrina sa silogismului, cu toate acestea, abateri semnificative de la Aristotel nu este. Începând cu filozofia Bacon și Descartes este pe noi căi și apără metode de cercetare: inadecvarea metodei silogistice în ceea ce privește metoda de cercetare, găsirea adevărului devine din ce în ce mai evidentă.

Silogismul în logica modernă

În scris acest articol materialul din Enciclopedic Brockhaus și Efron Dicționar (1890-1907).

silogism - silogism, în sensul larg al oricărei inferență deductivă, în sens restrâns dvuhposylochnoe inferență constând din enunțuri atributive în care ieșirea relației dintre cei doi termeni se bazează pe raportul dintre fiecare ... ... Enciclopedia de epistemologie și filosofia științei

Silogism - o concluzie, în care, pe baza mai multor avize cu privire la necesitatea de a obține o nouă propunere numită concluzia. Spre deosebire de S. ca o deducere mediocră, numită inferență directă că, în care concluzia ... ... Collegiate dicționar FA Brockhaus și IA Efron

forma de afișare în gândire sistem de judecată al raportului interconectate implicație logică și alte relații logice - inferență. În procesul de lista SUA non-goale de propuneri, numite premise sau argumente obține propunere nouă ... Contemporary filozofică dicționar