A formai gondolkodás
1. A lényege a formális gondolkodás 4
2. Modellezés emberi szellemi tevékenység 8
Logic mint tudomány tanul gondolkodás. Vannak más tudományok, amelyek őt, mint a vizsgálat tárgyától, mint a pszichológia és a fiziológia. Pszichológiai tanulmányok, hogy a gondolkodási folyamat zajlik. Másrészt, akkor nézd meg a gondolkodás, mint egy olyan érkezik az igazság. Logic vizsgálja, hogy a törvényi alá kell gondolni, hogy ez vezethet az igazság. A tudomány logikus gondolkodás érdekli csak annyiban foglalkozik érvelés, bizonyítás, alátámasztás az állítások és következtetések.
A logika is nevezik a tudomány a csap ismerve a tudomány bizonyíték. Logic vizsgálja a markolat gondolatok egymás között és szükséges csatlakozások: elkötelezettség, lezárását követően az állandóság minden ítélet, vagy fordítva, az inkompatibilitás bizonyos you-skazyvany. Fontos szerepet logika fogalmát formák gondolat. Logic nevezhetünk akár a tudomány a formák a gondolat. Ilyen körülmények között egy lényeges kérdés formalizálásának gondolat és annak fő funkcionális problémák.
A fő rész (részlet)
A formai gondolkodás - gondolva a leképezést eredményez pontos feltételeket és nyilatkozatokat. A formális objektum vizsgált, ezek tulajdonságait és kapcsolatait rendelt néhány stabil, jól azonosítható és előre látható lényeges design, ad lehetőséget, hogy azonosítsa és javítsa az alapvető szempontból a tárgy.
Formalizálása elvégzett alapján bizonyos absztrakciók, idealizált és mesterséges szimbolikus nyelv, amit elsősorban a matematika, valamint a tudomány, mely a matematikai apparátus kielégítő mértékű ilyen szintű érettségi. Ez a mottója az matematika fejlődése az elmúlt három évszázad óta fokozatosan mélyülő megértését matematika mint formalizált rendszer a gondolkodás és az ebből következő növekedése a „sokemeletes” keresztül történik metarendszer átmenetek különböző méretű.
Mélyreható vizsgálat a matematikai elmélet generál az új MA-témájú elméletek, amelyek figyelembe veszik az eredeti elmélet a különböző aspektusait. Következésképpen minden egyes ilyen elméletek, bizonyos értelemben könnyebb (több alapvető), mint az eredeti elmélet, mint az eredeti elmélet egyszerűbb, mint a valóság, hogy mindig csak úgy tekintik bármelyike szempont. Ez osztott modellek kiválasztását egy sor összetett modell egyszerűbb modellek. Formálisan, az új elmélet ugyanolyan sokoldalú, mint az eredeti elmélet: tudnak alkalmazni, hogy minden tárgyat, amely kielégíti az axiómák, függetlenül azok jellegétől. Az axiomatikus megközelítés, a különböző matematikai elméletek, szigorúan véve, nem egy kontroll hierarchia és hierarchiája komplexitás. Figyelembe véve azonban a modell, hogy valóban kifejezze a természet törvényei (azaz. E. alkalmazási területük a matematika), azt látjuk, hogy a matematikai elmélet elég egyértelműen oszlik szinten természete szerint a tárgy, amelyre ténylegesen használják.
Formalizálása - egy kifejezési módja a tartalom a tudást. A legfontosabb faj a formális logikai formalizációs, ami azt jelenti, a kifejezés a szellemi tartalmak révén a logikai formákat. Hozzájárul a folyamat a tudomány, hogy a szigorú rendszert; azonban egy átfogó formalizációs lehetetlen még a matematika területén.
A logikai formalizációs gyakran azt a célt szolgálja, hogy a pro-gramm a számítógépek és megpróbálja szimulálni gondolkodás. Ebben az esetben használja a speciális algoritmikus nyelvek. Ennek logikus formalizációs alapul formális logika, a ítéletlogika (és predikátumok) mindig magában foglal egy szimulációs mozgásának fogalmak során gondolat az emberben.
2. N. Bourbaki, Elements of Mathematics // Tanulmányok a matematika története. M. Kiadó a külföldi. Irodalom. 1963.
3. Weil, A matematika filozófiája. M; L. 1968.
Információ a munkát
Oldalak: 14
Típus: Absztrakt
150 p.