Vizsgálatok „fogalmát, mint egyfajta logikus gondolkodás”
2.1. A koncepció a formális logika - van.
o több egyedi tárgyak a világ különböző tulajdonságokkal
þ logikus gondolkodás a témában, az objektum a saját tükörképét egy vagy több alapvető jellemzői
o mentális feldarabolása a tárgy a gondolat, hogy annak elemei
o mentális vegyületet darabból részei a tárgy
o tárgyak gyűjteménye, amely úgy tekinthető, ebben a felfogásban
o elemek, amelyek hasonlítanak egymásra
o mentális szövetség az egyes tételek egy fogalom
þ sajátosságok összességét, amelyek a téma, amiről azt gondolják, az e fogalom
2.3. Ennek alapján a mennyiség és tartalom, lehet tekinteni, mint a különféle koncepciók ...
þ konkrét és elvont
o logikus és nem logikus
þ közös, egységes és nulla
o a jelentős és jelentéktelen
2.4. Logic tanulmányozza a kapcsolat a fogalmak ...
o nemzetségek és fajok
þ tartalmát és mennyiségét
o funkciók és eszközök
o tulajdonságai és célja
2.5. Kompatibilis fogalmakat nevezzük ...
o tartalmazó jelek, amelyek jelzik a hozzáállása egy fogalom a másikra
þ kötetek, amelyek részben vagy teljesen egybeesik
o amely fogant a különböző tantárgyak
2.6. A meghatározás (vagy defenitsiey) nevezzük ...
o logikai művelet, amely tükrözi a sajátosságok összességét, amelyek a tárgy
o logikai művelet, amely tükrözi kötet koncepciója
o logikai művelet, amely tükrözi a kapcsolat a fogalmak
2.7. Az elosztó alanyok csoportokba (osztályok), ahol minden osztály saját állandó egyedi helyre - ez ...
o kettősség
o általánosítás tételek
2.8.Logicheskaya művelet, amely tükrözi az összeget a fogalmak, az úgynevezett ...
2.13Ponyatiya nincs közös eleme kötet, az úgynevezett ...
Téma 3. Az ítélet és a faj.
A férfi segítségével a tudat, a tárgyi világ, feltárja közötti kapcsolat az objektumok és attribútumok. Megtalálása közötti hasonlóságokat és különbségeket a dolgokat -, hogy ok. A rendszer segítségével a fogalmak nem mindig képesek közvetíteni a gazdagság az emberi gondolkodás és a tárgyak maguk. A legtöbb mély kapcsolatok és a kapcsolatok tükröződik a gondolkodás formájában ítéletek.
Az ítélet egy gondolat Coto raj a mondás megerősíti, valamit a tárgyak a valóság, és ez az objektíve igaz vagy hamis, és így minden bizonnyal az egyik a kettő közül.
Igaz gondolat hívják megfelelő Dei és érvénytelen. Úgynevezett hamis elképzelés, amely nem-igaz, egy torzult tükröződik valóság. Például a „vas nehezebb, mint a víz” - igaz ítéletet, és az a gondolat, hogy „vas - színesfém” hamis, hiszen vas nem tartozik a csoport színesfémek.
A nyelv az ítélet által kifejezett povestvova-nek mondatokat és szónoki kérdést. Kérdés-nek és felszólító mondatok, semmi állítás Dai, és nem tagadja, nem érték istinnos perc, és nem nyilvánít véleményt. Ítélet és mondat összetételében különbözik. Ha egy ítélet tevődik össze két kifejezés - az alany (S) és a predikta (P) és a szalagok, a keringés a javasolt Amellett, hogy a fő feltételeit -podlezhaschego és állítmány - másodlagos tagjai: meghatározása, felül és a körülmény.
Egyszerű - nevezzük ítéletet, amely csak az egyik pontját.
Minden jelzői ítélet az alany, állítmány és a pre-csokor.
Az az ítélet tárgyát - a koncepció tárgyának pontját. A koncepció a megjelölés a tárgy, a jelen ítélet úgynevezett állítmány ítéletek. Bunch - maga mondja, vagy tagadás képzelhető predikátumok-e tartalom.
Attribútum kifejezéseket általános képlete:
«S / nem P”.
Univerzális megerősítő ítélet - (A): "Minden S P";
Univerzális negatív megítélése - (E): "Egyik S nem P".
Ahhoz, hogy a gyakran ítélete - (I): «Nekoto rozs S P„;
Chastnootritsatelnye értékelések - (D): "Nekoto rozs S nem P".
Elosztott szempontjából ítéletének A, E, I, G lehet az az alábbi táblázatban:
Ebből a táblázatból levezethető a következő minta: a téma eloszlik a teljes ítéletek (A, E) és. Ez nem osztották ki a saját ítéletét (1, D). Predikátum-limit versenyeken negatív megítélése (E, G) és az elosztott nemű igenlő ítélete (A, 1).
A kifejezés az úgynevezett elosztó, ha annak térfogata teljes egészében szerepel a hatálya alá egy másik kifejezés, vagy teljesen kizárni a, azaz a az ítélet beszél minden tárgyainak ezt a kifejezést. Euler körök leírható az alábbiak szerint:
Között hozott, amelynek subjectpredicate szerkezet, az ítélet elszigetelt létezését. Ellentétben attribútum kimutatások tükrözik a kapcsolat a tárgyak és attribútumok tükrözik az ítélet megléte vagy nemléte a létezését tárgyakat. Például: „Ott van a város Moszkva”, „Gondolatok nyelv nélkül héj nem létezik.” Ezekben az ítéletekben a tárgy fogalmát tárgyát ítéletben az objektív létezését, amelyek jóváhagyták vagy megtagadják, az állítmány az ötlet megléte vagy nem léte az objektum.
Azonban nem minden ítéleteid tárgyának állítmány szerkezet. Közötti kapcsolatok tárgyak és jelenségek a valóság, kifejezve az ítéletet a kapcsolat (vagy az ítélet tekintetében). Ezek szerkezete értékelések általános képlete: A R B, ahol A és B jelentése a fogalmak a tárgyak, R - közötti arány a tárgyakat. Képlet A R B a következőképpen szól: „Inter-sorban tárgyak A és B léteznek R arány». Például a „morális keletkezett korábbi vallás.”
Azonosítását és megszüntetését értékelések
Figyelembe véve a szétválás ítéletek száma trail-, hogy felhívja a figyelmet a különlegessége kibocsátó és jelentése arra a következtetésre jutunk ítéletek.
A felszabadító ítéletek mindig valami állítva etsya vagy megtagadják csak a témában ez következik.
Kiosztja az úgynevezett hivatkozik, amelyben a map-zhaetsya semmilyen tárgyat jellemző (vagy tárgyak), amely megkülönbözteti a többi említett tárgyak megítélése szerint osztály tárgyak.
Az egység kiemelkedik ítélet kitüntetett jelentôséget utal egy konkrét tárgy egy osztály tárgyakat.
A chastnovydelyayuschem ítéletében megkülönbözteti hektár jellemző hivatkozik néhány (vagy talán az összes) alanyok ismert osztályban.
Például a „bizonyos vezetőképes test, és csak-a vezetőképes test fémek.”
Ezzel szemben egy bizonyos chastnovydelya-yuschem kitüntetett jelentôséget ítélet csak bizonyos tárgyak ismert osztályban.
Például: „Vannak, akik csak és kizárólag az emberek - az orvosok.”
A obschevydelyayuschem ítéletében megkülönbözteti jellemezve-it, kapcsolódó minden egyes alany egy osztály-sa.
Például: „Csak a párt által vezetett, a legfejlettebb elmélet képes felismerni a gazdasági fellendülés az országban.”
Felszabadító bármilyen ítéletet szintézise igen, negatív megítélést, hogy mennyi belőle állítólag tartozik jelét az objektum egy bizonyos osztály tárgyak és egy átmenetileg tagadta tagságának az azonos funkciók a többi tárgy az azonos osztályba.
Kivéve értékelések - közös ítélet, amely kimondta része tárgyak, amelyek nem rendelkeznek bizonyos jellegzetességeit alanyai ennek az osztálynak. Például a „Minden társadalomnak, kivéve a primitív, egy osztály”
Ez az ítélet van kialakítva szintézisét két magán nyilatkozatai: „Néhány társadalmak osztály” és a „Néhány társadalmak nem osztály.”
Mivel a kialakulását ítéletek kivételével az átmenet a kevésbé pontos ismerete pontosabb ismerete ezek az ítéletek fontos szerepet játszanak a tanulási folyamatban.
Complex nevű hivatkozik, amelyben kiválaszthatja a megfelelő darabot, amelyek ítéleteket.
Összhangban a funkciók a főbb logikai művelet összetett ítéleteket:
1. összekötő (konjunktív) - ítélete összekapcsolódása által két vagy több poliéter-ítélete logikai összefüggésben „és a”.
2. elválasztás (diszjunktív) - értékelések mintegy razovannye-révén kapcsolat két vagy több poliéter-ítélete logikai összefüggésben „vagy”.
Kétféle logikai szétválasztás Unió „vagy”:
kötőszöveti - elválasztó (vagy egyszerűen laza diszjunkciót diszjunkciót) - V;
Megszüntetése - az elválasztás (szigorú diszjunkciót) V.
3. A feltételes (iplikativnye) - komplex értékelések alkalmazásával kialakított logikai unió „ha. A »→».
4. egyenértékűség ítélet - szövődményes ítélőképességgel kapcsolásával két vagy több ítélet logikai összefüggésben „akkor és csak akkor, ha. majd a „” akkor és csak akkor, ha. mikor. „=.
5. ítélet külső tagadás - egy kijelentés arról hiányzik bizonyos helyzetekben. Ez a leggyakrabban kifejezve a mondat kezdődő kifejezést. „Nem igaz, hogy”. Külső tagadás jelöljük " # 9488 „, az úgynevezett jele elutasítást.
Közötti kapcsolatok javaslatokat. A logikai tér
Létrehozza a típusok közötti kapcsolatok javaslatok fontos, ha összehasonlítjuk a különböző nézőpontok vitás kérdések.
Fontos típusú kapcsolatát ítéleteinek logikai formák kapcsolatát: a kompatibilitást az igazság, a kompatibilitását a hamisság, logikus következménye, logikai ekvivalencia, alárendeltség, kontradiktornosti, ellentétek, subkontrarnosti és logikai függetlenségét.
Aránya kompatibilitás logikai igazság ítélet bekövetkezik az A és B akkor és csak akkor, ha mindkét hamis.
Kontradiktornosti kapcsolat (ellentmondás): A-O, E-I. Ezek a kijelentések nem lehetnek egyszerre sem igaz, sem nem hamis. Az igazság egy javaslat következik, hogy hamis az egyéb ítéletek hamisságát egy igaz barát. A megállapítások alapján rendszerek: Au → ol; → Al Ou; Eu → Il; → El Ii.
Ellentétek aránya (részleges sovmestimos-ti): A - E. ellenkező megítélés nem lehet egyszerre igaz, de lehet mindkettő hamis. A hamisságát mérlegelni kell egy igaz barát, de az igazság az egyikük következik Dowa-szerű igazság és a hazugság egy másik ajánlatot. A megállapítások alapján rendszerek: Au → Ed; → Al Ev; Al → E? Evés -> A?
Subkontrarnosti arány (részleges kompatibilitás): I - O. Ezek az ítéletek lehet egyszerre igaz, de nem lehet egyszerre hamis. A hamisságát mérlegelni kell egy igaz barát, de az igazság az egyikük lehet követni, mint az igazság és hamisság a másik. A következtetések alapján a rendszer Moms: Il → Oi; Ii → ol; Ii → szó?; Oi → én?
Alárendeltségi kapcsolatban: A - I, E - G. tól alárendelő igazság ítélet slave követi az igazság ítélet, de nem fordítva: egy alárendelt igazság ítélet alárendelő igazság ítélet nem, igaz lehet, de lehet, hogy hamis.
A hamisság alárendelt ítéletet kell alárendeli hamisságát ítélet, de fordítva nem.
Modalitás - további információ a természet közötti kapcsolat egy igazi jelenség, a logikai állapot ítéleteinek az értékelés, szabályozási és egyéb jellemzőit.
Alethic módozat van kifejezve „esetleg”, „baleset”, és van osztva logikai és tény-iai / fizikai). A helyzet lehet logikailag lehetséges, sőt logikailag szükséges, sőt adott esetben logikus véletlen vagy ténylegesen véletlenül.
Ez logikailag lehetséges, hogy nem mond ellent a logika Zuko kijelölt LP.
Ez természetes, hogy azt mondják, hogy nem minden logikailag lehetséges, lehetőség van valójában. Tudjuk, hogy az élet a Holdon nem lehet (sőt), de a nyilatkozatot: „A hold is van élet” - nem ellentétes a logika törvényei, ezért logikailag lehetséges, hogy a Hold az élet.
Ez valóban lehetséges, hogy nem mond ellent a természet törvényei és társadalmi élet - PV.
Logikusan, az szükséges, hogy a törvény a logika - LN.
Sőt szükséges a természet törvényei és közös stvennoj élet és a logikus következményei őket - FN.
Hogy kijelölje logikai modális fogalmak az alábbi szimbólumok:
Ahhoz, hogy olvassa el a tényleges modális fogalmak az alábbi szimbólumok:
Azáltal episztemikus modalitás ítélete szakadék követően az autentikus kifejezett két operátor-ING: bizonyíthatóan - V, és a megdönthető - F, a problémás ítélete kifejezve az üzemeltető által - P (problémás).
Deontic módozat alkalmazásával fejezik szereplők:
Végrehajtható akció Jelölje SYM-törmelék - d, résztvevők kapcsolat - Y, X, stb
Kérdések a témában az önkontroll:
Mi az ítélet egyfajta gondolkodás?
Melyek a szerkezeti elemek az ítélet.
Hogyan változik az ítélet és a mondat?
Hogy ítéletet elosztjuk jellemző tartalmát az állítmány: tulajdon, a kapcsolatok létezését.
Ismertesse a szétválás véleményeket a minősége a szalagok: igen, negatív.
Ismertesse a részleg ítéletek tekintetében subject: Általános, privát, egyetlen.
Ismertesse a részleg ítéletek módozat.
Adj meghatározása összetett ítéletek. Forms legösszetettebb döntéseit.
Mit értünk alatt forgalmazott szempontjából?
Közötti kapcsolatot leíró ítéleteinek igazság.