logika

Logic (from the ) is the branch of philosophy concerned with the use and study of valid reasoning. The study of logic also features prominently in mathematics and computer science.

Logika (gr. λόγος, logos – rozum, słowo, myśl) – wedle klasycznej definicji – nauka o sposobach jasnego i ścisłego formułowania myśli, o regułach poprawnego rozumowania i uzasadniania twierdzeń. Jako taka wraz z retoryką logika stanowiła część filozofii. Współczesna logika wykorzystując metodę formalną znacznie rozszerzyła pole badań włączając w to badania nad matematyką (metamatematyka, logika matematyczna), konstruowanie nowych systemów logicznych (np. logiki wielowartościowe), czysto teoretyczne badania o matematycznym charakterze (np. teoria modeli), zastosowania logiki w informatyce i sztucznej inteligencji (logic for computer science).

Logika má více významu – v ceštine se bežne používá ve smyslu myšlenková cesta, která vedla k daným záverum. Logika je také formální veda, zkoumající práve onen zpusob vyvozování záveru.

Logika ( 'žodis, reikšme'; žr. ) – filosofijos mokslo šaka, tirianti priimtinus samprotavimo budus; placiaja prasme – taisyklingas mastymas, samprotavimu eiga, sveikas protas, vidinis desningumas.