Általános szabályok a szillogizmus

A logika törvényei - folyamatos, jelentős, visszatérő gondolatok kötés; Ez a következő tulajdonságokkal rendelkezik:

a) meghatározása (tárgy ábrázolása azonos jel);

b) a szekvencia (a képviselet objektum együtt kapcsolatok);

c) az érvényességét (az igényt, hogy nyilatkozatokat más nyilatkozatok).

A törvény az identitás - azt a nézetet, egy adott időpontban, egy adott helyen, és ez a reláció azonos önmagával. A ≡ rövid szimbolikus üzenet a törvény azonosság (A azonosan A).

A törvény az ellentmondás - a gondolat és annak tagadása nem lehet mindkettő igaz abban a pillanatban, ezen a helyen, és ebben a tekintetben.

A) egy rövid szimbolikus üzenet a törvény ellentmondás (A és nem lehet mindkettő igaz).

Kizárt harmadik elve - két tagadja egymás gondolatait, az egyik biztosan igaz ebben az időben, ezen a helyen, és ebben a tekintetben. (A V

A) egy rövid szimbolikus üzenet a kizárt harmadik elve (A valós vagy A).

Törvény elegendő ok - minden úgy gondolják, hogy figyelembe kell venni igaz, kell egy megfelelő alapot ehhez formájában egy másik gondolat, korrelált rá ebben az időben, ezen a helyen, és ebben a tekintetben. Röviden → A szimbolikus jelölés elegendő ok törvény (ha B, A).

Ellentmondás - egyidejű megerősítése és tagadása valamit.

Összeegyeztethetetlen (kontradiktornosti) - merül fel a fogalmak, amelyek közül az egyik tartalmazza az adott kulcsszó, és a másik hiányzik.

Kapcsolat az ellentétek (ellentétek) - a legnagyobb jelei összeférhetetlenséget.

BASE - érv az érv alátámasztó bármilyen nyilatkozatot.

MEGHATÁROZÁSA - ok-okozati összefüggés.

Concept - absztrakt formában gondolkodás kifejezi a dolog, tulajdon, kapcsolat, függetlenül azok sajátos megnyilvánulása.

Fizikai fogalmak - tárgyakat, egy osztályt alkotnak készlet.

Általános koncepció - kettő vagy több terméket.

Egyetlen fogalom - csupán egyetlen téma.

ÜRES (nulla) CONCEPT - nem tartalmaz semmilyen tárgyat.

Fogalmakat - kijelzők tárgyak és jelenségek, viszonylag független létezését.

Elvont fogalom - megjeleníti a tulajdonságokat és objektumok közötti kapcsolatokat

Gyűjtőneve - a meghatározó jellemzője egy osztály a tárgyakat. Elosztjuk a CONCEPT - megjelenít egy kötelező eleme a teljes osztály tárgyak.

Kompatibilis fogalmak - vannak közös elemek ömlesztve. Keresztbe, egyenértékű és alárendelt fogalmak - a különböző kompatibilis fogalmak.

Meghatározások INCOMPATIBLE - nincs közös eleme van a kötetben. Szemben, ellenkezőleg, fölé és koncepciók - fogalmak összeférhetetlen fajokat.

DEFINÍCIÓ (meghatározás) - logikai művelet létrehozásáról alapvető jellemzőinek meghatározása tárgy gondolat.

Az igazi meghatározás - a meghatározása a gondolat tárgyává.

VÉLEMÉNYE Definition - meghatározása értelmében a neve egy gondolat tárgyává.

Tautológia. - téves megállapítása önmagában.

Az arányosság - megfelelő térfogatot úgy kell megállapítani, és meghatározott fogalom.

BEOSZTÁSA Feltételek - üzemeltetés partíció szereplő fogalmak a típusok és altípusok Egyetlen bázis (alap).

Az arányosság hasadási - véletlen mennyiségek osztalék fogalma és a tagok a szétválás.

TÁRGY ÍTÉLETVÉGREHAJTÁS - egy tárgy vagy jelenség kérdéses.

Állítmány MEGÍTÉLÉSEK - ingatlan tulajdonított alanynak, vagy tagadni. Csomagok - eleme ítélet, amely definiálja a minőségi jellemzőkkel.

Kvantifikátorok - eleme ítélet, amely meghatározza a mennyiségi jellemző (Kétféle közösség „minden” és az, hogy „néhány”).

FAJOK ÍTÉLET: univerzális igenlő ítélet (ek P), univerzális negatív megítélése (S e P), a gyakran ítélet (S i P), chastnootritsatelnoe ítélet (S o P) - és szimbolikus nevek kifejező mindenféle ítélet; Az identitás ítélet - egy speciális fajtája az ítélet, amely az általános tulajdonságait logikai ítélet, hanem a szillogizmus - saját ítéletét.

Distribution - a teljességet használt jelek az ítélet, fogalmak. ELOSZTOTT távon - az egész osztály tárgyak, amelyek (vagy nem rendelkező) egy jel található.

Mérleg TERM - része egy osztály tárgyak, amelyek (vagy nem rendelkező) egy jel található.

LOGIKAI TÉR - rendszer, hogy megkönnyítse a memorizálás igazság közötti kapcsolatok javaslatokat:

a) ellentétben (ellentétek) - közötti arány ítéletének SAP-Sep;

b) a részleges kompatibilitásra (subkontrarnost) - közötti arány ítéletének SIP SoP;

c) egy ellentmondás (kontradiktornost) - közötti arány ítélete 1) Sap - SOP,

g) benyújtás (alárendelés) - közötti arány ítélete 1) SAP-SIP, 2) sep-SoP.

MODAL ÍTÉLET - értékelések további kötőanyag tulajdonságok:

a) ítélete szükséges (apodiktikus) - jelzik, hogy szükség van kommunikációs koncepciók (például matematika);

b) Az ítélet valóság (asszertív) - tartalmazza a tényleges kapcsolat a fogalmak;

c) a lehetséges határozatok (problémás) - pont egy lehetséges kapcsolatot a fogalmak; g) alethic, axiologic, átmeneti, deontic módozatok - csoport modális ítéletek.

Következtetés - érvelést, amely új javaslatokat.

Küldése - az eredeti ítélet indokolása.

Következtetés - A végső döntést az érvelés.

DIRECT következtetés - a legegyszerűbb fajtája

következtetések (kötött csak egy telek).

Közvetve következtetés - következtetés érkező számos parcellák.

INDUKCIÓ - a mozgás gondolata általános parcellák magán.

ADÓLEVONÁSI - a mozgás gondolata a magán parcellák általában.

ÁTALAKULÁS - átalakítás ítéletet, amelyben megváltozik a minősége az ellenkezőjét, miközben a számot.

Kezelés - konvertáló ítéletének Átrendezés alany és állítmány, a minőség ítélet nem változik, és a szám változhat.

Ellentéteiben alany és állítmány - következtetések kialakított kombinációja az átalakulás és a konverzió.

Szillogizmus - közvetett következtetés, amelyben egy kapcsolat jön létre az extrém feltételek alapján a kapcsolatukat középtávon.

Kisebb távú (S) - fogalmát, tárgyát képező, hogy kössön szillogizmus.

A fő kifejezés (P) - a koncepció alkotó predikátum a következtetést egy szillogizmus.

KÖZÉPTÁVON (M) - a koncepció létrehozásának közötti logikai kapcsolatot a kisebb és a nagyobb kifejezések.

MODUS SILLOGIZMA- elemi fajta szillogizmus.

Ábra szillogizmus - egy osztály a kapcsolódó szillogizmusokon.

Entiméma - szillogizmus, amely egyértelműen nem fejeződik, vagy hogy egy részét.

Polisillogizm - lánc szillogizmus csatlakoztatva úgy, hogy a végén az első burkolat válik a második, megkötése a második és a harmadik kamra válik így tovább (két fajtája: a progresszív és regresszív).

Zorita - polisillogizm, melyik a helyiségek nem kifejezését.

EPIHEYREMA - kemény rövidített szillogizmus, amelyben a helyiségek entiméma.

Feltételes ajánlat - nyilatkozatot, amelyben egy javaslatot (előzménye) függ egy másik ítéletében (következetes) „Ha a ...”

FELTÉTELES következtetés (feltételes szillogizmus) - megbízhatóság következtetési amelyben mind a küldő, mind a kimenet feltételes ítéletek.

Elosztjuk ÍTÉLET (szétválasztás) - nyilatkozat felsorolja az alternatívák (gyakran „vagy” szakszervezet „vagy”).

LEMMATICHESKIE érvelés (szillogizmusokon) - komplex érvelés, amelyben a kombinált feltételes és elosztjuk értékelések (osztva: egyszerű és összetett, konstruktív és destruktív).

INDUKCIÓ - következtetés a tudás mértékétől általánosságot, hogy többet közösségek (a különösen az általános).

Teljes indukció - levonás, amelyben az általános következtetést egy bizonyos osztálya tárgyak alapján a tanulmány a tárgyak az ebbe az osztályba (következtetéseit mindig teljesen megbízható).

Hiányos indukciós - levonás, amelyben az általános következtetést egy bizonyos osztálya tárgyak vizsgálata alapján az összes objektum ebbe az osztályba (a következtetéseket szignifikáns).

AKADÉMIAI indukciós - levonás, amely alapján a szükséges ismereteket jelek vagy szükségszerű kapcsolat tárgyak Ennek az osztálynak az általános következtetés az összes téma ebbe az osztályba.

Módszerek az okozati összefüggés - izolálására szolgáló eljárásokat okainak a jelenség számos lehetséges okokat. Összesen legegyszerűbb módszer az okozati kapcsolat öt: a hasonlóság módszer, a különbség, az Egyesült technika hasonlóságokat és különbségeket, a módszer a kísérő változások maradékok módszer.

MÓDSZER hasonlóságok - a következtetés az ok, összehasonlításán alapuló körülményeinek előfordulása több esetben ugyanazt a jelenséget.

MÓDSZER különbségek - a következtetés az ok, összehasonlításán alapul az ügy körülményei és az ügy olyan esemény, amelyben ez hiányzik.

Csatlakozástechnika hasonlóságok és különbségek - a következtetés az oka, összehasonlításán alapul a vonatkozó körülmények hasonlóságokat és különbségeket a körülmények: a módszert a hasonlóság kiosztani általános körülményt, amelyben a jelenség jelen van, és az adott körülmények között, amelyben a jelenség hiányzik.

MÓDSZER egyidejű változások - a következtetés az ok alapján a tanulmány a konzisztens változást.

MÓDSZER egyenlegek - a következtetés az ok, amely a kivonás az ismeretlen okok ismert.

Analóg - megkötése a hasonlóság a két alany egyetlen földi tüneteik azok valószínű hasonlóság egy másik része a jel, mikor a többi tünet már megtalálható az első téma, de nem lehet tudni, hogy vagy nem jelenik meg a többi téma.

Bizonyítás - logikai megszerzésére irányuló eljárás igaz állítások.

Tézis - állítás, amelynek igaz vagy hamis voltát felváltva a bizonyíték (vagy cáfolni).

A paraméterek (alap) - minden rendelkezések által hivatkozott dolgozat.

Demonstráció (egyfajta bizonyítékként) - a kapcsolat a szakdolgozat és érveket, beépített formájában levonások vagy olyan formában.

NYILATKOZAT - bizonyíték igazolja a hamisság vagy bizonyított tézis.

Közvetlen bizonyíték - állapítja meg az igazságot a dolgozat kell bizonyítania egy tanulmányt a dolgozat kell bizonyítani.

Közvetett bizonyíték - állapítja meg az igazságot a tézis, hogy igazolja a tanulmány nem a dolgozat kell bizonyítani, és néhány egyéb kapcsolatos rendelkezések bizonyíték (értekezés, érvelés, bizonyítás).

APAGOGICHESKOE bizonyítékok - állapítja meg az igazságot a tézis, hogy bizonyítható megcáfolásával ellentétes dolgozat. Igazolása az elválasztás - egyfajta közvetett bizonyíték, amely következetesen elutasította az alternatív értekezés nyilatkozatot.

Hibák igazolások - sérti a logika szabályai tekintetében bizonyíték.

THESIS félreérthető - fejezzük megsérti a személyazonosságát, és a határozatot a téma.

Csere a dolgozat - tükrözi az azonosító az értekezés bizonyítandó, és az új, ami megjelent a bizonyíték.

Referencia HAMIS - bizonyított, hamis, nem megfelelő függő érvek értekezés - minden esetben válik hamis vagy gyenge bázisok.

A kommunikáció megszakadása a tézis és érvek - a szabályok megsértésével és a logika törvényei, amelyeket a demonstráció.

Kör a bizonyíték - Hiba okozott az a tény, hogy az érvek alátámasztják a dolgozat maguk indokolja ezt a tételt.

Anticipációja Ok - Hiba okozott az a tény, hogy az érvek fektetik előre, mit kell bizonyítani.

EXCESSIVE bizonyíték - a használat igazolására meghaladó érvek, amiért a bizonyíték csak belegabalyodik.

Propozicionális változók - karakter (általában Latin), lecserélve bármely nyilatkozatot.

Logikai Union - szavak, amelyekkel megköti a két vagy több kijelentő mondatok (szimbolikus jelölés).

ELUTASÍTÁSRÓL - logikai művelet által kifejezett „nem igaz, hogy. „” Nem”, amelyek nem kötődnek, de csak alakítjuk ítélete (jelöljük - ¬).

Összefüggésben (logikai szorzás) - logikai művelet által kifejezett „és”, „de”, „de”, valamint más egyenértékű szavak (jelzi - / \).

Diszjunkció (logikai összeadás) - logikai művelet által kifejezett „vagy” szó „vagy” (jelölésük - \ /).

A következmény (feltételes állítás) - a logikai köteg által kifejezett szavak, valamint más egyenértékű forgalma (jelöljük - →) „Ha a ...”

Megfelelések (biuslovnoe ítélet) - logikai köteg kifejezett helyébe az „akkor és csak akkor, ha.” Csakúgy, mint más egyenértékű forgalma (jelöljük - ≡).