Tankönyv logika az ügyvédek számára - 2. fejezet
2. § formális logika, mint tudomány
A gondolkodás logikai formájának meghatározása és a különböző gondolatok logikai formáinak azonosítására szolgáló módszerek megkülönböztetése a természetes nyelvi kifejezések kifejezései között. Ezek közé tartoznak a szakszervezetek "és", "vagy", "ha. akkor. „Denial” nem igaz, hogy „(” nem „), a leíró szavak a tételek számát, amelyen valami elfogadták vagy elutasították,” minden „(” nem „),” néhány „egy csomó” lényegét »(« van „) stb. A gondolkodás logikai formájának feltárásának folyamata absztrakció a nem-logikai kifejezések jelentéséből, amely beleszól az eszmét kifejezésre. Ezt különböző módon teheti meg. Például hagyja el a nem logikai kifejezéseket a kifejezésben, és helyezze el a pontokat, a szaggatott vonalakat és más sorokat. Ennek eredményeként a cseréje nem logikus szempontból pontok és szaggatott vonal a mondat: „Minden ügyvéd - ügyvéd” kap az „All. lényeg - - - ".
A nem logikus kifejezések értelmezésének másik módja az, hogy ezeket a kifejezéseket speciális szimbólumokkal (változókkal) helyettesítsük. Ebben az esetben ugyanazon nem logikai kifejezés eltérő előfordulása helyett ugyanaz a változó kerül behelyezésre, és eltérő változók helyett különböző változók. Ezenkívül a különböző típusú szimbólumokat a különböző típusú kifejezések helyettesítik.
Az alábbi érvelés logikai formáit találjuk:
(1) A Moszkvai Állami Egyetem Törvénykönyve minden elsőéves hallgatója. M.Lomonosova logika tanulmányozása.
Néhány elsőéves diák a Moszkvai Állami Egyetem Törvény Főiskoláján. M.Lomonosova szakosodott a polgári jog területén.
Következésképpen egyes, a polgári jogokra szakosodott diákok tanulmányozzák a logikát.
(2) A nyomozó ügyvéd. Következésképpen az okleveles nyomozó képzett ügyvéd.
A nem logikai kifejezések szimbólumokkal való helyettesítésével kapunk:
(1) Minden M jelentése P. Bizonyos M jelentése S. Következésképpen, néhány S jelentése P.
(2) S = P. Ezért sq pq.
Ezek a kifejezések az eredeti gondolatok logikai formáit reprezentálják.
Így a gondolkodás logikai formája annak szerkezete, amelyet a nem logikai kifejezések jelentéseiből és jelentéseiből vett absztrakció eredményeként kiderül.
A logikai forma tájékoztató jellegű. Így ez a kifejezés nyert eltéríti a jelentését és nem logikus szempontból első argumentum értékeket hordozza a következő információkat: „Ha minden tárgyak osztálya M szerepelnek a P osztály és néhány tárgyak osztálya M tartalmazza az S osztály, néhány S-osztály tételeket tartalmazza az osztály P ”.
A gondolatok a logikai formák típusától függően osztályokra oszthatók. Ezeknek az osztályoknak a legfontosabb fogalmát fogják gondolni, úgynevezett fogalmak, ítéletek és következtetések.
A fogalom egy olyan gondolat, amelyben az objektumokat általánosságban elkülönítik és elkülönítik az ilyen objektumokra jellemző tulajdonságrendszer alapján. Példa egy olyan fogalomra: cselekvés vagy tétlenség, amelyet a törvény bűncselekménynek minősített (a bűncselekmény fogalma).
A határozatok azokat a gondolatokat jelölik, amelyekben bármely helyzet fennállása vagy hiánya megerősítést nyer. Példák: "Az ember Istentől kapott két áldott képességet", hogy az igazságot és a jót tegye; " "A legjobb mód arra, hogy tanulj valamit, hogy felfedezd magad."
A következtetés az ítéletben kifejtett tudás megszerzésének folyamata, más tudásból, az ítéletekben is kifejezve. Példák a következtetésekre a fent említett érvek (1), (2).
Az olyan gondolatok közötti összefüggések, amelyekben az egyik ilyen gondolat igazolja mások igazságát, formális logikai törvények vagy logikai törvények.
Az érvelés gondolata (1) közötti kapcsolat logikus törvény. Annak meghatározására, hogy a kapcsolat a néhány kezdeti megjegyzések és nyilatkozatok eredményeként kapott az érvelés, logikai törvény, szükséges, hogy helyettesítse az ezen állítások helyett nem logikai kifejezések önkényes szempontjából ugyanolyan típusú és ugyanabban az időben minden alkalommal, hogy megtudja, az lenne, ha igaz megkapta az utasítást az igazság az eredeti. Ha mindig megtaláljuk a feltételezések igazságának ilyen függését, akkor a köztük lévő kapcsolat logikus törvény. Ha van egy ellenpélda, akkor nincs rendszeres kapcsolat, és az érvelés nem helyes. Tehát a fenti érvelés: "A nyomozó ügyvéd. Ennek következtében egy képzett nyomozó - egy képzett ügyvéd "téves. Az ellenpélda egyértelműen téves érv lehet:
A légy állat. Következésképpen egy nagy légy nagy állat.
A modern logikában egyszerűbb és produktívabb módszereket fejlesztettek ki a gondolatok közötti logikai kapcsolat feltárására. Ezeket a módszereket a "Következtetés" fejezetben ismertetjük.
A logikai formák és a logikai jog fogalmainak meghatározásával meghatározható a formális logika fogalma.
A formális logika a gondolkodás formái, a formális-logikai törvények és más kapcsolatok és a gondolatok közötti kapcsolatok tudománya logikai formáik szerint.
A logikai formákkal kapcsolatos gondolatok - a logikai törvények - közötti szükséges összefüggések vizsgálata során a logika egy adott logikai formanyomtatvány minden állításának igazságát fogalmazza meg. Ezeket a kijelentéseket törvényeknek is nevezik, de ellentétben a logikai törvényekkel (meglévő kapcsolatok, hogy tudjuk-e róluk vagy sem), a logika törvényeit (tudományát). Például az a megállapítás, hogy ha egy igazi gondolati formák „Minden M P” és „Minden M S,” igazi gondolati forma „Néhány S P”, tudjuk megfogalmazni a törvény logikája: „Minden S, P és M igaz, hogy ha minden M P és minden M S, akkor néhány S Pn. A logika törvényei, miután megfogalmazódtak, normaként működnek, amely szerint az érvelést végre kell hajtani. A logika másfajta követelményeket is kifejleszt, amelyeket a kogníció folyamatában ajánlani kell. A formális logika tehát az intellektuális kognitív tevékenység formáinak, törvényeinek és módszereinek normatív tudománya.
A logika követelményeinek megfelelően végzett gondolkodás helyes. A formális logika, mint a helyes gondolkodás tudománya, megvizsgálja és osztályozza a gondolkodási folyamat tipikus hibáit is, tipikus alogizmus.
Sokáig próbáltak dialektikus logikát kialakítani. A logika eszközeit olyan esetekben kell alkalmazni, amikor nem szabad figyelmen kívül hagyni a tudás fejlődését. A dialektikus logika keretein belül számos módszertani alapelv (konkrétság, vizsgálat tárgyilagossága stb.) És a megismerés módszerei (az absztrakttól a betonig történő felemelkedés) alakultak ki.
Feltételezzük, hogy a megismerés folyamatában a formális logika módszereit ki kell egészíteni a dialektikus logika módszerével és fordítva.
A fentiekben leírt módon meghatározzuk, hogy az eredeti ítéletek formáinak és az azt követő következtetéseknek a formai-logikai törvényei (vagyis ezek az érvek helyesek-eek):
1. Minden bűnelkövető büntetőjogi felelősségre vonása. Néhány moszkvai lakost büntetőjogi büntetésnek vetnek alá. Következésképpen, néhány moszkvai lakos bűnöző.
2. Csoportunk minden diákja ügyvéd. Csoportunk minden diákja tagja a logika körének. Következésképpen a logika körének minden tagja jogász.
3. A bűncselekmény résztvevőinek némelyikét az áldozat azonosítja. Petrov család egyik tagját sem azonosította az áldozat. Azon személyek közül, akik nem vettek részt a bűncselekmény elkövetésében, büntetőjogi felelősséget vállalt a megbízatásért. Következésképpen Petrova családtagjainak egyikét sem vádolták a bűncselekmény elkövetése miatt.
4. "Ha Socrates meghalt, akkor meghalt, vagy amikor élt, vagy amikor meghalt. Ha él, nem halt meg, mert egy és ugyanazon személy élt volna, és halott volna; de nem akkor, amikor meghalt, mert kétszer is meghalt volna. Ezért Socrates nem halt meg "(Empiricus Sextus, 2 vol. Művek, M. 1976. 2. kötet, 289. o.).
5. Minden fém hővezető anyag. Minden fém elektromosan vezető anyag. Következésképpen minden villamosan vezető anyag hővezető.