| rdfs:comment
| - Intuitionismus bezeichnet unterschiedliche philosophische, mathematische und teilweise auch psychologische Positionen, die der Intuition eine Priorität einräumen. Oftmals wird dabei vorausgesetzt, dass bestimmte Sachverhalte unmittelbar erkannt oder bewiesen werden. Zu unterscheiden sind hauptsächlich Wortverwendungen in der Erkenntnistheorie, der und Metaethik sowie ein mathematischer und logischer Intuitionismus. (de)
- La logique intuitionniste est une logique qui diffère de la logique classique par le fait que la notion de vérité est remplacée par la notion de preuve constructive. Une proposition telle que « la constante d'Euler-Mascheroni est rationnelle ou la constante d'Euler-Mascheroni n'est pas rationnelle » n'est pas démontrée de manière constructive (intuitionniste) dans le cadre de nos connaissances mathématiques actuelles, car la tautologie classique « P ou non P » (tiers exclu) n'appartient pas à la logique intuitionniste. La logique intuitionniste établit, entre autres, un distinguo entre « être vrai » et « ne pas être faux » (formulation plus faible) car ¬¬P → P n'est pas non plus démontrable en logique intuitionniste. (fr)
- 논리학에서 직관 논리(直觀論理, 영어: intuitionistic logic)는 수학적 직관주의에 근거하여 귀류법을 배척하는 논리 체계이다. 직관 논리에서 참인 모든 명제는 고전적으로도 참이지만 그 역은 일반적으로 성립하지 않는 특징이있다.이처럼 직관주의 논리학은 이중부정의 일부법칙이 성립하지 않는다. (ko)
- Logika intuicjonistyczna (konstruktywna) – system logiczny oparty na filozoficznej koncepcji intuicjonizmu. Za prekursora formalizacji logiki intuicjonistycznej uważa się Arenda Heytinga. Podstawową cechą logiki intuicjonistycznej jest założenie, że prawdziwość zdania jest oparta na istnieniu dla niego dowodu, a nie na wartościowaniu poszczególnych jego składowych. Z tego powodu logika intuicjonistyczna odrzuca m.in. prawo wyłączonego środka, silne prawo podwójnego przeczenia, , jedno z praw czy pierwsze prawo de Morgana. Wynikiem tych zabiegów jest w szczególności rezygnacja z dwu-, a wręcz skończonej wartościowości logiki (tw. o braku skończonej dla intuicjonizmu zdaniowego). (pl)
- La logica intuizionista (o intuizionistica), o logica costruttiva, è la logica dell'intuizionismo matematico e di altre forme di costruttivismo matematico. Secondo la prospettiva intuizionista, la logica e la matematica sono le applicazioni di metodi internamente coerenti per la realizzazione di costrutti mentali di complessità crescente. La logica intuizionista si propone come una rigorosa e formale logica matematica. Benché non sia chiaro se un calcolo logico formale esaurisca gli aspetti più spiccatamente filosofici dell'intuizionismo, esso mostra delle proprietà piuttosto utili nella pratica scientifica. (it)
- Den intuitionistiska logiken har sitt ursprung i intuitionismen som grundar sig på uppfattningen att existensen av ett (matematiskt) objekt endast kan fastställas genom att i någon mening konstruera objektet. I intuitionistisk logik är lagen om det uteslutna tredje inte en giltig princip, d.v.s., man kan inte i allmänhet sluta sig till att utsagan P eller icke P är sann. Idag är intuitionistisk logik inte bara tillämpad inom intuitionismen, utan även i exempelvis toposteori. (sv)
- Lógica intuicionista, ou lógica construtivista, é o sistema de lógica simbólica desenvolvido por Arend Heyting para prover uma base formal para o intuicionismo de Brouwer. O sistema preserva, também, a justificação, e não apenas a verdade, no processo que leva de hipóteses a proposições derivadas - se as hipóteses são verdadeiras e justificáveis então a conclusão também será verdadeira e justificável. De um ponto de vista prático, há, também, uma forte motivação para usar a lógica intuicionista, já que ela possui a propriedade existencial, tornando-a adequada para outras formas de . (pt)
- 直觉主义逻辑或构造性逻辑是最初由阿蘭德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的而不是真理性。从实用的观点，也有使用直觉逻辑的强烈动机，因为它有，这使它还适合其他形式的数学构造主义。 (zh)
- Intuicionistická logika je druh logiky, který nepoužívá princip vyloučeného třetího. Pravdivostní hodnoty 0 a 1 v ní znamenají „není možno zkonstruovat“ a „je možno zkonstruovat“. Na rozdíl od běžné (například aristotelské) logiky neplatí princip negace negace. Například implikace: Něco nemůže neexistovat ⇒ musí to existovat v intuicionistické logice obecně neplatí. Intuicionistická logika úzce souvisí s teorií vyčíslitelnosti. Pravdivost v intuicionistické logice lze ztotožnit s algoritmickou řešitelností. Sémantiku intuicionistické logiky zachycuje Heytingova algebra. (cs)
- Intuicia logiko aŭ intuiciisma logiko, foje pli ĝenerale nomita konstrua logiko, referencas al sistemoj de simbola logiko kiuj diferencas el la sistemoj uzataj por klasika logiko per pli fermita montrado de la nocio de konstrua pruvaro. Partikulare, sistemoj de intuicia logiko ne inkludas la leĝon de la ekskludita mezo kaj la nuligon de la duobla neado, kiuj estas fundamentaj reguloj de la inferenco en klasika logiko. (eo)
- La lógica intuicionista, o lógica constructivista, es el sistema lógico originalmente desarrollado por Arend Heyting para proveer una base formal para el proyecto intuicionista de Brouwer. El sistema enfatiza las pruebas, en vez de la verdad, a lo largo de las transformaciones de las proposiciones. (es)
- Intuitionistic logic, sometimes more generally called constructive logic, refers to systems of symbolic logic that differ from the systems used for classical logic by more closely mirroring the notion of constructive proof. In particular, systems of intuitionistic logic do not assume the law of the excluded middle and double negation elimination, which are fundamental inference rules in classical logic. (en)
- 直観主義論理（ちょっかんしゅぎろんり、英: intuitionistic logic）または直観論理（ちょっかんろんり）、あるいは構成的論理（こうせいてきろんり、英: constructive logic）とは、ある種の論理体系であり、伝統的な真理値の概念がの概念に置き換わっている点で古典論理とは異なる。例えば古典論理では、全ての論理式に真か偽の真理値 が割り当てられる。このときその真理値に対する直接的なエビデンスを持つか否かは問題にしない。これはどのような曖昧な命題においても「真か偽かが決定可能である」ということを意味する。対照的に直観主義論理では確定的に論理式に真理値を割り当てるのではなく、それが真であるとは「直接的なエビデンス」つまり「証明」があることと見做す。 証明論的な視点から見ると、直観主義論理は古典論理の制限であって排中律や二重否定除去が公理として許容されないものである。排中律や二重否定除去はいくつかの論理式に対しては個別に証明できることがあるけれども、古典論理のように普遍的に成立することはない。 直観主義論理の色々な意味論が研究されている。ひとつの意味論は古典的なを写しとったものでブール代数の代わりにハイティング代数を用いる。別の意味論ではクリプキ・モデルを用いる。 (ja)
- Интуициони́стская ло́гика — формальная система, отражающая некоторые способы рассуждений, приемлемые с точки зрения интуиционизма. Предложена А. Гейтингом в 1930. Основное отличие от привычного исчисления высказываний заключается в том, что отсутствует закон исключённого третьего. (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)