Előadás - logika mint tudomány - a 9. évfolyam ingyenesen letölthető

Logic mint tudomány

Logic (a görög logosz -. A szó, a koncepció, az érvelés elme) - a tudomány a formák és törvények a racionális gondolkodás.

A koncepció - egyfajta gondolkodásmód, amely kijelöli bármely tárgy vagy tulajdonság az objektum, ami megkülönbözteti a többi tárgyat.
Például a „kutya”, a „növény”, a „bolygó”, „kémiai elem”, „bátorság”, „ipar”, stb ...

Halmazai között (kötetek hasonló koncepció) eltérő vidyotnosheny ami kényelmes, hogy képviselje Euler körök:

Az ekvivalencia ( „azonosság”). amikor a szereplő fogalmak azonosak;
kereszteződés. amikor kötetek fogalmak átfedik egymást;
benyújtását. ha a kötet egy koncepció teljes mértékben összhangban van a többi, stb

Nyilatkozat (javaslat, nyilatkozat) - egyfajta gondolkodásmód, amelyben valami elfogadták vagy elutasították tárgyakról, azok tulajdonságait és a közöttük lévő kapcsolatok. A megnyilatkozás lehet igaz vagy hamis. Mondatok nem lehet kifejezni kérdő vagy felszólító mondatok, mint az értékelés igaz vagy hamis voltát az ilyen javaslatok nem lehetséges.
Például: „A Nap nem egy bolygó”; „Bizonyos anyagok - egy fém”; „Minden adat - a jele”; " 2 2 = 4" és m. P.

Általános nyilatkozat kezdődik (vagy meg lehet kezdeni) ezekkel a szavakkal: minden, minden, minden, semmi.
Egyéni nyilatkozat kezdődik (vagy meg lehet kezdeni) ezekkel a szavakkal, néhány, a legtöbb, stb
Minden más esetben az állítás egyetlen.

Következtetés - egyfajta gondolkodásmód, amelyben két vagy több forrás nyilatkozatokat, az úgynevezett helyiségek, kap egy új nyilatkozat vagy következtetést.
Példa érvelés: „Minden az elektromos vezetőképesség a fémek. Vas - egy fém. Vas villamosan vezető. "

A fő célja a logika - egy tanulmányt, hogy néhány állításokat képes megjeleníteni más. Feltételezzük, hogy a kimeneti függ csak a kommunikációs módszert alkotó állítások és azok szerkezetét, hanem a konkrét tartalom. Ezért másik definíció logika.
Logic - a kutató tudomány megállapításának módszerei igaz vagy hamis voltát bizonyos állítások (nyilatkozatok) alapján igaz vagy hamis voltát egyéb javaslatokat.

Idővel, a logika költözött formális matematikai (verbális érvelés jelöléssel kell írni érvelés szimbólumokkal) a fejlődését. Úgy tűnt, a matematikai kutatási módszerek, külön törvények. Az alapító a matematikai logika és a matematika tartják filozófus Leibniz (1646-1716).

A XIX században volt egy rész matematika-cal logika - matematikai logika, hogy működik a bináris változók, hogy csak két érték - az „igaz” vagy „hamis”. Matematikai logika tiszteletére az alkotó, az angol matematikus George. Boole, úgynevezett Boole algebra. A formális logika nem vesztette el jelentőségét és használják jelenleg a filozófia, a jog, a kriminológia, a pszichológia, és így tovább. D.

Boole-algebra talált széles gyakorlati alkalmazása a műszaki területen - icpolzyetcya megoldani bonyolult matematikai problémákat, írásakor algoritmusok és szoftverek fejlesztése elektronikus eszközök, számítógépek, automata-idézésben rendszerek, robotika, stb ...

matematikai logika - szakasz a matematikai logika, hogy tanulmányozza a logikai állítások és módszerek megállapítása az igaz vagy hamis voltát algebrai módszerekkel.
Igaz vagy hamis kijelentés nincs meghatározva algebra logika, konkrét tudományok gyakorolni észrevételeit.
A matematikai logika nem fontos értelmében a megnyilatkozás, fontos csak az igaz vagy hamis.

A készlet kimutatások építhetünk új megállapításokat. Ez használ a szavak és mondatok „és”, „vagy”, „nem”, „sem. vagy „” akkor és csak akkor, ha”, és mások. Ezek a szavak és kifejezések nevezzük logikai művelet vagy kvantifikátorok.

Nyilatkozatok. származó egyéb javaslatok, úgynevezett vegyületet (komplex). Nyilatkozatok. Ez nem egy komponens, az egyszerű vagy elemi.
Például: az egyszerű állítások, „Szergej futball”, „Szergej úszó”, akkor kap egy összetett állítás „Szergej focista úszó.”

Az algebra nyilatkozat logika, hogy hivatalossá művek ciklikusan kijelölje szim-nevek, mint például: A, B, C.
Aztán, ha mi jelöljük az egyszerű kijelentés „Denis tette órák” A név, „Denis ment a film” A neve, összetett utasítás „Denis tette órák és moziba ment” felírható „A és B”. Itt az „és”, amely a logika csokor. A, B - logikai változó, amely akár a logikai értékek „true” vagy „false”.