| Czech |
| has gloss | ces: 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í. |
| lexicalization | ces: Intuicionistická logika |
| German |
| has gloss | deu: Der Intuitionismus (eine Art des Konstruktivismus) ist eine von L. E. J. Brouwer begründete Richtung der Philosophie der Mathematik, bei der die Mathematik als Tätigkeit des exakten Denkens angesehen wird, die ihre eigenen Objekte hervorbringt und nicht voraussetzt. Wahrheit mathematischer Aussagen wird reduziert auf Konstruierbarkeit. |
| lexicalization | deu: Intuitionismus |
| French |
| has gloss | fra: Lintuitionnisme est une position philosophique vis-à-vis des mathématiques proposée par le mathématicien hollandais Luitzen Egbertus Jan Brouwer comme une alternative à lapproche dite classique. Elle a été ensuite formalisée, sous le nom de logique intuitionniste, par ses élèves V. Glivenko et A.Heyting. Kurt Gödel a montré que lon pouvait représenter la logique classique dans la logique intuitionniste, corroborant le fait que la logique intuitionniste nest pas une logique à part, mais fait bien partie de la Logique. Gerhard Gentzen en a formalisé les règles de déduction dans le cadre de la déduction naturelle. |
| lexicalization | fra: logique intuitionniste |
| Italian |
| has gloss | ita: La logica intuizionista (o intuizionistica), o logica costruttiva, è la logica dell'intuizionismo matematico e di altre forme di costruttivismo matematico. |
| lexicalization | ita: logica intuizionista |
| Japanese |
| has gloss | jpn: 直観論理（ちょっかんろんり）あるいは直観主義論理（ちょっかんしゅぎろんり）とは、従来の論理学（古典論理）は全てのものの真偽が明確になる「神の論理」であるとして、もっと慎ましやかに人間の立場の論理学を考えようということで提唱されたものである。 |
| lexicalization | jpn: 直観論理 |
| Polish |
| has gloss | pol: Logika intuicjonistyczna jest to system logiczny oparty na filozoficznej koncepcji intuicjonizmu. 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, silne prawo kontrapozycji, jedno z praw transpozycji, 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 matrycy adekwantej dla intuicjonizmu zdaniowego). Za prekursora formalizacji logiki intuicjonistycznej uważa się Arenda Heytinga. |
| lexicalization | pol: Logika intuicjonistyczna |
| Portuguese |
| has gloss | por: 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 construtivismo matemático. |
| lexicalization | por: Logica intuicionista |
| lexicalization | por: lógica intuicionista |
| Russian |
| has gloss | rus: Интуиционистское исчисление высказываний — формальная система, отражающие некоторые способы рассуждений, приемлемые с точки зрения интуиционизма. Предложена А. Гейтингом в 1930. |
| lexicalization | rus: Интуиционистское исчисление высказываний |
| Castilian |
| has gloss | spa: 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. |
| lexicalization | spa: Logica Intuicionista |
| lexicalization | spa: lógica intuicionista |
| Swedish |
| has gloss | swe: 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. |
| lexicalization | swe: intuitionistisk logik |
| Chinese |
| has gloss | zho: 直觉主义逻辑或构造性逻辑是最初由 Arend Heyting 开发的为 Brouwer 的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理性。从实用的观点，也有使用直觉逻辑的强烈动机，因为它有存在性质，这使它还适合其他形式的数学构造主义。 |
| lexicalization | zho: 直觉主义逻辑 |
