logika

nauka poprawnego rozumowania

OverviewAI-generated

Logic is a formal science that is part of mathematics and philosophy. It is the study of condition, conclusion, and validity, and it has the effect of logical consequence. The field includes classical logic, fuzzy logic, quantum logic, and propositional calculus. It is practiced by logicians.

The subject is described by sources including The Nuttall Encyclopædia, the Jewish Encyclopedia of Brockhaus and Efron, the Brockhaus and Efron Encyclopedic Dictionary, and the Encyclopædia Britannica 11th edition. It is maintained by WikiProject Mathematics and appears on focus lists such as Wikipedia:List of articles all languages should have and Wikipedia:Vital articles/Level/4. A PubMed query for logic yields a count of 68137. Additionally, the topic is referenced by 3,433 other encyclopedia articles.

Synthesized by Vinony from 17 facts across 3 sources: Wikidata, PubMed, Vinony graph. Generated from structured data (not the Wikipedia text) and checked against those facts — may still contain errors.

Research

68,137 papers

via PubMed

Article · Polski

Logika (gr. λόγος, logos, rozum, słowo, myśl) – nauka o sposobach jasnego i ścisłego formułowania myśli, o regułach poprawnego rozumowania i uzasadniania twierdzeń. Wraz z retoryką stanowiła część filozofii. W kulturze europejskiej za prekursora usystematyzowania logiki uważa się Arystotelesa. 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).

Abstract from DBpedia / Wikipedia · CC BY-SA