| rdfs:comment
| - La lògica clàssica o lògica estàndard és la classe de lògica intensament estudiada i més àmpliament utilitzada. La lògica clàssica ha tingut molta influència en la filosofia analítica, el tipus de filosofia que s'empra més sovint en el món de parla anglesa. (ca)
- Klasika logiko aŭ normiga logiko estas formala sistemo kiu sekvas la jenajn principojn:
* Principo de la tria ekskludita
* Principo de nekontraŭdiro
* Principo de eksplodo
* Monotoneco de la implico La plej komunaj ekzemploj de klasikaj logikoj estas la propozicia logiko, la unuaranga logiko (aŭ Predikatkalkulo de unua ordo) kaj la duaranga logiko (aŭ de supera ordo). La klasikaj logikoj estas la formalaj sistemoj plej studitaj kaj uzitaj el ĉiuj. (eo)
- Classical logic (or standard logic or Frege-Russell logic) is the intensively studied and most widely used class of deductive logic. Classical logic has had much influence on analytic philosophy. (en)
- Una lógica clásica o lógica estándar es un sistema formal que respeta los siguientes principios:
* Principio del tercero excluido
* Principio de no contradicción
* Principio de explosión
* Monotonicidad de la implicación Los ejemplos más comunes de lógicas clásicas son la lógica proposicional, la lógica de primer orden y la lógica de segundo orden. Las lógicas clásicas son los sistemas formales más estudiados y utilizados de todos. (es)
- 古典論理（こてんろんり、英: classical logic）は形式論理の部類で、最も研究され最も広く使われている論理である。標準論理（英: standard logic）とも呼ばれる。 (ja)
- 고전 논리(古典論理, 영어: classical logic)은 기호 논리학 체계의 분류의 하나로, 널리 연구되며 비고전 논리와 대비되는 특징을 가진 논리체계를 가리킨다. 주로 표준적인 명제 논리 및 1차 술어 논리를 가리킬 때 쓰이는 말이다. (ko)
- La logica classica è la branca della logica formale che è stata più studiata e usata. È caratterizzata da certe proprietà; le logiche non-classiche sono quelle che non soddisfino ad una (o più) di queste proprietà, ovvero: 1.
* Principio del terzo escluso; 2.
* Principio di non-contraddizione; 3.
* Monotonia dell'implicazione e ; 4.
* ; 5.
* Leggi di De Morgan: ogni operatore logico è duale ad un altro. (it)
- Inom den klassiska logiken utgår man från att alla påståenden antingen är sanna eller falska. Det får som konsekvens att givet ett påstående P är utsagan P eller icke P en tautologi, det vill säga, alltid sann oberoende av vad påståendet P är, till exempel "Antingen regnar det eller så regnar det inte". Påståendet P eller icke P brukar kallas lagen om det uteslutna tredje. Som exempel på icke-klassisk logik kan nämnas intuitionistisk logik. (sv)
- 经典逻辑（英語：Classical logic），也被稱為標準邏輯（standard logic），标识已经被最深入的研究和最广泛的使用的一类演绎推理逻辑。经典逻辑是19和20世纪的创新，它比亚里士多德的传统逻辑具有更广泛的应用，并且能够将亚里士多德的传统逻辑表述为一个特例。经典逻辑满足一些公理化的基本原理，包括：同一律、排中律、无矛盾律（也被称为矛盾律）、充足理由律等等。 (zh)
- Unter der klassischen Logik versteht man ein logisches System, das die Aussagen-, die Prädikatenlogik erster oder höherer Stufe sowie im Allgemeinen den (logischen) Identitätsbegriff enthält. Eine erste Axiomatisierung eines solchen Systems hat Gottlob Frege in seiner Begriffsschrift (1879) entwickelt. Die klassische Logik ist durch genau zwei Eigenschaften gekennzeichnet: Das Prinzip der Zweiwertigkeit ist vom Satz vom ausgeschlossenen Dritten zu unterscheiden: (z. B. „Es regnet, oder es ist nicht der Fall, dass es regnet.“) (de)
- La logique classique est la première formalisation du langage et du raisonnement mathématique développée à partir de la fin du XIXe siècle en logique mathématique. Appelée simplement logique à ses débuts, c'est l'apparition d'autres systèmes logiques formels, notamment de la logique intuitionniste, qui a suscité l'adjonction de l'adjectif classique au terme logique. À cette époque, le terme de logique classique fait référence à la logique aristotélicienne. On y ajoute généralement l'une des lois de De Morgan : Le principe (fr)
- In de wiskundige logica wordt een logica klassiek genoemd, wanneer ze tweewaardig is en in die logica de wet van de uitgesloten derde geldt. Bovendien is gevolgtrekking in klassieke logica's monotoon. Over het algemeen worden alleen propositie- en predicatenlogica ertoe gerekend. Bijna alle wiskundeteksten zijn gebaseerd op klassieke logica's. Voorbeelden van klassieke logica's zijn de klassieke propositie- en predicatenlogica, hoewel beide ook niet-klassieke interpretaties hebben, en Aristoteles' syllogistiek. Aristoteles noemt twee principes (axioma's) voor de logica : (nl)
- Lógica clássica identifica uma classe de Lógica matemática que têm sido mais intensamente estudado e mais amplamente utilizado. A classe é, por vezes, chamada de lógica padrão. Elas são caracterizadas por um número de propriedades: 1.
* Lei do terceiro excluído e Dupla negação; 2.
* Princípio da não contradição, e o Princípio de explosão; 3.
* Monotonicidade de vinculação e Idempotência de vinculação; 4.
* Comutatividade da conjunção; 5.
* Teoremas de De Morgan: cada conectivo lógico é duplo a outro; (pt)
- Классическая логика — логика, системы которой строятся на принципах двузначности (бивалентности) значений ее выражений и формул, взаимозаменяемости (экзистенциальности) выражений и формул, имеющих одинаковые значения, а также допустимости интерпретации нелогических символов, состоящей из требований непустоты области интерпретации и принятия термами значений, только элементов области интерпретации. При этом принцип двузначности состоит в том, что каждое высказывание принимает точно одно из двух значений - «истина» или «ложь». Этот принцип равносилен принципу исключения третьего. (ru)
- Класична логіка — термін математичної логіки щодо тієї чи іншої логічної системи, для вказівки того, що для цієї логіки справедливі всі закони (класичного) обчислення висловлювань, в тому числі закон виключеного третього. Нерідко приставку класична вживають також щодо деяких некласичних логік, які допускають декілька варіантів — з законом виключеного третього (або подібних йому), або без нього. Тоді першу називають класичною. Наприклад, класична лінійна логіка. (uk)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[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)