| rdfs:comment
| - An eolaíocht a stiúrann gníomhú an réasúin ionas go n-oibreoidh sé go hordúil, go héasca, agus gan earráid, is ea loighic. (ga)
- 論理学（ろんりがく、英: logic、ロジック）とは、「論理」を成り立たせる論証の構成やその体系を研究する学問である。 現代の論理学については「現代論理学（数理論理学）」を参照 (ja)
- 논리학(論理學, 문화어: 론리학, 영어: logic, formal logic)은 '논리' 및 그것과 관련된 구성과 원리들을 분석하고 체계화하는 학문이다. 타당한 논증, 곧 추론과 증명의 법칙을 연구하는 학문으로, 일반적으로는 논증의 학문이라고 정의된다. 판단·추리·개념 등과 관련하여 올바른 명제를 전제로 하는 '타당한 추론(推論)의 형식'(valid rules of inference)에 관한 인문 과학이라고도 한다. 흔히 철학의 한 분과로 분류되나, 형식적 논리학은 수학기초론과 깊이 연관되어 있다. 한편 라이프니츠는 '모든 과학들이 공리들을 규명할 때 그러한 사용에서 그리고 그러한 원칙에서의 논리학의 당위적인 역할'이라는 맥락의 서술을 한 바 있다. (ko)
- 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). (pl)
- Logica of redeneerkunst is de wetenschap die zich bezighoudt met de formele regels van het redeneren. Traditioneel wordt de logica door de filosofie bestudeerd, maar zij wordt ook tot de wiskunde gerekend. De logicus (meervoud: logici) is gespecialiseerd in deze tak van wetenschap, maar ook door wetenschappers binnen veel andere takken en subdisciplines van de wetenschap wordt veel gebruikgemaakt van de logica. (nl)
- 邏輯（logic）又稱理則、論理、推理、推論，是有效（或正确）推論的研究；更广泛地说，逻辑是对论证的分析和评估。 邏輯可分為形式邏輯，與非形式邏輯。 邏輯被使用在大部份的智能活動中，但主要在心理、学习、哲學、語義學、數學、推论统计学、脑科学、法律和計算機科學等領域內被視為一門學科。邏輯討論邏輯論證一般會呈現的，哪種形式是有效的，以及其中的謬論。 邏輯推理通常可分為三种：歸納推理、溯因推理和演繹推理。 科學方法都屬於歸納推理, 沒有必然性。 數學則屬於演繹推理。 在哲學裡，邏輯被應用在大多數的主要領域之中：形上學/宇宙論、本體論、知識論及倫理學。 在數學裡，邏輯是指和数理邏輯，形式逻辑是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也涉及到邏輯。数理邏輯是研究抽象邏輯关系和数学基本的问题。 在心理、脑科学、语义学、法律裡，是研究人类思想推理的处理。 在学习、推论统计学裡，是研究最大可能的结论。主要是歸納推理、溯因推理。 在電腦科學裡， 是研究各种方法的性质，可能性，和实现在机器上。主要是歸納推理、溯因推理，也有在歸納推理的研究。 从古文明开始（如古印度、中國古代和古希臘）都有對邏輯進行研究。在西方，亞里斯多德將邏輯建立成一門正式的學科，並在哲學中給予它一個基本的位置。 (zh)
- المنطق (من اليونانية القديمة: λογική، بالحروف اللاتينية: logikḗ) هو الدراسة المنهجية لشكل الاستدلال الصحيح، وقوانين المعرفة الحقيقية الأكثر شيوعًا، الاستنتاج الصحيح هو الذي يُوجِد علاقات محددة للدعم المنطقي بين افتراضات الاستدلال ونتائجه. تاريخيًا، تمت دراسة المنطق في الفلسفة (منذ العصور القديمة) والرياضيات (منذ منتصف القرن التاسع عشر)، ودُرس المنطق في الآونة الأخيرة في علوم الحاسوب واللغويات وعلم النفس، وغيرها من المجالات. (ar)
- La lògica és l'estudi dels sistemes de raonament que un podria utilitzar per raonar. La lògica s'ocupa de determinar quines formes d'inferència i de demostració són vàlides i quines no, i per tal de fer-ho la noció central que estudia és la de conseqüència lògica. Tradicionalment, la lògica s'ha considerat una branca de la filosofia. (ca)
- Logika má více významů – v češtině se běžně používá ve smyslu myšlenková cesta, která vedla k daným závěrům. Logika je také formální věda, zkoumající právě onen způsob vyvozování závěrů. Logika není empirická věda o myšlení. Studuje objektivní podmínky správnosti, jinak řečeno je to disciplína studující relaci „vyplývání“. Logika nezkoumá úplně obecně poznání – to je předmětem filosofické disciplíny epistemologie. Jako mnoho dalších věd vznikla logika coby součást filosofie. Logiku byla posléze užívána i v matematice, čímž se z logiky odštěpila matematická logika. (cs)
- Η λογική έχει δύο έννοιες. Είναι η μελέτη των τρόπων συλλογισμού (εκείνων που ισχύουν, καθώς και των εσφαλμένων), όπως και η χρήση έγκυρων συλλογισμών. Στην τελευταία αυτή έννοια, η λογική χρησιμοποιείται στις περισσότερες πνευματικές δραστηριότητες, συμπεριλαμβανομένης της φιλοσοφίας της επιστήμης,και της λακωνικότητας, αλλά στην πρώτη έννοια κατά κύριο λόγο μελετήθηκε στους κλάδους της φιλοσοφίας, των μαθηματικών, της σημασιολογίας και της πληροφορικής. Εξετάζει γενικές οι οποίες μπορούν να επιχειρηματολογηθούν. Στα μαθηματικά είναι η μελέτη των έγκυρων συμπερασμάτων μέσα σε μια τυπική γλώσσα. Η λογική επιπλέον μελετήθηκε στη . (el)
- Logiko (malnovgreka λογικὴ τέχνη arto de rezonado, tio de λόγος [LOgos] vorto, diraĵo; racio) estas branĉo de filozofio, kiu okupiĝas pri racia rezonado. Ĝi povas esti konsiderata ankaŭ fako de matematiko kaj de komputiko. Tradicie ĝi estas dividita en du ĉefajn branĉojn: la dedukta logiko kaj la indukta logiko. Tamen, la vorto logiko plej ofte signifas nur deduktan logikon, ĉar multaj modernaj logikistoj ne konsentas, ke indukta logiko apartenas al logiko. La resto de ĉi tiu artikolo temas nur pri dedukta logiko (de nun simple nomata logiko). (eo)
- La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad. No existe un acuerdo universal sobre la definición exacta o los límites de la lógica. Sin embargo, el ámbito de la lógica (interpretada en sentido amplio) incluye: (es)
- Mit Logik (von altgriechisch λογικὴ τέχνη logikè téchnē ‚Kunst des Denkens‘, ‚Kunst des Argumentierens‘) wird im Allgemeinen das vernünftige Schlussfolgern und im Besonderen dessen Lehre – die Schlussfolgerungslehre oder auch Denklehre – bezeichnet. In der Logik wird die Struktur von Argumenten im Hinblick auf ihre Gültigkeit untersucht, unabhängig vom Inhalt der Aussagen. Bereits in diesem Sinne spricht man auch von „formaler“ Logik. Traditionell ist die Logik ein Teil der Philosophie. Ursprünglich hat sich die traditionelle Logik in Nachbarschaft zur Rhetorik entwickelt. Seit dem 20. Jahrhundert versteht man unter Logik überwiegend symbolische Logik, die auch als grundlegende Strukturwissenschaft, z. B. innerhalb der Mathematik und der theoretischen Informatik, behandelt wird. (de)
- Logika (grezieratik λόγος logos = hitz, arrazoi, funts) argudioen aztertzea gauzatzen duen zientzia da. Bere betebehar nagusia egia eta gezurra desberdintzeko sistemak eta arrazoitze logikoak ezartzean datza. Logika oso garrantzitsua da epistemologiari dagokionez, honek arrazoitzea ahalbidetzen du, eta horrela, bai gizakiek - zein adimendun beste zenbait izakik, gailuk edo sistemak- arrazoia aurkitzen dute, euren jakituria biderkatzen dakielarik. Aipaturiko gailu eta sistemek, ez diote logikari jarraitzen, berez logikaz egindako programa baten aginduetara daude. (eu)
- Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises in a topic-neutral way. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Formal logic contrasts with informal logic, which is associated with informal fallacies, critical thinking, and argumentation theory. While there is no general agreement on how formal and informal logic are to be distinguished, one prominent approach associates their difference with whether the studied arguments are expressed in formal or informal languages. Logic plays a central role in multiple fields, such as ph (en)
- La logique — du grec λογική / logikê, qui est un terme dérivé de λόγος / lógos signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature). (fr)
- Logika berasal dari kata Yunani kuno λόγος (logos) yang berarti hasil pertimbangan akal pikiran yang diutarakan lewat kata dan dinyatakan dalam bahasa. Logika adalah salah satu cabang filsafat. Sebagai ilmu, logika disebut dengan logike episteme (bahasa Latin: logica scientia) atau ilmu logika (ilmu pengetahuan) yang mempelajari kecakapan untuk berpikir secara lurus, tepat, dan teratur. (in)
- La logica (dal greco λόγος, logos, ovvero "parola", "pensiero", "idea", "argomento", "ragione", da cui poi λογική, logiké) è lo studio del ragionamento corretto. Comprende sia la logica formale che quella informale. La logica formale è la scienza delle inferenze deduttivamente valide o delle verità logiche. È una scienza formale che indaga su come le conclusioni derivano dalle premesse in modo neutrale rispetto all'argomento. La logica informale è associata a errori informali, correttezza, pensiero critico e teoria dell'argomentazione. Sebbene non vi sia un accordo generale su come distinguere la logica formale da quella informale, un approccio importante associa la loro differenza al fatto che gli argomenti studiati siano espressi in linguaggi formali o informali. La logica gioca un ruolo (it)
- Ло́гика (др.-греч. λογική — «наука о правильном мышлении», «способность к рассуждению»; от λόγος «учение, наука») — нормативная наука о законах, формах и приёмах интеллектуальной деятельности. Логика как наука возникла в недрах древнегреческой философии. Далее в течение почти двух с половиной тысячелетий до второй половины XIX века логика изучалась как часть философии и риторики. Начало современной логики, построенной в форме исчисления, положил Г. Фреге в сочинении «Begriffsschrift» («Запись в понятиях», в другом переводе — «Исчисление в понятиях», 1879). (ru)
- Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido. No segundo sentido, a lógica é discutida principalmente nas disciplinas de filosofia, matemática e ciência da computação. Ambos os sentidos se baseando no foco comum referente a harmonia de raciocínio, a proporcionalidade formal entre argumentos, assim sendo, a correta e equilibrada relação entre todos os termos, a total concordância entre cada um deles dentro de um desenvolvimento. (pt)
- Logik är i bred bemärkelse läran om vad som gör ett resonemang eller en argumentation giltig. Den vetenskapliga disciplinen logik är ett omfattande och vittförgrenat ämnesområde på gränsen mellan filosofi och matematik, och har som utgångspunkt studiet av giltiga slutledningar baserat på språkliga entiteters form, till skillnad från dessas innehåll. Logik som formell vetenskap har sitt ursprung i Aristoteles första systematiseringar av så kallade syllogismer, korrekta slutledningar givet två premisser. (sv)
- Ло́гіка (від дав.-гр. λογική, також пов'язане з λόγος — слово, значення, думка, мова) — наука про закони та різновиди мислення, способи пізнання й умови істинності знань і суджень, про найпростіші форми, принципи та методи правильного міркування. Логіка є здатністю сприйняття інформації із зовнішнього світу шляхом аналізу деталей навколишнього світу.[джерело?] (uk)
|
_CIPB2067.jpg)
.svg)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)
![[RDF Data]](/fct/images/sw-rdf-blue.png)