Meghatározása logika mint tudomány
Bár a logika (a görög logos -. A szó, a fogalom, érvelés, elme), mint a tudomány, körülbelül két és fél ezer éve - úgy vélik, hogy az alapító a nagy görög filozófus Arisztotelész (384-322 BC) - jelenleg nincs általánosan elfogadott megállapításánál ezen tudományág. Néha logika, hogy megértsék a tudomány, amely megvizsgálja a szerkezete a gondolkodás, és feltárja a mögöttes törvények a mozgás az igazsághoz. Mi a „logika” fogy, a szűkebb értelemben vett, és megvizsgálja a logika, mint a tudomány a minták (logikai forma) helyes érvelés. Ebben az esetben az érvelés megértjük az átmenet az egyik gondolatról a másikra tekintetében ugyanebben a témában.
Ahogy azt már most elfogadott egy bizonyos logika van, úgy tűnik, az olvasó számára ismeretlen a kifejezés, ami persze felveti a kérdést: „Mi az a rendszer, vagy logikai forma, az érvelés (vagy tágabb értelemben - gondolatok)” „Mi ez a logika úgynevezett reguláris ? "
Ahhoz, hogy az első kérdés megválaszolásához, nézzük néhány példát.
A második csoport a kifejezések: „Ha egy háromszög szabályos, egyenlő szárú ez”; „Ha egy vezeték hordozó elektromos áram, a vezeték körül van kialakítva az elektromágneses mező„; „Ha vannak osztályok a társadalomban, ez az állam.” Az első javaslatok, ezek abban különböznek, hogy azok komplex. Mindegyikük képződnek segítségével „ha majd a” Union. Azt mondhatjuk, hogy állandó kötőszó használata „ha majd a” csatlakozáshoz használt három különböző fogalom. Gépelés helyett hozzájuk kapcsolódó változók p és q, megkapjuk az ábra:
Most viszont, hogy egy bonyolultabb példa: „Ha egy háromszög szabályos, akkor egyenlő szárú, ezért, ha a háromszög nem egyenlő oldalú, akkor nem egyenlő oldalú”; „Ha egy vezeték hordozó elektromos áram, a vezeték körül van kialakítva, az elektromágneses mező, ezért, ha a vezeték körül van kialakítva az elektromágneses mező, a vezeték az elektromos áram nem folyik”; „Ha egy társadalom vannak osztályok, akkor az állam; Ezért ha egy társadalom nem az állam, hogy nincsenek osztályok. " A teljes jellemzi az a tény, hogy a konvertáló néhány gondolat, hogy néhány új ötletek, új ismeretek. Ezt úgy érjük el, a kör:
Ha p, akkor q; Ezért, ha nem - q, nem - p
Okozhat más példákat. Gondoskodunk arról, hogy az áramkör vagy logikai formák érvelés rendkívül változatosak, sokan vannak, még akkor is végtelen. Generalizált lényegüket fejezhető az alábbi meghatározás: egy diagram (logikai alak) érv - ez az oldalára, amely nem függ a konkrét tartalmát, de használják a kommunikáció és a rendelési annak elemei.
Az angol logikai forma rögzített változók (ezekben az esetekben - az S. P, p, q), valamint a logikai állandók. Logikai konstanta- kifejezés megőrzik értéküket semmilyen érv. Ennek logikus állandók a magyar nyelvben a „minden”, „valami”, „a”, „és”, „vagy”, „vagy az”, „ha, akkor”, „akkor és csak akkor, ha” „szükséges”, „lehetséges”, és mások.
Mivel a logika (a szűkebb értelemben vett) illeti logikai formák, amennyiben ez az úgynevezett formális logika.
A változók p és q. Határozza meg, mely az alábbi állítások ugyanolyan logikai forma:
1. Ivanov nyerte sakkverseny lett a bajnok.
2. Nem igaz, hogy a főváros Fehéroroszország nem található a Svisloch.
3. Ha a négyszög - paralelogramma, akkor annak átlói metszik egymást, felezik.
4. Nem igaz, hogy a termék nem tartalmaz értéket.
5. Ha a 2 nem egyenlő b 2. akkor a nem egyenlő b.
6. Barátom kitüntetéssel végzett a főiskolán, és megkapta a közgazdasági diplomát.
7. Ha egy egyenlő b. majd 2 azonos b 2.
8. Ha a négyszög átlóival metszésvonalban nem kettévágva, akkor ez a négyszög nem paralelogramma.
Változók felhasználásával S és P. A készlet, amely a következő állítások ugyanolyan logikai forma:
1. Minden eleme az első csoport a periódusos rendszer - egy alkálifém.
2. Egyes tudósok - mászók.
3. Nincs olyan tanuló cégcsoportunk nincs tudományos adósságait.
4. Minden rabszolgatartók - a kizsákmányolók.
5. Egyik ilyen jelenleg nem ismeri.
6. Néhány folyadékok - vezető anyag.
Most megpróbálunk alapján a második kérdést.
Ha p, akkor q; Ezért, ha nem - q, nem - p
Tény, hogy igaz, hogy a nyilatkozat egy egyenlő szárú háromszög egyenlő oldalú kell, nem egyenlő szárú oldalú; mert az állítólagos állami társadalom osztályok, ha nem kellene osztályok hiányában az állam, stb
Érdemes megjegyezni, hogy a helyettesítés a rendszerben a változók helyett p és q hamis állítások nem teszi hamis a szövegben érv érvényes marad. Mi helyettesíti, például ahelyett, p lozhnoevyrazhenie „Mars - csillag” helyett q - „Mars ragyog saját fény.” Kapunk az érv: „Ha a Mars - a csillag, úgy ragyog saját fényével; Ezért, ha a Mars nem süt a saját fény, ez - nem egy csillag. " Ez, mint látjuk, nem kétséges.
Rendszerek, amelyek az imént említett tulajdonságok nevezik logikusan km törvényeket. És ha az érvelés helyes, akkor az építési rendszer - logikai törvény. Ezzel szemben, ha az indokolás rendszer - logikai gyakorlat szerint az ilyen érvelés helyes.
Egyéb üzleti rendszer:
Ha p, akkor q; Ezért, ha nem - p, akkor nem - q
Például, az esetben a algebrai kifejezés a = b helyett p és egy 2 = b 2 helyett q, megkapjuk a hamis mondat:
Ha a = b, akkor a 2 = b 2; Ezért, ha a ≠ b, majd a ≠ B 2 2
Más esetekben alapján ez a rendszer, akkor kap egy igazi mondat. Például, ahelyett, hogy ebben az esetben p - «hold igazodik között a Nap és a földet.” Ahelyett, q -. «Proiskhoditsolnechnoe eclipse” Megkapjuk az igazi mondat: „Ha a hold van igazítva a Nap és a Föld, ez proiskhoditsolnechnoe eclipse”, és ez igaz. Reakcióvázlat, amely egy bizonyos helyettesítéseket alakítjuk igaz, és a másik egy hamis ajánlatot, nevükön a megvalósítható. De ők is minősülnek megbízhatatlan.
Végül vannak olyan rendszerek, semmilyen permutáció alakítjuk hamis kifejezéseket. Ilyen, például a rendszer:
Ez nem igaz, hogy p vagy - p
(Feltéve, hogy p igaz vagy hamis). Az ilyen rendszerek nevezzük kevert.
Ha p, akkor q; Ezért, ha nem - q, nem - p
Ez egy példa a logikai törvény; rendszer is
Ha p, akkor q; Ezért, ha nem - p, akkor nem - q
Ez nem igaz, hogy p vagy - p
Példák logikai törvények nem.
Helyes érvelés alapja a logika törvényei, és határozza meg azokat. Ha egyes állítások igazak, és átalakítani őket törvényei szerint a logika, az eredmény kiderül, hogy igaz legyen. Használata áramkörök, amelyek nem logikai törvények, ezzel érvelés megbízhatatlan vagy következetlen, és esetleg parcellák igaz, olykor szükséges, így hamis eredményt.
Így az értéke logikát, mint a tudomány, hogy különválasztja a számos lehetséges rendszerek helyes gondolkodás, függetlenül attól, hogy ténylegesen használ egyetlen emberi a folyamat a gondolkodás ezeket a rendszereket.
A legfontosabb feladat, logika (formal) - találmány módszereket, amelyek lehetővé teszik a kiválasztási áramkörök, amelyek logikai törvények elválasztja őket az áramkörök, amelyek nem, és végül dönt a helyességét vagy helytelenségét érvelés. A jövőben nézzük meg néhány ilyen módszereket.
1. Eljárás helyett változók p és q egyszerű kijelentő mondat (nem feltétlenül igaz), azt mutatják, hogy az alábbi logikai formák nem logikai törvények:
d) nem igaz, hogy p és nem - q.
2. Ha az argumentum: „Ha minden ember halandó, és minden görög férfiak, mind a görögök halandó” a helyes, akkor helyes, ha a következő szempontokra:
a) «Ha minden terek hasonlóak, és az összes a trapéz - négyzetek, az összes trapéz, mint a";
b) «Ha minden sárkányok gonosz, és minden gyíkok - sárkányok, gyíkok minden rossz";
c) «Ha glokaya kuzdra heves, és minden Bokra - Glock Kuzdra minden Bokra erős.”
3. Határozza áramkör következő megfontolásokat. Way helyettesítés tegye egyértelművé az helytelenségnek.
a) Minden politikus - alakoskodó. Néhány alakoskodó - képmutatók. Ezért néhány politikus - a képmutatók;
b) bizonyos (vagy talán az összes) kecske, mint a széna. Nem kutya széna szeret. Ennek következtében néhány (vagy talán az összes) a kutyák nem kecske;
c) Az összes maffia kegyetlen. Néhány korrupt kegyetlen. Ezért egyes korrupt hivatalnokok - a maffia.