This tool looks for unlabeled Wikidata items in your language. It starts with a Wikidata item,
looks at all the associated Wikipedia pages, the links on all those pages, and lists the Wikidata items corresponding to the link targets.
Q108163 - proposition
Searching link targets on 55 Wikipedias...
Item | Label [en] | Wikilabels | Link # |
---|---|---|---|
Q8078 [CC | ] | logic | Logika | Логика | Logica | 邏輯 | Logic | Logik | Lógica | 逻辑 | 논리학 | לוגיקה | Տրամաբանություն | Мантыйк | ตรรกศาสตร์ | منطق | Məntiq | तर्कशास्त्र | Mantık | لۆژیک | Lògica | Логіка | Logjika | 31 |
Q5891 [CC | ] | philosophy | Filosofia | Filosofía | 哲學 | 哲学 | Philosophy | Фәлсәфә | ปรัชญา | Filosofi | Heimspeki | Philosophie | दर्शनशास्त्र | Felsefe | Философия | Filôzôfia | Філософія | Filozofia | 21 |
Q7949 [CC | ] | truth | 真理 | 진리 | Wahrheit | 真 | Sanning | Waarheid | Verdade | ความจริง | Totuus | Pravda | Sannleikur | Truth | Verdad | Vérité | Veritat | E vërteta | 16 |
Q41796 [CC | ] | sentence | Frase | 句子 | 문장 (언어학) | משפט (בלשנות) | Lause | 句 | Zin (taalkunde) | Sentence (linguistics) | Kalimat | Oración (gramática) | Предложение (лингвистика) | Сөйлем | Изречение | Речення | 15 |
Q200694 [CC | ] | propositional calculus | 命题逻辑 | 명제 논리 | Logica proposizionale | Aussagenlogik | 命題論理 | Propositional logic | Propositielogica | Výroková logika | Propositiologiikka | حساب گزارهای | Propositional calculus | Lógica proposicional | حساب القضايا | Lògica proposicional | Числення висловлень | 15 |
Q36578 [CC | ] | Integrated Authority File | Gemeinsame Normdatei | קובץ בקרה משולב | Tümleşik Otorite Dosyası | 14 |
Q185521 [CC | ] | truth value | Truth value | 真值 | 진릿값 | ערך אמת | Wahrheitswert | 真理値 | Sanningsvärde | ค่าความจริง | Totuusarvo | Valor de verdad | قيمة صواب | Значення істинності | 13 |
Q65943 [CC | ] | theorem | 定理 | 정리 | משפט (מתמטיקה) | Teorem | Stelling (wiskunde) | قضیه | Theorem | Teorema | Теорема | مبرهنة | 11 |
Q8162 [CC | ] | linguistics | 语言学 | Лингвистика | Linguistica | Lingüística | 語言學 | Linguística | Linguistics | ভাষাবিজ্ঞান | Мовознавство | 11 |
Q620946 [CC | ] | Library of Congress Control Number | Library of Congress Control Number | Número de controle da Biblioteca do Congresso | Контрольный номер Библиотеки Конгресса | Kongre Kütüphanesi Kontrol Numarası | Контрольний номер Бібліотеки Конгресу | 11 |
Q34394 [CC | ] | belief | 믿음 | Credenza | Uskumus | Crença | باور | Belief | Creencia | বিশ্বাস | Creença | Віра | 10 |
Q1860 [CC | ] | English | 英語 | ภาษาอังกฤษ | زبان انگلیسی | Enska | English language | ភាសាអង់គ្លេស | An Béarla | 英语 | Ағылшын тілі | Англійська мова | 10 |
Q868 [CC | ] | Aristotle | Aristoteles | Aristotle | 亚里士多德 | 아리스토텔레스 | ارسطو | Aristóteles | Арістотель | 9 |
Q107342 [CC | ] | syllogism | 直言三段论 | 삼단논법 | סילוגיזם | 定言三段論 | Syllogism | قیاس | Silogismo | قياس (منطق) | Sil·logisme | 9 |
Q219079 [CC | ] | truth table | 真值表 | 진리표 | Wahrheitstabelle | Sanningsvärdetabell | Pravdivostní tabulka | جدول ارزش | Tabla de verdad | جدول الحقيقة | Taula de veritat | 9 |
Q315 [CC | ] | language | 語言 | Język (mowa) | שפה | Լեզու | Kieli | Tungumál | Language | Lenguaje | Мова | 9 |
Q211790 [CC | ] | logical connective | 逻辑运算符 | 논리 연산 | Connettivo logico | 論理演算 | 邏輯連接詞 | Logical connective | Conetîv lògic | رابطة منطقية | Логічний сполучник | 9 |
Q190558 [CC | ] | logical negation | Negation | 逻辑非 | Negazione (matematica) | Negácia (logika) | Negace | نقیض | Negasiòun (matemàtica) | Негација | 9 |
Q118455746 [CC | ] | authority control | Autoritetsdata | Kontrola autorytatywna | Չափորոշչային վերահսկողություն | Autoritní kontrola | Control de autoridades | Otorite kontrolü | Control d'autoritats | Нормативний контроль | 9 |
Q209555 [CC | ] | tautology | 恆真式 | Tautologia | Tautologie (Logik) | Tautologi (logik) | همانگویی (منطق) | Tautología | تطویل (منطق) | Tautologia (lògica) | 8 |
Q408386 [CC | ] | inference | 推理 | 추론 | היסק | 推論 | Inferencia | استدلال (بحث علمي) | Inferència | 8 |
Q1166618 [CC | ] | mathematical logic | 数理逻辑 | 数理論理学 | 數學邏輯 | Matemaattinen logiikka | منطق ریاضی | Lógica matemática | منطق رياضي | Matematiksel mantık | 8 |
Q151885 [CC | ] | concept | 概念 | Hugtak | Concept | Anlayış | Concepto | Понятие | Поняття | Koncepti | 8 |
Q191081 [CC | ] | logical conjunction | 逻辑与 | Congiunzione logica | Konjunktion (Logik) | Konjunkcia (logika) | Konjunkce (logika) | عطف منطقی | Congiunsiòun lògica | Логичка конјункција | 8 |
Q1651704 [CC | ] | logical disjunction | 逻辑或 | Disgiunzione logica | Disjunktion | Disjunkcia (logika) | Disjunkce | فصل منطقی | Diśgiunsiòun lògica | Логичка дисјункција | 8 |
Q36161 [CC | ] | set | 集合 (数学) | 집합 | Množina | Set (mathematics) | Conjunto | مجموعة (رياضيات) | Conjunt | Множина | 8 |
Q188915 [CC | ] | National Library of Israel | Biblioteka Narodowa Izraela | הספרייה הלאומית | Biblioteca nazionale di Israele | Národní knihovna Izraele | Biblioteca Nacional de Israel | Национальная библиотека Израиля | İsrail Ulusal Kütüphanesi | Національна бібліотека Ізраїлю | 8 |
Q2684591 [CC | ] | statement | 陳述式 (邏輯) | Sats (logik) | Statement (logic) | कथन (तर्क) | Önerme | وتە (لۆژیک) | Declaració (lògica) | Твердження (логіка) | 8 |
Q1144319 [CC | ] | predicate | Предикат | Predikaatti (logiikka) | Predikát (logika) | محمول | Predicado (lógica) | محمول (منطق) | ھەڵگیراو | 8 |
Q33760 [CC | ] | Bertrand Russell | Bertrand Russell | 伯特兰·罗素 | 버트런드 러셀 | برتراند راسل | Рассел, Бертран | Бертран Расселл | 7 |
Q17736 [CC | ] | axiom | Axiom | 公理 | 공리 | Axioma | مسلمة (فلسفة) | Аксиома | 7 |
Q214969 [CC | ] | Willard Van Orman Quine | Willard Van Orman Quine | 威拉德·范·奥曼·蒯因 | 윌러드 밴 오먼 콰인 | ویلارد کواین | Віллард Ван Орман Квайн | 7 |
Q311760 [CC | ] | P. F. Strawson | 彼得·弗雷德里克·斯特劳森 | P. F. 스트로슨 | ピーター・フレデリック・ストローソン | Peter Frederick Strawson | پیتر استراوسن | P. F. Strawson | Пітер Стросон | 7 |
Q1047000 [CC | ] | validity | 有效性 | 타당성 | תקפות (לוגיקה) | Allgemeingültigkeit | 邏輯效度 | صحة (المنطق) | Validesa lògica | 7 |
Q467606 [CC | ] | model theory | 模型论 | 모형 이론 | Modelltheorie | Modellteori | نظریه مدل | Teoría de modelos | نظرية النموذج | 7 |
Q39645 [CC | ] | semantics | Семантика | 语义学 | Semantik | Semântica | Semantika | 7 |
Q186619 [CC | ] | argument | 逻辑论证 | 논증 | Argomento (filosofia) | برهان (منطق) | Argumento | حجة (منطق) | Argument | 7 |
Q12482 [CC | ] | set theory | 集合论 | 집합론 | 集合論 | نظریه مجموعهها | Teoría de conjuntos | نظرية المجموعات | Teoria de conjunts | 7 |
Q395 [CC | ] | mathematics | Matematik | Matemáticas | 數學 | Matematiikka | Matemâtica | Математика | 7 |
Q311776 [CC | ] | Paul Grice | Paul Grice | 保羅·格萊斯 | 폴 그라이스 | پل گرایس | Пол Герберт Грайс | 6 |
Q11348 [CC | ] | function | 函数 | 함수 | Function (mathematics) | دالة | Funció | Функція (математика) | 6 |
Q183216 [CC | ] | analytic philosophy | 分析哲學 | Analytic philosophy | Filosofía analítica | فلسفة تحليلية | বিশ্লেষণী দর্শন | Аналітична філософія | 6 |
Q321703 [CC | ] | premise | 前提 | הנחה (לוגיקה) | 前件 | Premiss | आधार (तर्क) | Premisa | 6 |
Q7881229 [CC | ] | logical implication | 实质条件 | Implicazione logica | Implikácia | Implikace | شرطی مادی | قضية شرطية | 6 |
Q221697 [CC | ] | Hilary Putnam | Hilary Putnam | 希拉里·怀特哈尔·普特南 | 힐러리 퍼트넘 | هیلاری پاتنم | Гіларі Патнем | 6 |
Q649732 [CC | ] | formal system | 形式系統 | 형식 체계 | Formellt system | دستگاه صوری | Sistema formal | نظام شكلي | 6 |
Q192161 [CC | ] | formal language | 形式语言 | 형식 언어 | Formellt språk | Lenguaje formal | Llenguatge formal | Формальна мова | 6 |
Q60028 [CC | ] | Gottlob Frege | Gottlob Frege | 戈特洛布·弗雷格 | 고틀로프 프레게 | گوتلوب فرگه | Готлоб Фреге | 6 |
Q859 [CC | ] | Plato | 柏拉图 | 플라톤 | Platão | افلاطون | Plato | Платон | 6 |
Q298521 [CC | ] | Saul Kripke | Saul Kripke | 索尔·阿伦·克里普克 | 솔 크립키 | سول کریپکی | Саул Аарон Кріпке | 6 |
Q852732 [CC | ] | proof theory | 证明论 | 증명 이론 | Bevisteori | نظریه برهان | Teoría de la demostración | نظرية البرهان | 6 |
Q9391 [CC | ] | Ludwig Wittgenstein | Ludwig Wittgenstein | 路德维希·维特根斯坦 | 루트비히 비트겐슈타인 | لودویگ ویتگنشتاین | Людвіг Вітгенштайн | 6 |
Q455 [CC | ] | Encyclopædia Britannica | Encyclopædia Britannica | Encyklopedia Britannica | Enciclopedia Britannica | Enciclopedia Británica | 6 |
Q183046 [CC | ] | meaning | Znaczenie | Mening (betydelse) | Betekenis | Merkitys | Merking | Arti | 6 |
Q35148 [CC | ] | predicate logic | Predicate logic | 술어 논리 | Prädikatenlogik | 述語論理 | Predikátová logika | 6 |
Q101072 [CC | ] | definition | Definition | 정의 (논리학) | 定義 | Definición | Definició | 6 |
Q164573 [CC | ] | subject | Subject (grammar) | Sujeito | Sujeto (gramática) | Subjecte (sintaxi) | Підмет | 6 |
Q4055684 [CC | ] | first-order logic | 一阶逻辑 | 1차 논리 | Lógica de primer orden | منطق الرتبة الأولى | Логіка першого порядку | 5 |
Q1548746 [CC | ] | second-order logic | 二階邏輯 | 2차 논리 | Lógica de segundo orden | منطق الرتبة الثانية | Lògica de segon ordre | 5 |
Q39837 [CC | ] | Averroes | 伊本·魯世德 | 이븐 루시드 | ابن رشد | Averroes | Аверроес | 5 |
Q2509500 [CC | ] | sentence | 句子 (数理逻辑) | Zdanie logiczne | פסוק (לוגיקה) | Sentença (lógica matemática) | Sentence (mathematical logic) | 5 |
Q313386 [CC | ] | Gilbert Ryle | Gilbert Ryle | 吉尔伯特·赖尔 | 길버트 라일 | Гілберт Райл | 5 |
Q491412 [CC | ] | philosophical logic | 哲学逻辑 | 哲學邏輯 | منطق فلسفی | Philosophical logic | Філософська логіка | 5 |
Q937228 [CC | ] | property | 性质 (哲学) | Property (philosophy) | Propiedad (lógica) | Propietat (ontologia) | Властивість | 5 |
Q1140419 [CC | ] | ambiguity | 歧義 | Ambiguity | Ambigüedad | Ambigüitat | Неоднозначність | 5 |
Q1056428 [CC | ] | type theory | 类型论 | 유형 이론 | نظریه نوعها | Type theory | نظرية النمط | 5 |
Q374182 [CC | ] | logical consequence | 蕴涵 | 논리적 귀결 | 論理的帰結 | 結論 | استتباع منطقي | 5 |
Q484761 [CC | ] | philosophy of language | 语言哲学 | פילוסופיה של הלשון | Taalfilosofie | Philosophy of language | Філософія мови | 5 |
Q179976 [CC | ] | recursion | 递归 | 재귀 | Recursion | عودية | Рекурсія | 5 |
Q173183 [CC | ] | boolean algebra | 逻辑代数 | 불 논리 | 邏輯代數 | Булова алгебра | جبر بول | 5 |
Q592911 [CC | ] | quantifier | 量化 (数理逻辑) | Quantor | Kvantifikátor | Quantifier (logic) | Квантор | 5 |
Q243757 [CC | ] | A. J. Ayer | A. J. Ayer | 阿尔弗雷德·朱尔斯·艾耶尔 | A. J. 에이어 | Альфред Джулс Еєр | 5 |
Q76519 [CC | ] | Rudolf Carnap | 鲁道夫·卡尔纳普 | 루돌프 카르나프 | رودلف کارناپ | Rudolf Carnap | Рудольф Карнап | 5 |
Q484511 [CC | ] | inductive reasoning | 귀납 | 歸納 | Induktion (filosofi) | Método indutivo | استقرا | 5 |
Q363948 [CC | ] | contradiction | 모순 | Contraddizione | 矛盾 | Motsägelse | تناقض | 5 |
Q9312 [CC | ] | Immanuel Kant | Immanuel Kant | 이마누엘 칸트 | イマヌエル・カント | ایمانوئل کانت | 5 |
Q179289 [CC | ] | causality | 인과관계 | 因果關係 | Kausalitet | Causalidade | علیت | 5 |
Q9081 [CC | ] | knowledge | 지식 | Teadmine | Kunskap | Conhecimento | دانش | 5 |
Q615599 [CC | ] | Aristotelian logic | Lógica aristotélica | Aristotelische Logik | Aristotelian logic | Арістотелева логіка | 5 |
Q33057 [CC | ] | International Standard Book Number | ISBN | International Standard Book Number | د کتاب نړيواله کره شمېره | 5 |
Q1923256 [CC | ] | intension | 内涵 | 내포 | Intension | Интенсионал | 4 |
Q485413 [CC | ] | analytic–synthetic distinction | 分析-綜合區別 | Distinção analítico-sintética | Distinción analítico-sintético | 4 |
Q655328 [CC | ] | well-formed formula | 合式公式 | 논리식 | Well-formed formula | Fórmula bien formada | 4 |
Q177646 [CC | ] | subset | 子集 | 부분집합 | Subconjunto | مجموعة جزئية | 4 |
Q192439 [CC | ] | domain of a function | 定义域 | 정의역 | Definiční obor | منطلق دالة | 4 |
Q942353 [CC | ] | Boolean function | 布尔函数 | 불 함수 | تابع بولی | دالة بول | 4 |
Q9047 [CC | ] | Gottfried Wilhelm Leibniz | 戈特弗里德·莱布尼茨 | 고트프리트 빌헬름 라이프니츠 | Gottfried Wilhelm Leibniz | Готфрід Вільгельм Лейбніц | 4 |
Q1068763 [CC | ] | rule of inference | 推理规则 | 추론 규칙 | Slutledningsregel | Regla d'inferència | 4 |
Q60195 [CC | ] | semiotics | 符號學 | Semiotics | Семиотика | Семіотика | 4 |
Q236975 [CC | ] | classical logic | 经典逻辑 | 고전 논리 | 古典邏輯 | منطق کلاسیک | 4 |
Q41679 [CC | ] | scholasticism | Схоластика | 经院哲学 | Scholasticism | 4 |
Q181839 [CC | ] | pragmatics | 语用学 | פרגמטיקה | Pragmatics | Прагматика | 4 |
Q9049 [CC | ] | Noam Chomsky | Noam Chomsky | 诺姆·乔姆斯基 | Ноам Чомскі | 4 |
Q676835 [CC | ] | recursively enumerable set | 递归可枚举集合 | 재귀 열거 집합 | Conjunto recursivamente enumerable | مجموعة مرقمة بشكل تراجعي | 4 |
Q193627 [CC | ] | logical positivism | 逻辑实证主义 | 논리실증주의 | Logical positivism | Логічний позитивізм | 4 |
Q3311695 [CC | ] | logical truth | 邏輯真理 | Verdad lógica | Veritat lògica | 4 |
Q963731 [CC | ] | semantics of logic | 邏輯語義學 | Semantics of logic | Семантика логіки | 4 |
Q206330 [CC | ] | objectivity | 객관 | Objetividade (filosofia) | عینیگرایی (فلسفه) | Objetividad | 4 |
Q1059362 [CC | ] | Gettier problem | 게티어 문제 | Problema di Gettier | Problema de Gettier | مسئله گتیه | 4 |
Q207534 [CC | ] | Alfred Tarski | Alfred Tarski | 알프레트 타르스키 | آلفرد تارسکی | 4 |
Q484284 [CC | ] | deductive reasoning | 연역 | 演繹推理 | Deduktion | استدلال استنتاجی | 4 |
Q9471 [CC | ] | epistemology | 인식론 | 知識論 | Epistemologia | معرفتشناسی | 4 |
Q1076131 [CC | ] | presupposition | הנחת-קדם | 前提 | Presupposition | Пресупозиція | 4 |
Q1318370 [CC | ] | term | Term | Term (logic) | Терм (логика) | Терм (логіка) | 4 |
Q188 [CC | ] | German | ドイツ語 | Þýska | German language | Німецька мова | 4 |
Q41719 [CC | ] | hypothesis | 仮説 | Hypotes | Hypotéza | Petra-kevitra | 4 |
Q949972 [CC | ] | if and only if | 若且唯若 | Bicondicional | اگر بشرط اگر | Ако и само ако | 4 |
Q5432619 [CC | ] | false | False | کذب | False (logic) | زڕ (لۆژیک) | 4 |
Q179080 [CC | ] | predicate | Predicate (grammar) | Predikat | خبر (نحو) | Predicat | 4 |
Q42156 [CC | ] | Henri Bergson | 亨利·柏格森 | Henri Bergson | Анрі Бергсон | 3 |
Q9294 [CC | ] | Ibn Khaldun | 伊本·赫勒敦 | Ibn Khaldun | Ібн Хальдун | 3 |
Q229646 [CC | ] | G. E. M. Anscombe | 伊莉莎白·安斯康姆 | G. E. M. Anscombe | Елізабет Анскомб | 3 |
Q215957 [CC | ] | Leonard Bloomfield | 伦纳德·布龙菲尔德 | Leonard Bloomfield | Леонард Блумфілд | 3 |
Q192066 [CC | ] | Paul Ricœur | 保罗·利科 | Paul Ricœur | Поль Рікер | 3 |
Q60104 [CC | ] | Paul Tillich | 保羅·田立克 | Paul Tillich | Пауль Тілліх | 3 |
Q81009 [CC | ] | rhetoric | 修辞学 | Rhetoric | Риторика | 3 |
Q860623 [CC | ] | image | 像 (數學) | 상 (수학) | Образ відображення | 3 |
Q1315869 [CC | ] | arity | 元数 | Arity | Арність | 3 |
Q379825 [CC | ] | element | 元素 (數學) | 원소 (수학) | Elemento de un conjunto | 3 |
Q193983 [CC | ] | metalanguage | 元語言 | Metalanguage | Метамова | 3 |
Q211411 [CC | ] | Chrysippus of Soli | 克律西波斯 | Chrysippus | Хрісіпп | 3 |
Q2704791 [CC | ] | enumeration | 列举法 (集合论) | 열거 | تعداد | 3 |
Q180819 [CC | ] | Lev Vygotsky | 利維·維谷斯基 | Lev Vygotsky | Виготський Лев Семенович | 3 |
Q2328174 [CC | ] | atomic formula | 原子公式 | 原子論理式 | Fórmula atómica | 3 |
Q66707394 [CC | ] | countable set | 可數集 | 가산 집합 | مجموعة قابلة للعد | 3 |
Q818930 [CC | ] | computability theory | 可计算性理论 | 계산 가능성 이론 | Teoría de la computabilidad | 3 |
Q772496 [CC | ] | Philosophical Investigations | 哲学研究 | Philosophical Investigations | Філософські дослідження | 3 |
Q311772 [CC | ] | Donald Davidson | 唐纳德·戴维森 | Donald Davidson (philosopher) | Дональд Девідсон (філософ) | 3 |
Q202253 [CC | ] | nominalism | 唯名論 | Nominalism | Номіналізм | 3 |
Q965432 [CC | ] | extensionality | 外延性 | 외연성 | Extensionalitätsprinzip | 3 |
Q77888 [CC | ] | Wilhelm von Humboldt | 威廉·馮·洪堡 | Wilhelm von Humboldt | Вільгельм фон Гумбольдт | 3 |
Q191095 [CC | ] | Edward Sapir | 愛德華·薩丕爾 | Edward Sapir | Едвард Сепір | 3 |
Q37621 [CC | ] | Thomas Hobbes | 托马斯·霍布斯 | Thomas Hobbes | Томас Гоббс | 3 |
Q1092582 [CC | ] | theory of descriptions | 摹状词理论 | Theory of descriptions | Теорія дескрипцій | 3 |
Q833585 [CC | ] | foundations of mathematics | 数学基础 | 수학기초론 | أسس الرياضيات | 3 |
Q190763 [CC | ] | Venn diagram | 文氏图 | 벤 다이어그램 | مخطط فن | 3 |
Q205140 [CC | ] | infinite set | 无限集合 | 무한 집합 | مجموعة غير منتهية | 3 |
Q191290 [CC | ] | ordered pair | 有序对 | 순서쌍 | زوج مرتب | 3 |
Q331853 [CC | ] | Benjamin Lee Whorf | 本杰明·李·沃夫 | Benjamin Lee Whorf | Бенджамін Лі Ворф | 3 |
Q903783 [CC | ] | naive set theory | 朴素集合论 | 소박한 집합론 | نظرية المجموعات المبسطة | 3 |
Q76356 [CC | ] | Hans-Georg Gadamer | 汉斯-格奥尔格·伽达默尔 | Hans-Georg Gadamer | Ганс-Ґеорґ Ґадамер | 3 |
Q76857 [CC | ] | Franz Boas | 法蘭茲·鮑亞士 | Franz Boas | Франц Боас | 3 |
Q226183 [CC | ] | empty set | 空集 | 공집합 | مجموعة خالية | 3 |
Q191849 [CC | ] | Zermelo–Fraenkel set theory | 策梅洛-弗兰克尔集合论 | 체르멜로-프렝켈 집합론 | نظرية المجموعات حسب تسيرميلو-فرانكل | 3 |
Q179168 [CC | ] | structuralism | 結構主義 | Structuralism | Структуралізм | 3 |
Q155547 [CC | ] | Johann Gottfried Herder | 约翰·戈特弗里德·赫尔德 | Johann Gottfried Herder | Йоганн-Готфрід Гердер | 3 |
Q295012 [CC | ] | John Searle | 约翰·瑟尔 | John Searle | Джон Серль | 3 |
Q180348 [CC | ] | deconstruction | 解構主義 | Deconstruction | Деконструкція | 3 |
Q13230 [CC | ] | Ferdinand de Saussure | 费迪南·德·索绪尔 | Ferdinand de Saussure | Фердинан де Сосюр | 3 |
Q342646 [CC | ] | Michael Dummett | 迈克尔·达米特 | Michael Dummett | Майкл Даммітт | 3 |
Q179692 [CC | ] | axiom of choice | 选择公理 | 선택 공리 | بديهية الاختيار | 3 |
Q655717 [CC | ] | Tractatus Logico-Philosophicus | 逻辑哲学论 | Tractatus Logico-Philosophicus | Логіко-філософський трактат | 3 |
Q220433 [CC | ] | logical equivalence | 逻辑等价 | Ekvivalencia (logika) | Ekvivalence (logika) | 3 |
Q309157 [CC | ] | Church-Turing thesis | 邱奇-图灵论题 | 처치-튜링 논제 | أطروحة تشرش-تورينغ | 3 |
Q130631 [CC | ] | Jacques Derrida | 雅克·德里达 | Jacques Derrida | Жак Дерріда | 3 |
Q179785 [CC | ] | Gorgias | 高爾吉亞 | Gorgias | Горгій | 3 |
Q824553 [CC | ] | Stanford Encyclopedia of Philosophy | Stanford Encyclopedia of Philosophy | 3 |
Q83368 [CC | ] | empiricism | 경험론 | Empirismo | تجربهگرایی | 3 |
Q59115 [CC | ] | philosophy of science | 과학철학 | Filosofia da ciência | فلسفه علم | 3 |
Q318048 [CC | ] | Nelson Goodman | 넬슨 굿맨 | Nelson Goodman | نلسن گودمن | 3 |
Q7026429 [CC | ] | Nicholas Wolterstorff | 니컬러스 월터스토프 | Nicholas Wolterstorff | نیکلاس ولترستورف | 3 |
Q37160 [CC | ] | David Hume | 데이비드 흄 | David Hume | دیوید هیوم | 3 |
Q205927 [CC | ] | Robert Nozick | 로버트 노직 | Robert Nozick | رابرت نوزیک | 3 |
Q9191 [CC | ] | René Descartes | 르네 데카르트 | René Descartes | رنه دکارت | 3 |
Q208238 [CC | ] | Vienna Circle | 빈 학파 | Círculo de Viena | حلقه وین | 3 |
Q332880 [CC | ] | common sense | 상식 | Senso comum | عقل سلیم | 3 |
Q131015 [CC | ] | positivism | 실증주의 | Positivismo | اثباتگرایی | 3 |
Q449089 [CC | ] | Alvin Goldman | 앨빈 골드먼 | Alvin Goldman | آلوین گولدمن | 3 |
Q450940 [CC | ] | Edmund Gettier | 에드먼드 게티어 | Edmund Gettier | ادموند گتیه | 3 |
Q483372 [CC | ] | paradox | 역설 | 悖論 | پارادوکس | 3 |
Q125879 [CC | ] | William Alston | 윌리엄 올스턴 | William Alston | ویلیام آلستون | 3 |
Q8011 [CC | ] | Avicenna | 이븐 시나 | ابن سینا | ئیبن سینا | 3 |
Q15081058 [CC | ] | naturalized epistemology | 자연화된 인식론 | Epistemologia naturalizada | معرفتشناسی طبیعیشده | 3 |
Q192891 [CC | ] | holism | 전체론 | Holismo | کلنگری | 3 |
Q1735817 [CC | ] | categorical proposition | 정언명제 | Categorical proposition | Proposición categórica | 3 |
Q82049 [CC | ] | George Berkeley | 조지 버클리 | George Berkeley | جرج بارکلی | 3 |
Q9353 [CC | ] | John Locke | 존 로크 | John Locke | جان لاک | 3 |
Q160402 [CC | ] | perception | 지각 (심리학) | Percepção | ادراک | 3 |
Q316347 [CC | ] | Thomas Reid | 토머스 리드 | Thomas Reid | توماس رید | 3 |
Q224821 [CC | ] | fuzzy logic | 퍼지 논리 | منطق فازی | Lógica difusa | 3 |
Q25481968 [CC | ] | speech act | פעולת דיבור | Speech act | Мовленнєвий акт | 3 |
Q498186 [CC | ] | exclusive or | Disgiunzione esclusiva | Exkluzivní disjunkce | یای انحصاری | 3 |
Q187931 [CC | ] | phrase | Fraas | Phrase | Фраза | 3 |
Q384522 [CC | ] | David Lewis | デイヴィド・ルイス | David Lewis (philosopher) | Девід Льюїс | 3 |
Q2395230 [CC | ] | syntax | 句法 (邏輯) | نحو (منطق) | Syntax (logic) | 3 |
Q42106 [CC | ] | synonym | Synonym | Sinonim | Sinònim | 3 |
Q468777 [CC | ] | existence | Existens | Existencia | Existència | 3 |
Q1359069 [CC | ] | contingency | Contingentie | Contingencia | Contingència | 3 |
Q267508 [CC | ] | propositional attitude | Atitude proposicional | Íbyggið viðhorf | Propositional attitude | 3 |
Q207509 [CC | ] | copula | فعل ربطی | Copula (linguistics) | Kopula | 3 |
Q23407 [CC | ] | philosophy of mind | Hugspeki | Philosophy of mind | Філософія свідомості | 3 |
Q396448 [CC | ] | Proposition | Proposition (disambiguation) | Proposición (desambiguación) | Proposition | 3 |
Q258403 [CC | ] | utterance | Enunciado | Énoncé | Enunciat | 3 |
Q242028 [CC | ] | lambda calculus | Λ演算 | Lambda calculus | 2 |
Q1319773 [CC | ] | consistency | 一致性 (邏輯) | 邏輯一致性 | 2 |
Q1128796 [CC | ] | uncountable set | 不可數集 | مجموعة غير قابلة للعد | 2 |
Q164307 [CC | ] | binary operation | 二元运算 | عملية ثنائية | 2 |
Q461 [CC | ] | Internet Archive | 互联网档案馆 | Internet Archive | 2 |
Q2577553 [CC | ] | use–mention distinction | 使用-提及區別 | Use–mention distinction | 2 |
Q622849 [CC | ] | halting problem | 停机问题 | 정지 문제 | 2 |
Q12078874 [CC | ] | a priori | 先驗 | A priori | 2 |
Q1347394 [CC | ] | Cratylus | 克拉底魯篇 | Cratylus (dialogue) | 2 |
Q126695 [CC | ] | universal quantification | 全称量化 | Obecný kvantifikátor | 2 |
Q2627911 [CC | ] | logical formula | 公式 (数理逻辑) | 論理式 (数学) | 2 |
Q203066 [CC | ] | relation | 关系 (数学) | 관계 (수학) | 2 |
Q205170 [CC | ] | power set | 冪集 | 멱집합 | 2 |
Q278770 [CC | ] | Von Neumann–Bernays–Gödel set theory | 冯诺伊曼-博内斯-哥德尔集合论 | 폰 노이만-베르나이스-괴델 집합론 | 2 |
Q199006 [CC | ] | codomain | 到达域 | 공역 | 2 |
Q1570472 [CC | ] | primitive recursive function | 原始递归函数 | 원시 재귀 함수 | 2 |
Q1148456 [CC | ] | computable function | 可计算函数 | دالة قابلة للحساب | 2 |
Q693083 [CC | ] | soundness | 可靠性定理 | درستی (منطق) | 2 |
Q3492863 [CC | ] | propositional variable | 命题变量 | Variable proposicional | 2 |
Q4964182 [CC | ] | philosopher | 哲學家 | 哲学家 | 2 |
Q936559 [CC | ] | principle of compositionality | 复合性原理 | Principle of compositionality | 2 |
Q773483 [CC | ] | existential quantification | 存在量化 | Existenční kvantifikátor | 2 |
Q830486 [CC | ] | open formula | 开放句子 | Open formula | 2 |
Q373045 [CC | ] | formal grammar | 形式文法 | Formal grammar | 2 |
Q2145290 [CC | ] | mental representation | 心智表徵 | Mental representation | 2 |
Q370502 [CC | ] | mapping | 映射 | تطبيق (رياضيات) | 2 |
Q272404 [CC | ] | finite set | 有限集合 | مجموعة منتهية | 2 |
Q3262192 [CC | ] | decision problem | 決定性問題 | 결정 문제 | 2 |
Q5508846 [CC | ] | functional predicate | 泛函谓词 | Functional predicate | 2 |
Q12021746 [CC | ] | interrogative | 疑問句 | 2 |
Q5127848 [CC | ] | class | 类 (哲学) | Class (philosophy) | 2 |
Q217594 [CC | ] | class | 类 (数学) | 모임 (집합론) | 2 |
Q1851710 [CC | ] | structure | 结构 (数理逻辑) | 구조 (논리학) | 2 |
Q1572108 [CC | ] | natural deduction | 自然演绎 | 자연 연역 | 2 |
Q935944 [CC | ] | free and bound variables | 自由变量和约束变量 | Вільні і зв'язані змінні | 2 |
Q523607 [CC | ] | interpretation | 解釋 (邏輯) | Interpretation (Logik) | 2 |
Q50701 [CC | ] | variable | 變數 | Proměnná | 2 |
Q10531432 [CC | ] | predicate variable | 谓词变量 | Predicate variable | 2 |
Q877945 [CC | ] | recursive set | 递归集合 | 재귀 집합 | 2 |
Q170285 [CC | ] | traffic sign | 道路交通標誌 | 道路交通标志 | 2 |
Q17156560 [CC | ] | non-cognitivism | 非認知主義 | Non-cognitivism | 2 |
Q2013 [CC | ] | Wikidata | Wikidata | 2 |
Q131276 [CC | ] | International Standard Serial Number | International Standard Serial Number | ISSN | 2 |
Q12621536 [CC | ] | judgment | Sąd (filozofia) | Суждение | 2 |
Q1768199 [CC | ] | Great Russian Encyclopedia | Wielka Encyklopedia Rosyjska | Grande Enciclopedia Rusa | 2 |
Q295386 [CC | ] | G. E. Moore | G. E. 무어 | جرج ادوارد مور | 2 |
Q9546 [CC | ] | Al-Ghazali | 가잘리 | غزالی | 2 |
Q76420 [CC | ] | Georg Cantor | 게오르크 칸토어 | گئورگ کانتور | 2 |
Q131133 [CC | ] | determinism | 결정론 | Determinismo | 2 |
Q184899 [CC | ] | proof by contradiction | 귀류법 | הוכחה בדרך השלילה | 2 |
Q308495 [CC | ] | abductive reasoning | 귀추법 | 溯因推理 | 2 |
Q171195 [CC | ] | Nāgārjuna | 나가르주나 | ناگارجونه | 2 |
Q906354 [CC | ] | Nishi Amane | 니시 아마네 | 西周 (啓蒙家) | 2 |
Q41585 [CC | ] | David Hilbert | 다비트 힐베르트 | داویت هیلبرت | 2 |
Q1077442 [CC | ] | contraposition | 대우 (논리학) | Kontraposition | 2 |
Q208650 [CC | ] | uniformitarianism | 동일과정설 | Uniformitarismo | 2 |
Q340070 [CC | ] | Robert Audi | 로버트 아우디 | رابرت آئودی | 2 |
Q92767 [CC | ] | Lotfi A. Zadeh | 로트피 자데 | لطفی زاده | 2 |
Q1783193 [CC | ] | contextualism | 맥락주의 | زمینهگرایی | 2 |
Q13569865 [CC | ] | infinitism | 무한주의 | بینهایتگرایی | 2 |
Q843894 [CC | ] | critical thinking | 비판적 사고 | 批判思考 | 2 |
Q6512 [CC | ] | Søren Kierkegaard | 쇠렌 키르케고르 | Søren Kierkegaard | 2 |
Q8018 [CC | ] | Augustine of Hippo | 아우구스티누스 | Agostinho de Hipona | 2 |
Q92741 [CC | ] | Alonzo Church | 알론조 처치 | آلونزو چرچ | 2 |
Q7251 [CC | ] | Alan Turing | 앨런 튜링 | آلن تورینگ | 2 |
Q355201 [CC | ] | Alvin Plantinga | 앨빈 플랜팅가 | Alvin Plantinga | 2 |
Q210841 [CC | ] | modal logic | 양상 논리 | منطق موجهات | 2 |
Q5442873 [CC | ] | Feminist epistemology | 여성주의 인식론 | معرفتشناسی فمینیستی | 2 |
Q1375963 [CC | ] | converse | 역 (논리학) | Implicazione inversa | 2 |
Q648266 [CC | ] | Wayback Machine | 웨이백 머신 | Wayback Machine | 2 |
Q1068658 [CC | ] | theory of forms | 이데아론 | Teoria das ideias | 2 |
Q178354 [CC | ] | reason | 이성 | 理性 | 2 |
Q134661 [CC | ] | George Boole | 조지 불 | جرج بول | 2 |
Q191029 [CC | ] | Giuseppe Peano | 주세페 페아노 | جوزپه پئانو | 2 |
Q187520 [CC | ] | Charles Sanders Peirce | 찰스 샌더스 퍼스 | Пирс, Чарльз Сандерс | 2 |
Q41390 [CC | ] | Kurt Gödel | 쿠르트 괴델 | کورت گودل | 2 |
Q179759 [CC | ] | Al-Kindi | 킨디 | ابویوسف کندی | 2 |
Q9438 [CC | ] | Thomas Aquinas | 토마스 아퀴나스 | Tomás de Aquino | 2 |
Q160460 [CC | ] | Al-Farabi | 파라비 | فارابی | 2 |
Q1141430 [CC | ] | phenomenalism | 현상주의 | Fenomenalismo | 2 |
Q206829 [CC | ] | reductionism | 환원주의 | Reducionismo | 2 |
Q1395219 [CC | ] | skepticism | 회의주의 | Ceticismo | 2 |
Q719112 [CC | ] | MathWorld | MathWorld | 2 |
Q11538 [CC | ] | mathematical proof | הוכחה | 數學證明 | 2 |
Q574946 [CC | ] | logical NOR | Non-disgiunzione inclusiva | نقیض یا | 2 |
Q908656 [CC | ] | preference | Preferenza | Preferência | 2 |
Q6579894 [CC | ] | signified | Significato | Significat | 2 |
Q1420342 [CC | ] | JSTOR | JSTOR | 2 |
Q3695082 [CC | ] | sign | Signo | Märk | 2 |
Q196626 [CC | ] | context | Kontekst | Kontext | 2 |
Q117364 [CC | ] | clause | Osalause | Fehezankevitra (fitsipiteny) | 2 |
Q17949 [CC | ] | falsity | Väärus | Nepravda | 2 |
Q595523 [CC | ] | notion | Begriff (Philosophie) | Понятие | 2 |
Q220888 [CC | ] | falsifiability | Falsifikation | Falsifierbarhet | 2 |
Q2110857 [CC | ] | principle of bivalence | Prinzip der Zweiwertigkeit | Lògica binària | 2 |
Q2113079 [CC | ] | No label in en! | Proposition (Linguistik) | Oración, enunciado y proposición | 2 |
Q868437 [CC | ] | law of noncontradiction | Satz vom Widerspruch | Principio de no contradicción | 2 |
Q8171 [CC | ] | word | Wort | Kata | 2 |
Q151 [CC | ] | Wiktionary | ウィクショナリー | Wikcionario | 2 |
Q44325 [CC | ] | ontology | 存在論 | Ontologi | 2 |
Q121769 [CC | ] | reference | 參考 | Reference | 2 |
Q82799 [CC | ] | name | 名 | Имя | 2 |
Q2762418 [CC | ] | formal proof | 形式證明 | برهان فلسفي | 2 |
Q186150 [CC | ] | fallacy | 謬論 | مغالطه | 2 |
Q2476757 [CC | ] | philosophy of logic | 邏輯哲學 | فلسفه منطق | 2 |
Q1347572 [CC | ] | evidence | Bevis | Evidència | 2 |
Q11345 [CC | ] | equation | Ekvation | สมการ | 2 |
Q913874 [CC | ] | truth function | Sanningsfunktion | Totuusfunktio | 2 |
Q178161 [CC | ] | a priori and a posteriori | A priori e a posteriori | پسینی و پیشینی | 2 |
Q488152 [CC | ] | philosophical analysis | Análise (filosofia) | تحلیل فلسفی | 2 |
Q3589301 [CC | ] | social epistemology | Epistemologia social | معرفتشناسی اجتماعی | 2 |
Q4348563 [CC | ] | reliabilism | Fiabilismo | اعتمادگرایی | 2 |
Q196667 [CC | ] | fideism | Fideísmo | ایمانگرایی | 2 |
Q3300457 [CC | ] | philosophy of perception | Filosofia da percepção | فلسفه ادراک | 2 |
Q1355086 [CC | ] | foundationalism | Fundacionalismo | مبناگرایی | 2 |
Q2070614 [CC | ] | innatism | Inatismo | نظریه فطرت | 2 |
Q9420 [CC | ] | thinking | Pensamento | Hugsun | 2 |
Q1570367 [CC | ] | problem of induction | Problema da indução | مسئله استقراء | 2 |
Q483024 [CC | ] | rationalism | Racionalismo | خردگرایی | 2 |
Q1210968 [CC | ] | naïve realism | Realismo ingénuo | واقعگرایی خام | 2 |
Q52 [CC | ] | Wikipedia | Википедия | Wikipedija | 2 |
Q575178 [CC | ] | NAND gate | Hradlo NAND | دروازه نقیض و | 2 |
Q8065380 [CC | ] | NOR gate | Hradlo NOR | دروازه نقیض یا | 2 |
Q33005 [CC | ] | cant | Cant (language) | Кант (мова) | 2 |
Q126002 [CC | ] | concatenation | Concatenation | Конкатенація | 2 |
Q4604 [CC | ] | Confucius | Confucius | Конфуцій | 2 |
Q511706 [CC | ] | conventionalism | Conventionalism | Конвенціоналізм | 2 |
Q125247 [CC | ] | Cratylus | Cratylus | Кратил | 2 |
Q265469 [CC | ] | definite description | Definite description | Дескрипція | 2 |
Q1641420 [CC | ] | delimiter | Delimiter | Розділювальний символ | 2 |
Q1189753 [CC | ] | denotation | Denotation | Денотація | 2 |
Q715478 [CC | ] | Diodorus Cronus | Diodorus Cronus | Діодор Крон | 2 |
Q5305773 [CC | ] | Dramatism | Dramatism | Теорія драматизму | 2 |
Q5421730 [CC | ] | expressivism | Expressivism | Експресивізм | 2 |
Q1317569 [CC | ] | family resemblance | Family resemblance | Родинна схожість | 2 |
Q1429140 [CC | ] | folk psychology | Folk psychology | Народна психологія | 2 |
Q131841 [CC | ] | idea | Idea | Ідея | 2 |
Q495728 [CC | ] | index of language articles | Index of language articles | Списки мов | 2 |
Q371983 [CC | ] | indicator function | Indicator function | Характеристична функція | 2 |
Q654390 [CC | ] | intentionality | Intentionality | Інтенціональність | 2 |
Q272615 [CC | ] | J. L. Austin | J. L. Austin | Джон Ленгшо Остін | 2 |
Q288756 [CC | ] | Jaakko Hintikka | Jaakko Hintikka | Яакко Гінтікка | 2 |
Q179677 [CC | ] | Sapir-Whorf hypothesis | Linguistic relativity | Гіпотеза Сепіра — Ворфа | 2 |
Q93781 [CC | ] | Paul Watzlawick | Paul Watzlawick | Пауль Вацлавик | 2 |
Q2629585 [CC | ] | philosophy of information | Philosophy of information | Філософія інформації | 2 |
Q1088088 [CC | ] | possible world | Possible world | Можливий світ | 2 |
Q9418 [CC | ] | psychology | Psychology | Психологія | 2 |
Q61906 [CC | ] | School of Names | School of Names | Школа імен | 2 |
Q796212 [CC | ] | semantics | Semantics | Semántica | 2 |
Q830077 [CC | ] | subject | Subject (philosophy) | Суб'єкт (філософія) | 2 |
Q80071 [CC | ] | symbol | Symbol | Символ | 2 |
Q2555038 [CC | ] | theological noncognitivism | Theological noncognitivism | Теологічний нонкогнітивізм | 2 |
Q2297476 [CC | ] | verificationism | Verificationism | Принцип верифікації | 2 |
Q216072 [CC | ] | Xunzi | Xunzi (philosopher) | Сюнь-цзи | 2 |
Q47739 [CC | ] | Zhuangzi | Zhuang Zhou | Чжуан-цзи (філософ) | 2 |
Q13582682 [CC | ] | classification | Klasifikasi | Classificació | 2 |
Q8465354 [CC | ] | logical calculus | Cálculo lógico | Càlcul lògic | 2 |
Q190995 [CC | ] | essence | Esencia | Сущность | 2 |
Q795052 [CC | ] | individual | Individuo | Individu | 2 |
Q189222 [CC | ] | intuition | Intuición | Intuïció | 2 |
Q11688701 [CC | ] | formalized language | Lenguaje formalizado | Llenguatge formalitzat | 2 |
Q2370300 [CC | ] | bivalent logic | Lógica bivalente | Lògica bivalent | 2 |
Q488383 [CC | ] | object | Objeto (filosofía) | Objecte | 2 |
Q1156402 [CC | ] | reasoning | Razonamiento | Raonament | 2 |
Q9510 [CC | ] | reality | Realidad | Realitat | 2 |
Q3913 [CC | ] | binary numeral system | Sistema binario | Sistema binari | 2 |
Q397 [CC | ] | Latin | Латинский язык | Латын тили | 2 |
Q1243600 [CC | ] | linguistic modality | Модальность (лингвистика) | Модальність (мовознавство) | 2 |
Q4925193 [CC | ] | lie | Mentida | Gënjeshtra | 2 |
Q37141 [CC | ] | 13 | 13 | 1 |
Q719387 [CC | ] | 169 | 169 | 1 |
Q5240 [CC | ] | 1945 | 1945年 | 1 |
Q201 [CC | ] | 3 | 3 | 1 |
Q202 [CC | ] | 4 | 4 | 1 |
Q23355 [CC | ] | 8 | 8 | 1 |
Q628036 [CC | ] | NP | NP (複雜度) | 1 |
Q846354 [CC | ] | P | P (複雜度) | 1 |
Q746242 [CC | ] | P versus NP problem | P/NP问题 | 1 |
Q442383 [CC | ] | T-schema | T-模式 | 1 |
Q6641390 [CC | ] | list of statements undecidable in ZFC | ZFC系統無法確定的命題列表 | 1 |
Q6897882 [CC | ] | Monadic predicate calculus | 一元谓词演算 | 1 |
Q185443 [CC | ] | three-valued logic | 三值逻辑 | 1 |
Q19821 [CC | ] | triangle | 三角形 | 1 |
Q3502995 [CC | ] | undecidable problem | 不可判定问题 | 1 |
Q1331373 [CC | ] | inaccessible cardinal | 不可達基數 | 1 |
Q185837 [CC | ] | intersection | 交集 | 1 |
Q237125 [CC | ] | term logic | 传统逻辑 | 1 |
Q671944 [CC | ] | transitive set | 传递集合 | 1 |
Q482980 [CC | ] | author | 作者 | 1 |
Q131222 [CC | ] | information theory | 信息论 | 1 |
Q597663 [CC | ] | universe | 全集 | 1 |
Q3632199 [CC | ] | list of axioms | 公理列表 | 1 |
Q792536 [CC | ] | axiom schema | 公理模式 | 1 |
Q792542 [CC | ] | axiomatic system | 公理系统 | 1 |
Q1575634 [CC | ] | concrete category | 具體範疇 | 1 |
Q77887 [CC | ] | von Neumann universe | 冯·诺伊曼全集 | 1 |
Q172891 [CC | ] | Elements | 几何原本 | 1 |
Q877149 [CC | ] | elementary equivalence | 初等等价 | 1 |
Q1003136 [CC | ] | forcing | 力迫 | 1 |
Q4049983 [CC | ] | cardinality | 势 (数学) | 1 |
Q1068283 [CC | ] | Löwenheim–Skolem theorem | 勒文海姆–斯科伦定理 | 1 |
Q1165112 [CC | ] | singleton | 单元素集合 | 1 |
Q182003 [CC | ] | injection | 单射 | 1 |
Q4345785 [CC | ] | atomic sentence | 原子句子 | 1 |
Q180907 [CC | ] | bijection | 双射 | 1 |
Q86371 [CC | ] | Gustav Bergmann | 古斯塔夫·伯格曼 | 1 |
Q189112 [CC | ] | isomorphism | 同构 | 1 |
Q200787 [CC | ] | Gödel's incompleteness theorems | 哥德尔不完备定理 | 1 |
Q902052 [CC | ] | Gödel's completeness theorem | 哥德尔完备性定理 | 1 |
Q1451046 [CC | ] | Gödel numbering | 哥德尔数 | 1 |
Q2502253 [CC | ] | uniqueness quantification | 唯一量化 | 1 |
Q908826 [CC | ] | single person | 單身 | 1 |
Q163310 [CC | ] | Turing machine | 图灵机 | 1 |
Q834884 [CC | ] | type | 型 (模型论) | 1 |
Q1896657 [CC | ] | urelement | 基本元素 | 1 |
Q574902 [CC | ] | Tarski's undefinability theorem | 塔斯基不可定義定理 | 1 |
Q185502 [CC | ] | many-valued logic | 多值逻辑 | 1 |
Q1548262 [CC | ] | large cardinal | 大基数 | 1 |
Q859254 [CC | ] | Substructure | 子结构 | 1 |
Q837518 [CC | ] | alphabet | 字母表 (计算机科学) | 1 |
Q184754 [CC | ] | string | 字符串 | 1 |
Q919060 [CC | ] | Quietism | 寂靜主義 | 1 |
Q2584477 [CC | ] | Construction of the real numbers | 實數的構造 | 1 |
Q2749902 [CC | ] | square of opposition | 对立四边形 | 1 |
Q729471 [CC | ] | Cantor's diagonal argument | 對角論證法 | 1 |
Q737851 [CC | ] | Banach–Tarski paradox | 巴拿赫-塔斯基定理 | 1 |
Q4973304 [CC | ] | Boolean algebra | 布尔代数 | 1 |
Q840243 [CC | ] | Hilbert's axioms | 希尔伯特公理 | 1 |
Q910361 [CC | ] | Hilbert system | 希尔伯特演绎系统 | 1 |
Q111124 [CC | ] | square | 平方 | 1 |
Q185359 [CC | ] | union | 并集 | 1 |
Q191780 [CC | ] | ordinal number | 序数 | 1 |
Q1033910 [CC | ] | Cantor–Bernstein–Schroeder theorem | 康托尔-伯恩斯坦-施罗德定理 | 1 |
Q474881 [CC | ] | Cantor's theorem | 康托尔定理 | 1 |
Q379078 [CC | ] | Cantor's paradox | 康托尔悖论 | 1 |
Q35277 [CC | ] | metaphysics | 形上學 | 1 |
Q1343870 [CC | ] | corollary | 推论 | 1 |
Q163335 [CC | ] | Principia Mathematica | 数学原理 | 1 |
Q180536 [CC | ] | philosophy of mathematics | 数学哲学 | 1 |
Q246672 [CC | ] | mathematical object | 数学对象 | 1 |
Q48235 [CC | ] | stoicism | 斯多葛主義 | 1 |
Q649337 [CC | ] | New Foundations | 新基础集合论 | 1 |
Q9903 [CC | ] | Ming dynasty | 明朝 | 1 |
Q7071 [CC | ] | Li Bai | 李白 | 1 |
Q1456811 [CC | ] | Kolmogorov complexity | 柯氏复杂性 | 1 |
Q253702 [CC | ] | Rainie Yang | 楊丞琳 | 1 |
Q1055058 [CC | ] | fuzzy set | 模糊集 | 1 |
Q162886 [CC | ] | Euclidean geometry | 欧几里得几何 | 1 |
Q164 [CC | ] | square | 正方形 | 1 |
Q283 [CC | ] | water | 水 | 1 |
Q229102 [CC | ] | surjective function | 满射 | 1 |
Q2705017 [CC | ] | independence | 獨立性 (數理邏輯) | 1 |
Q842755 [CC | ] | Peano axioms | 皮亚诺公理 | 1 |
Q1126340 [CC | ] | pyrrhonism | 皮浪主义 | 1 |
Q37105 [CC | ] | line | 直线 | 1 |
Q210 [CC | ] | right angle | 直角 | 1 |
Q842346 [CC | ] | equality | 相等 | 1 |
Q1771121 [CC | ] | sequent calculus | 相继式演算 | 1 |
Q7449101 [CC | ] | semantic theory of truth | 真理的语义理论 | 1 |
Q100995 [CC | ] | pound | 磅 | 1 |
Q1187628 [CC | ] | The Return of the Condor Heroes | 神鵰俠侶 | 1 |
Q173740 [CC | ] | Cartesian product | 笛卡儿积 | 1 |
Q130998 [CC | ] | equivalence relation | 等价关系 | 1 |
Q719395 [CC | ] | category | 範疇 (數學) | 1 |
Q60837 [CC | ] | John Austin | 約翰·奧斯丁 | 1 |
Q1149458 [CC | ] | compactness theorem | 紧致性定理 | 1 |
Q178150 [CC | ] | insulator | 絕緣體 | 1 |
Q164359 [CC | ] | experience | 經驗 | 1 |
Q565 [CC | ] | Wikimedia Commons | 维基共享资源 | 1 |
Q33401 [CC | ] | Russell's paradox | 罗素悖论 | 1 |
Q7291 [CC | ] | badminton | 羽毛球 | 1 |
Q214526 [CC | ] | automata theory | 自動機理論 | 1 |
Q3502887 [CC | ] | free logic | 自由逻辑 | 1 |
Q217413 [CC | ] | category theory | 范畴论 | 1 |
Q2102 [CC | ] | snake | 蛇 | 1 |
Q242767 [CC | ] | complement | 补集 | 1 |
Q80113 [CC | ] | Expressionism | 表现主义 | 1 |
Q6498784 [CC | ] | mathematical expression | 表達式 | 1 |
Q11352 [CC | ] | angle | 角 | 1 |
Q1535225 [CC | ] | ultraproduct | 超積 | 1 |
Q3884033 [CC | ] | operation | 运算 | 1 |
Q208416 [CC | ] | continuum hypothesis | 连续统假设 | 1 |
Q2005236 [CC | ] | reverse mathematics | 逆数学 | 1 |
Q1094228 [CC | ] | logical atomism | 逻辑原子论 | 1 |
Q468620 [CC | ] | history of logic | 逻辑史 | 1 |
Q843812 [CC | ] | logical assertion | 逻辑断言 | 1 |
Q3235413 [CC | ] | list of logic symbols | 逻辑符号表 | 1 |
Q845691 [CC | ] | logicism | 邏輯主義 | 1 |
Q1089708 [CC | ] | Church encoding | 邱奇数 | 1 |
Q1196129 [CC | ] | spouse | 配偶 | 1 |
Q180626 [CC | ] | Jin Yong | 金庸 | 1 |
Q908627 [CC | ] | aleph number | 阿列夫數 | 1 |
Q381060 [CC | ] | partition of a set | 集合划分 | 1 |
Q2518298 [CC | ] | category of sets | 集合范畴 | 1 |
Q3318128 [CC | ] | non-standard model | 非标准模型 | 1 |
Q233858 [CC | ] | non-Euclidean geometry | 非欧几里得几何 | 1 |
Q1473532 [CC | ] | Saturated model | 飽和模型 | 1 |
Q1644136 [CC | ] | higher-order logic | 高阶逻辑 | 1 |
Q615699 [CC | ] | online encyclopedia | Encyklopedia internetowa | 1 |
Q325993 [CC | ] | Kazimierz Ajdukiewicz | Kazimierz Ajdukiewicz | 1 |
Q41506 [CC | ] | Stanford University | Uniwersytet Stanforda | 1 |
Q482380 [CC | ] | g.o.d | God (음악 그룹) | 1 |
Q284164 [CC | ] | μ-recursive function | Μ-재귀 함수 | 1 |
Q97339967 [CC | ] | No label in en! | 가언 명제 | 1 |
Q60502 [CC | ] | Gerhard Gentzen | 게르하르트 겐첸 | 1 |
Q182905 [CC | ] | Georgi Plekhanov | 게오르기 플레하노프 | 1 |
Q818895 [CC | ] | computable number | 계산 가능한 수 | 1 |
Q1362266 [CC | ] | Gongsun Long | 공손룡 | 1 |
Q595650 [CC | ] | Nyaya | 니야야 학파 | 1 |
Q873653 [CC | ] | Gaisi Takeuti | 다케우치 가이시 | 1 |
Q403904 [CC | ] | David Lewis | 데이비드 루이스 | 1 |
Q190089 [CC | ] | Duns Scotus | 둔스 스코투스 | 1 |
Q76410 [CC | ] | Leopold Kronecker | 레오폴트 크로네커 | 1 |
Q441178 [CC | ] | Raymond Smullyan | 레이먼드 스멀리언 | 1 |
Q1395607 [CC | ] | Robert M. Solovay | 로버트 솔로베이 | 1 |
Q174231 [CC | ] | Emperor Meiji | 메이지 천황 | 1 |
Q97339985 [CC | ] | No label in en! | 명사 (논리학) | 1 |
Q841850 [CC | ] | Emperor Ming | 명제 (동음이의) | 1 |
Q6029713 [CC | ] | infinitary logic | 무한 논리 | 1 |
Q357965 [CC | ] | Michael O. Rabin | 미하엘 라빈 | 1 |
Q184735 [CC | ] | Bernard Bolzano | 베르나르트 볼차노 | 1 |
Q181207 [CC | ] | dialectical materialism | 변증법적 유물론 | 1 |
Q102851 [CC | ] | Boethius | 보이티우스 | 1 |
Q1051925 [CC | ] | resolution | 분해 증명 | 1 |
Q1394 [CC | ] | Vladimir Lenin | 블라디미르 레닌 | 1 |
Q448592 [CC | ] | Saharon Shelah | 사하론 셸라흐 | 1 |
Q97339995 [CC | ] | No label in en! | 선언 명제 | 1 |
Q441223 [CC | ] | Saunders Mac Lane | 손더스 매클레인 | 1 |
Q55737398 [CC | ] | No label in en! | 신앙주의 | 1 |
Q641771 [CC | ] | Arend Heyting | 아런트 헤이팅 | 1 |
Q61043 [CC | ] | Abraham Fraenkel | 아브라함 프렝켈 | 1 |
Q12606534 [CC | ] | To Mother | 어머님께 | 1 |
Q57248 [CC | ] | Ernst Zermelo | 에른스트 체르멜로 | 1 |
Q330567 [CC | ] | Abraham Robinson | 에이브러햄 로빈슨 | 1 |
Q949349 [CC | ] | Ehud Hrushovski | 에후드 흐루쇼브스키 | 1 |
Q43936 [CC | ] | William of Ockham | 오컴의 윌리엄 | 1 |
Q707119 [CC | ] | Yuri Matiyasevich | 유리 마티야세비치 | 1 |
Q4385666 [CC | ] | inverse | 이 (논리학) | 1 |
Q216811 [CC | ] | John Venn | 존 벤 | 1 |
Q17455 [CC | ] | John von Neumann | 존 폰 노이만 | 1 |
Q6841699 [CC | ] | Middle term | 중명사 | 1 |
Q176786 [CC | ] | intuitionistic logic | 직관 논리 | 1 |
Q10879018 [CC | ] | intuitionism | 직관주의 | 1 |
Q486686 [CC | ] | evolutionary epistemology | 진화론적 인식론 | 1 |
Q5361594 [CC | ] | intermediate logic | 초직관 논리 | 1 |
Q548080 [CC | ] | Thoralf Skolem | 토랄프 스콜렘 | 1 |
Q984380 [CC | ] | Timothy Williamson | 티모시 윌리엄슨 | 1 |
Q122318 [CC | ] | Paul Bernays | 파울 베르나이스 | 1 |
Q216809 [CC | ] | Paul Cohen | 폴 코언 | 1 |
Q4295 [CC | ] | Peter Abelard | 피에르 아벨라르 | 1 |
Q1617044 [CC | ] | Heyting algebra | 헤이팅 대수 | 1 |
Q943012 [CC | ] | Hui Shi | 혜시 | 1 |
Q4902449 [CC | ] | Bialik Institute | מוסד ביאליק | 1 |
Q6756540 [CC | ] | Marcelo Dascal | מרסלו דסקל | 1 |
Q174677 [CC | ] | Amos | ספר עמוס | 1 |
Q621080 [CC | ] | Library of Congress Classification | שיטת ספריית הקונגרס | 1 |
Q78891 [CC | ] | Hugo Bergmann | שמואל הוגו ברגמן | 1 |
Q485217 [CC | ] | Prior Analytics | Analitici primi | 1 |
Q241625 [CC | ] | wish | Desiderio (filosofia) | 1 |
Q3803714 [CC | ] | Institute of the Italian Encyclopaedia | Istituto dell'Enciclopedia Italiana | 1 |
Q427343 [CC | ] | material nonimplication | Non-implicazione | 1 |
Q5166459 [CC | ] | converse nonimplication | Non-implicazione inversa | 1 |
Q500930 [CC | ] | Organon | Organon | 1 |
Q1206895 [CC | ] | text linguistics | Lingüística textual | 1 |
Q12392570 [CC | ] | No label in en! | Macroestrutura | 1 |
Q12393278 [CC | ] | No label in en! | Microestrutura | 1 |
Q12400819 [CC | ] | No label in en! | Superestrutura | 1 |
Q234460 [CC | ] | text | Texto | 1 |
Q7048977 [CC | ] | abstract entity | Abstraktne objekt | 1 |
Q512674 [CC | ] | exemplar | Eksemplar | 1 |
Q12367991 [CC | ] | No label in en! | Käsklause | 1 |
Q1122094 [CC | ] | dependent clause | Kõrvallause | 1 |
Q2304610 [CC | ] | interrogative word | Küsilause | 1 |
Q25495392 [CC | ] | No label in en! | Mõtestatud lause | 1 |
Q255189 [CC | ] | paraphrase | Parafraas | 1 |
Q4310647 [CC | ] | sisu | Sisu | 1 |
Q1648040 [CC | ] | correctness | Tõesus | 1 |
Q21112633 [CC | ] | translated text | Tõlge | 1 |
Q12378929 [CC | ] | Väide | Väide | 1 |
Q25501527 [CC | ] | No label in en! | Väitlause | 1 |
Q81867 [CC | ] | albinism | Albinismus | 1 |
Q185816 [CC | ] | analogy | Analogie (Philosophie) | 1 |
Q1372900 [CC | ] | propositional formula | Aussageform | 1 |
Q814441 [CC | ] | assertion | Behauptung | 1 |
Q68446 [CC | ] | Ernst Tugendhat | Ernst Tugendhat | 1 |
Q350184 [CC | ] | validity | Gültigkeit | 1 |
Q93439763 [CC | ] | No label in en! | Junktor | 1 |
Q1533078 [CC | ] | Jürgen Bortz | Jürgen Bortz | 1 |
Q1784725 [CC | ] | No label in en! | Korrelat (Grammatik) | 1 |
Q486902 [CC | ] | mathematical model | Mathematisches Modell | 1 |
Q1344193 [CC | ] | black | Rappe | 1 |
Q1642334 [CC | ] | state of affairs | Sachverhalt | 1 |
Q350231 [CC | ] | Scott Soames | Scott Soames | 1 |
Q2376229 [CC | ] | synthetic a priori judgment | Synthetisches Urteil a priori | 1 |
Q1720612 [CC | ] | judgment | Urteil (Logik) | 1 |
Q1969661 [CC | ] | value judgment | Werturteil | 1 |
Q6011160 [CC | ] | circular reasoning | Zirkelschluss | 1 |
Q7181635 [CC | ] | PhilPapers | PhilPapers | 1 |
Q9235 [CC | ] | Georg Wilhelm Friedrich Hegel | ゲオルク・ヴィルヘルム・フリードリヒ・ヘーゲル | 1 |
Q102585 [CC | ] | Johann Gottlieb Fichte | ヨハン・ゴットリープ・フィヒテ | 1 |
Q382335 [CC | ] | Inoue Tetsujirō | 井上哲次郎 | 1 |
Q11381109 [CC | ] | Kôdi Husimi | 伏見康治 | 1 |
Q107749879 [CC | ] | Tetsugaku-jii | 哲学字彙 | 1 |
Q706196 [CC | ] | Tsubouchi Shōyō | 坪内逍遥 | 1 |
Q37999200 [CC | ] | Hori Tatsunosuke | 堀達之助 | 1 |
Q5367070 [CC | ] | No label in en! | 小説神髄 | 1 |
Q606450 [CC | ] | Aruga Nagao | 有賀長雄 | 1 |
Q1658184 [CC | ] | Chōkō Ikuta | 生田長江 | 1 |
Q11580722 [CC | ] | No label in en! | 百学連環 | 1 |
Q11616897 [CC | ] | A Pocket Dictionary of the English and Japanese Language | 英和対訳袖珍辞書 | 1 |
Q1072348 [CC | ] | Shuowen Jiezi | 説文解字 | 1 |
Q27031342 [CC | ] | quantification | 量化 | 1 |
Q262759 [CC | ] | antinomy | 二律背反 | 1 |
Q2625281 [CC | ] | mutually exclusive events | 互斥 | 1 |
Q118117774 [CC | ] | No label in en! | 假 | 1 |
Q875267 [CC | ] | necessity and sufficiency | 充分必要條件 | 1 |
Q54980267 [CC | ] | intransitivity | 唔遞移關係 | 1 |
Q962165 [CC | ] | formal fallacy | 形式謬論 | 1 |
Q9492 [CC | ] | probability | 概率 | 1 |
Q8366 [CC | ] | algorithm | 演算法 | 1 |
Q2878974 [CC | ] | theoretical computer science | 理論電腦科學 | 1 |
Q336 [CC | ] | science | 科學 | 1 |
Q270105 [CC | ] | argumentation theory | 辨證理論 | 1 |
Q2651693 [CC | ] | logic in computer science | 運算邏輯 | 1 |
Q64861 [CC | ] | transitive relation | 遞移關係 | 1 |
Q26869183 [CC | ] | realis | 陳述句 | 1 |
Q239179 [CC | ] | non-classical logic | 非古典邏輯 | 1 |
Q1506807 [CC | ] | informal logic | 非形式邏輯 | 1 |
Q178885 [CC | ] | deity | Deity | 1 |
Q300637 [CC | ] | a posteriori | A posteriori | 1 |
Q192683 [CC | ] | ad hoc | Ad hoc | 1 |
Q3240280 [CC | ] | direct proof | Direkt bevis | 1 |
Q83021 [CC | ] | empirical evidence | Empiri | 1 |
Q45003 [CC | ] | entropy | Entropi | 1 |
Q976981 [CC | ] | formula | Formel | 1 |
Q15846555 [CC | ] | completeness | Fullständighet (logik) | 1 |
Q319141 [CC | ] | conjecture | Förmodan | 1 |
Q210832 [CC | ] | statistical test | Hypotesprövning | 1 |
Q10531680 [CC | ] | No label in en! | Härledningsbegrepp | 1 |
Q10531683 [CC | ] | No label in en! | Härledningssystem | 1 |
Q123819398 [CC | ] | indirect proof | Indirekt bevis | 1 |
Q11028 [CC | ] | information | Information | 1 |
Q49094583 [CC | ] | No label in en! | Kontradiktion | 1 |
Q207505 [CC | ] | lemma | Lemma | 1 |
Q214796 [CC | ] | equals sign | Likhetstecken | 1 |
Q655742 [CC | ] | modus ponens | Modus ponens | 1 |
Q844118 [CC | ] | modus tollens | Modus tollens | 1 |
Q628374 [CC | ] | null hypothesis | Nollhypotes | 1 |
Q28113351 [CC | ] | inequality | Olikhet | 1 |
Q10609069 [CC | ] | No label in en! | Olikhetstecken | 1 |
Q474328 [CC | ] | declarative sentence | Påståendesats | 1 |
Q19978343 [CC | ] | No label in en! | Reductio ad absurdum-regeln | 1 |
Q776754 [CC | ] | summary | Slutsats | 1 |
Q10682043 [CC | ] | No label in en! | Struktur (filosofi) | 1 |
Q19978412 [CC | ] | No label in en! | Sundhet | 1 |
Q37437 [CC | ] | syntax | Syntax | 1 |
Q56303152 [CC | ] | No label in en! | Utsaga | 1 |
Q3342045 [CC | ] | No label in en! | Formulering (logica) | 1 |
Q39809 [CC | ] | marketing | Marketing | 1 |
Q1570700 [CC | ] | word sense | Zin (logica) | 1 |
Q4716511 [CC | ] | Alethiology | Aletiologia | 1 |
Q7309531 [CC | ] | regress argument | Argumento do regresso (epistemologia) | 1 |
Q741248 [CC | ] | assertion | Asserção | 1 |
Q18481211 [CC | ] | No label in en! | Contextualismo | 1 |
Q775842 [CC | ] | desire | Desejo | 1 |
Q1502119 [CC | ] | genetic epistemology | Epistemologia genética | 1 |
Q2408329 [CC | ] | externalism | Externalismo (filosofia da mente) | 1 |
Q192600 [CC | ] | fallibilism | Falibilismo | 1 |
Q1452279 [CC | ] | Fred Dretske | Fred Dretske | 1 |
Q234535 [CC | ] | Great Soviet Encyclopedia | Grande Enciclopédia Soviética | 1 |
Q2279698 [CC | ] | transcendental idealism | Idealismo transcendental | 1 |
Q10302123 [CC | ] | No label in en! | Infinitismo | 1 |
Q706622 [CC | ] | intention | Intenção | 1 |
Q131805 [CC | ] | John Dewey | John Dewey | 1 |
Q117304541 [CC | ] | justification | Justificação | 1 |
Q296131 [CC | ] | Predicate | Predicado | 1 |
Q298054 [CC | ] | Quine | Quine | 1 |
Q10860201 [CC | ] | direct and indirect realism | Realismo direto e indireto | 1 |
Q249614 [CC | ] | Representation | Representação | 1 |
Q813854 [CC | ] | Meaning | Significado | 1 |
Q508291 [CC | ] | simplicity | Simplicidade | 1 |
Q13420720 [CC | ] | No label in en! | Jednoduchý výrok | 1 |
Q226931 [CC | ] | conjunction | Konjunkcia | 1 |
Q114837820 [CC | ] | No label in en! | Výraz | 1 |
Q111867905 [CC | ] | No label in en! | Zložený výrok | 1 |
Q298413 [CC | ] | Quality | Сыйфат | 1 |
Q10954303 [CC | ] | variable | ตัวแปร | 1 |
Q12301326 [CC | ] | analytic statement | Analytický soud | 1 |
Q173300 [CC | ] | De Morgan's laws | De Morganovy zákony | 1 |
Q837479 [CC | ] | Boolean circuit | Logický obvod | 1 |
Q180159 [CC | ] | list of mathematical symbols | Matematické symboly a značky | 1 |
Q190593 [CC | ] | OCLC, Inc. | Online Computer Library Center | 1 |
Q49008 [CC | ] | prime number | Prvočíslo | 1 |
Q12916 [CC | ] | real number | Reálné číslo | 1 |
Q12057984 [CC | ] | synthetic statement | Syntetický soud | 1 |
Q491558 [CC | ] | Ibn Taymiyyah | ابن تیمیه | 1 |
Q317787 [CC | ] | Ibn Hazm | ابن حزم | 1 |
Q1710397 [CC | ] | reason | استدلال | 1 |
Q504952 [CC | ] | collective noun | اسم جمع | 1 |
Q38 [CC | ] | Italy | ایتالیا | 1 |
Q192617 [CC | ] | faith and rationality | ایمان و عقلانیت | 1 |
Q261155 [CC | ] | consequent | تالی | 1 |
Q853304 [CC | ] | No label in en! | جمله امری | 1 |
Q6003090 [CC | ] | No label in en! | جمله خبری | 1 |
Q188572 [CC | ] | fact | حقیقت | 1 |
Q2352926 [CC | ] | speculative reason | خرد ناب | 1 |
Q3874243 [CC | ] | Sheffer stroke | خط شفر | 1 |
Q18562927 [CC | ] | IMPLY gate | دروازه شرطی | 1 |
Q1336142 [CC | ] | XNOR gate | دروازه نقیض یای انحصاری | 1 |
Q560370 [CC | ] | AND gate | دروازه و | 1 |
Q664575 [CC | ] | inverter | دروازه وارونگر | 1 |
Q560398 [CC | ] | OR gate | دروازه یا | 1 |
Q155516 [CC | ] | XOR gate | دروازه یای انحصاری | 1 |
Q204355 [CC | ] | logical biconditional | دوشرطی منطقی | 1 |
Q65198251 [CC | ] | Zoj Ya Fard | زوج یا فرد | 1 |
Q5166460 [CC | ] | converse implication | شرطی معکوس | 1 |
Q179270 [CC | ] | constructivist epistemology | شناختشناسی ساختگرا | 1 |
Q5469960 [CC | ] | formal epistemology | شناختشناسی صوری | 1 |
Q282883 [CC | ] | Shihab al-Din Suhrawardi | شهابالدین یحیی سهروردی | 1 |
Q1998646 [CC | ] | philosophical skepticism | شکگرایی فلسفی | 1 |
Q333703 [CC | ] | Fakhr al-Din al-Razi | فخر رازی | 1 |
Q6822250 [CC | ] | metaepistemology | فرامعرفتشناسی | 1 |
Q1366730 [CC | ] | metalogic | فرامنطق | 1 |
Q15439057 [CC | ] | list of rules of inference | فهرست قواعد استنتاج | 1 |
Q863221 [CC | ] | list of fallacies | فهرست مغالطهها | 1 |
Q2222142 [CC | ] | list of logicians | فهرست منطقدانان | 1 |
Q2509345 [CC | ] | list of paradoxes | فهرست پارادوکسها | 1 |
Q1807971 [CC | ] | Laurence BonJour | لورنس بونجور | 1 |
Q260460 [CC | ] | antecedent | مقدم (منطق) | 1 |
Q176630 [CC | ] | relevance logic | منطق ربط | 1 |
Q2443272 [CC | ] | Topic | موضوع | 1 |
Q39833 [CC | ] | microorganism | میکروب | 1 |
Q145874 [CC | ] | justification | نظریه توجیه | 1 |
Q9415 [CC | ] | emotion | هیجان | 1 |
Q189725 [CC | ] | Panini | پانینی | 1 |
Q189756 [CC | ] | question | پرسش | 1 |
Q4893253 [CC | ] | Paul the Persian | پولس ایرانی | 1 |
Q3606768 [CC | ] | propositional function | گزارهنما | 1 |
Q204957 [CC | ] | Kalundborg | Kalundborg | 1 |
Q150 [CC | ] | French | Franska | 1 |
Q294 [CC | ] | Icelandic | Íslenska | 1 |
Q4713139 [CC | ] | Alciphron | Alciphron (book) | 1 |
Q105226785 [CC | ] | alternative semantics | Alternative semantics | 1 |
Q3851253 [CC | ] | An Essay towards a Real Character and a Philosophical Language | An Essay Towards a Real Character, and a Philosophical Language | 1 |
Q156751 [CC | ] | anaphora | Anaphora (linguistics) | 1 |
Q4771114 [CC | ] | Antecedent-contained deletion | Antecedent-contained deletion | 1 |
Q105569262 [CC | ] | autonomy of syntax | Autonomy of syntax | 1 |
Q3140385 [CC | ] | binding | Binding (linguistics) | 1 |
Q1574089 [CC | ] | cataphora | Cataphora | 1 |
Q1841499 [CC | ] | categorial grammar | Categorial grammar | 1 |
Q912550 [CC | ] | categorization | Categorization | 1 |
Q5054575 [CC | ] | Causal theory of reference | Causal theory of reference | 1 |
Q5140822 [CC | ] | coercion | Coercion (linguistics) | 1 |
Q871801 [CC | ] | cognitive semantics | Cognitive semantics | 1 |
Q730974 [CC | ] | combinatory categorial grammar | Combinatory categorial grammar | 1 |
Q3954981 [CC | ] | Computational semantics | Computational semantics | 1 |
Q456748 [CC | ] | conditional sentence | Conditional sentence | 1 |
Q108365642 [CC | ] | Conservativity | Conservativity | 1 |
Q1128903 [CC | ] | continuation | Continuation | 1 |
Q5165769 [CC | ] | Contrastivism | Contrastivism | 1 |
Q108314590 [CC | ] | Conversational scoreboard | Conversational scoreboard | 1 |
Q3002215 [CC | ] | Cratylism | Cratylism | 1 |
Q5188768 [CC | ] | crossover effects | Crossover effects | 1 |
Q4476077 [CC | ] | cumulativity | Cumulativity (linguistics) | 1 |
Q3020291 [CC | ] | De Arte Combinatoria | De Arte Combinatoria | 1 |
Q287183 [CC | ] | De dicto and de re | De dicto and de re | 1 |
Q5244981 [CC | ] | De se | De se | 1 |
Q1182686 [CC | ] | definiteness | Definiteness | 1 |
Q5260031 [CC | ] | deontic | Deontic modality | 1 |
Q3819862 [CC | ] | descriptivist theory of names | Descriptivist theory of names | 1 |
Q3026379 [CC | ] | direct reference theory | Direct reference theory | 1 |
Q5281757 [CC | ] | discourse relation | Discourse relation | 1 |
Q3526815 [CC | ] | Discourse representation theory | Discourse representation theory | 1 |
Q5283209 [CC | ] | distributional semantics | Distributional semantics | 1 |
Q104841357 [CC | ] | dynamic semantics | Dynamic semantics | 1 |
Q5383589 [CC | ] | epistemic modality | Epistemic modality | 1 |
Q461007 [CC | ] | Eubulides | Eubulides | 1 |
Q12223979 [CC | ] | evidentiality | Evidentiality | 1 |
Q113456568 [CC | ] | Exhaustivity | Exhaustivity | 1 |
Q105615241 [CC | ] | Existential closure | Existential closure | 1 |
Q1384998 [CC | ] | extension | Extension (semantics) | 1 |
Q24963503 [CC | ] | Faultless disagreement | Faultless disagreement | 1 |
Q1435289 [CC | ] | focus | Focus (linguistics) | 1 |
Q5469969 [CC | ] | formal semantics | Formal semantics (natural language) | 1 |
Q105102522 [CC | ] | Free choice inference | Free choice inference | 1 |
Q15953 [CC | ] | Fritz Mauthner | Fritz Mauthner | 1 |
Q5508767 [CC | ] | function application | Function application | 1 |
Q5532504 [CC | ] | generalized quantifier | Generalized quantifier | 1 |
Q36108 [CC | ] | generative grammar | Generative grammar | 1 |
Q65121303 [CC | ] | givenness | Givenness | 1 |
Q2261966 [CC | ] | glue semantics | Glue semantics | 1 |
Q105626283 [CC | ] | Hurford disjunction | Hurford disjunction | 1 |
Q474418 [CC | ] | inalienable possession | Inalienable possession | 1 |
Q6018964 [CC | ] | Index of philosophy of language articles | Index of philosophy of language articles | 1 |
Q1661162 [CC | ] | indexicality | Indexicality | 1 |
Q60741432 [CC | ] | inquisitive semantics | Inquisitive semantics | 1 |
Q6044335 [CC | ] | Intensional logic | Intensional logic | 1 |
Q65065165 [CC | ] | intersective adjective | Intersective modifier | 1 |
Q1431691 [CC | ] | Language, Truth, and Logic | Language, Truth, and Logic | 1 |
Q1759657 [CC | ] | lexical semantics | Lexical semantics | 1 |
Q12270724 [CC | ] | Limited Inc | Limited Inc | 1 |
Q6554037 [CC | ] | linguistic determinism | Linguistic determinism | 1 |
Q6554079 [CC | ] | Linguistics Wars | Linguistics wars | 1 |
Q3253149 [CC | ] | list of philosophers of language | List of philosophers of language | 1 |
Q117337220 [CC | ] | Logic translation | Logic translation | 1 |
Q6667497 [CC | ] | logical form | Logical form | 1 |
Q6667479 [CC | ] | Logical Form | Logical form (linguistics) | 1 |
Q6667803 [CC | ] | logophoricity | Logophoricity | 1 |
Q6803700 [CC | ] | meaning postulate | Meaning postulate | 1 |
Q6806181 [CC | ] | Mediated reference theory | Mediated reference theory | 1 |
Q1194916 [CC | ] | mereology | Mereology | 1 |
Q4356464 [CC | ] | admirative | Mirativity | 1 |
Q105453208 [CC | ] | Modal subordination | Modal subordination | 1 |
Q1579914 [CC | ] | monad | Monad (functional programming) | 1 |
Q3272938 [CC | ] | Montague grammar | Montague grammar | 1 |
Q501747 [CC | ] | Naming and Necessity | Naming and Necessity | 1 |
Q3020428 [CC | ] | Of Grammatology | Of Grammatology | 1 |
Q3020431 [CC | ] | On Denoting | On Denoting | 1 |
Q2024914 [CC | ] | opaque context | Opaque context | 1 |
Q965415 [CC | ] | performative utterance | Performative utterance | 1 |
Q3493035 [CC | ] | Phallogocentrism | Phallogocentrism | 1 |
Q2101089 [CC | ] | polarity item | Polarity item | 1 |
Q1542096 [CC | ] | Port-Royal Grammar | Port-Royal Grammar | 1 |
Q105615474 [CC | ] | privative adjective | Privative adjective | 1 |
Q7246863 [CC | ] | Probabilistic proposition | Probabilistic proposition | 1 |
Q7268911 [CC | ] | quantificational variability effect | Quantificational variability effect | 1 |
Q2176628 [CC | ] | quantization | Quantization (linguistics) | 1 |
Q106074169 [CC | ] | Question under discussion | Question under discussion | 1 |
Q1548396 [CC | ] | relevance theory | Relevance theory | 1 |
Q106838674 [CC | ] | responsive predicate | Responsive predicate | 1 |
Q105561840 [CC | ] | Rising declarative | Rising declarative | 1 |
Q7429684 [CC | ] | scalar implicature | Scalar implicature | 1 |
Q104853399 [CC | ] | scope | Scope (formal semantics) | 1 |
Q631616 [CC | ] | Semantic externalism | Semantic externalism | 1 |
Q2436346 [CC | ] | semantic holism | Semantic holism | 1 |
Q55632839 [CC | ] | semantic parsing | Semantic parsing | 1 |
Q330955 [CC | ] | Sense and reference | Sense and reference | 1 |
Q11801374 [CC | ] | sign | Sign (semiotics) | 1 |
Q7532164 [CC | ] | situation semantics | Situation semantics | 1 |
Q7541384 [CC | ] | Sloppy identity | Sloppy identity | 1 |
Q105123493 [CC | ] | squiggle operator | Squiggle operator | 1 |
Q375520 [CC | ] | Strict conditional | Strict conditional | 1 |
Q105605534 [CC | ] | Subsective modifier | Subsective modifier | 1 |
Q110269066 [CC | ] | Subtrigging | Subtrigging | 1 |
Q17141227 [CC | ] | supervaluationism | Supervaluationism | 1 |
Q462024 [CC | ] | supposition theory | Supposition theory | 1 |
Q7661138 [CC | ] | Symbiosism | Symbiosism | 1 |
Q108208608 [CC | ] | syntax–semantics interface | Syntax–semantics interface | 1 |
Q2336024 [CC | ] | telicity | Telicity | 1 |
Q107919983 [CC | ] | Temperature paradox | Temperature paradox | 1 |
Q2751097 [CC | ] | tense–aspect–mood | Tense–aspect–mood | 1 |
Q85808997 [CC | ] | theory of language | Theory of language | 1 |
Q5411613 [CC | ] | Truth-bearer | Truth-bearer | 1 |
Q7848251 [CC | ] | truth-conditional semantics | Truth-conditional semantics | 1 |
Q232002 [CC | ] | Two Dogmas of Empiricism | Two Dogmas of Empiricism | 1 |
Q105637967 [CC | ] | Type shifter | Type shifter | 1 |
Q85811377 [CC | ] | Type theory with records | Type theory with records | 1 |
Q65061188 [CC | ] | Unilalianism | Unilalianism | 1 |
Q7894130 [CC | ] | universal grinder | Universal grinder | 1 |
Q1411921 [CC | ] | vagueness | Vagueness | 1 |
Q7921318 [CC | ] | veridicality | Veridicality | 1 |
Q7348577 [CC | ] | Wittgenstein on Rules and Private Language | Wittgenstein on Rules and Private Language | 1 |
Q1345343 [CC | ] | yes–no question | Yes–no question | 1 |
Q9248 [CC | ] | Baku | Bakı | 1 |
Q349047 [CC | ] | thought | Təfəkkür | 1 |
Q110105733 [CC | ] | No label in en! | Zeynəddin Hacıyev | 1 |
Q16032115 [CC | ] | Alternatif | Alternatif | 1 |
Q7411 [CC | ] | Dutch | Bahasa Belanda | 1 |
Q7312982 [CC | ] | No label in en! | Benda | 1 |
Q780687 [CC | ] | rights | Hak | 1 |
Q56410049 [CC | ] | No label in en! | Halaman | 1 |
Q7925 [CC | ] | rain | Hujan | 1 |
Q156938 [CC | ] | Tectona grandis | Jati | 1 |
Q287 [CC | ] | wood | Kayu | 1 |
Q185957 [CC | ] | quality | Kualitas | 1 |
Q20426087 [CC | ] | Majemuk | Majemuk | 1 |
Q5 [CC | ] | human | Manusia | 1 |
Q14748 [CC | ] | table | Meja | 1 |
Q6256 [CC | ] | country | Negara | 1 |
Q5189153 [CC | ] | value | Nilai | 1 |
Q7566 [CC | ] | parent | Orang tua | 1 |
Q2083958 [CC | ] | pattern | Pola | 1 |
Q224945 [CC | ] | subject | Subjek | 1 |
Q12523277 [CC | ] | No label in en! | Universal | 1 |
Q673661 [CC | ] | abstraction | Abstracción (filosofía) | 1 |
Q107329943 [CC | ] | acknowledgement | Afirmación | 1 |
Q758243 [CC | ] | attribute | Atributo (filosofía) | 1 |
Q714737 [CC | ] | category of being | Categoría | 1 |
Q3356722 [CC | ] | natural kind | Clase natural | 1 |
Q36484 [CC | ] | conjunction | Conjunción (gramática) | 1 |
Q21574193 [CC | ] | No label in en! | Contingente | 1 |
Q2630879 [CC | ] | coordination | Coordinación (gramática) | 1 |
Q48782649 [CC | ] | No label in en! | Cálculo | 1 |
Q978049 [CC | ] | Gustavo Bueno | Gustavo Bueno | 1 |
Q254474 [CC | ] | identity | Identidad (filosofía) | 1 |
Q21573131 [CC | ] | No label in en! | Implicación | 1 |
Q6074533 [CC | ] | Irving Copi | Irving Copi | 1 |
Q374178 [CC | ] | Jesús Padilla Gálvez | Jesús Padilla Gálvez | 1 |
Q5954560 [CC | ] | No label in en! | Juicio de términos | 1 |
Q33742 [CC | ] | natural language | Lengua natural | 1 |
Q28500947 [CC | ] | binary logic | Lógica binaria | 1 |
Q28502642 [CC | ] | No label in en! | Lógica de relaciones | 1 |
Q1003009 [CC | ] | formal logic | Lógica formal | 1 |
Q708853 [CC | ] | Mario Bunge | Mario Bunge | 1 |
Q193946 [CC | ] | scientific model | Modelo científico | 1 |
Q147276 [CC | ] | proper noun | Nombre propio | 1 |
Q6083357 [CC | ] | No label in en! | Posible | 1 |
Q3826351 [CC | ] | referent | Referente | 1 |
Q16877783 [CC | ] | meaning | Sentido lingüístico | 1 |
Q203872 [CC | ] | being | Ser | 1 |
Q3552025 [CC | ] | categorical syllogism | Silogismo categórico | 1 |
Q2031017 [CC | ] | subordination | Subordinación | 1 |
Q378078 [CC | ] | substance | Sustancia (filosofía) | 1 |
Q875797 [CC | ] | universality | Universal (metafísica) | 1 |
Q1 [CC | ] | Universe | Universo | 1 |
Q3048139 [CC | ] | Ijazah | اجازہ | 1 |
Q3706574 [CC | ] | No label in en! | Carpśàn | 1 |
Q652 [CC | ] | Italian | Itagliàn | 1 |
Q6955 [CC | ] | 19th century | XIX век | 1 |
Q2185614 [CC | ] | argument | Актант | 1 |
Q4070497 [CC | ] | Nina Harutyunova | Арутюнова, Нина Давидовна | 1 |
Q1412344 [CC | ] | deep structure | Глубинная структура | 1 |
Q4217857 [CC | ] | Solomon Katsnelson | Кацнельсон, Соломон Давидович | 1 |
Q4225178 [CC | ] | Irina Kobozeva | Кобозева, Ирина Михайловна | 1 |
Q4248200 [CC | ] | Vladimir Kurdyumov | Курдюмов, Владимир Анатольевич | 1 |
Q4261905 [CC | ] | No label in en! | Лингвистический энциклопедический словарь | 1 |
Q4330553 [CC | ] | extension of a concept | Объём понятия | 1 |
Q4342113 [CC | ] | Elena Viktorovna Paducheva | Падучева, Елена Викторовна | 1 |
Q1428334 [CC | ] | paradigm | Парадигма (лингвистика) | 1 |
Q4366371 [CC | ] | surface structure | Поверхностная структура | 1 |
Q188248 [CC | ] | constant | Постоянная | 1 |
Q113786 [CC | ] | Karl H. Pribram | Прибрам, Карл | 1 |
Q1975444 [CC | ] | adjunct | Сирконстант | 1 |
Q309 [CC | ] | history | इतिहास | 1 |
Q1092790 [CC | ] | Independence activists from India | भारत की स्वतन्त्रता | 1 |
Q23392 [CC | ] | ice | 冰 | 1 |
Q34290 [CC | ] | Wu Chinese | 吴语 | 1 |
Q23444 [CC | ] | white | 白色 | 1 |
Q284256 [CC | ] | crystallization | 结晶 | 1 |
Q7561 [CC | ] | snow | 雪 | 1 |
Q11518 [CC | ] | Pythagorean theorem | Питагорова теорема | 1 |
Q36253 [CC | ] | length | Duljina | 1 |
Q542869 [CC | ] | supply | Ponuda | 1 |
Q41487 [CC | ] | court | Sud | 1 |
Q217602 [CC | ] | analysis | تحليل | 1 |
Q12202385 [CC | ] | No label in en! | تركيب (منطق) | 1 |
Q193170 [CC | ] | ratification | تصديق | 1 |
Q3142865 [CC | ] | logical reasoning | تفكير منطقي | 1 |
Q6021531 [CC | ] | genus | جنس (منطق) | 1 |
Q106616220 [CC | ] | No label in en! | حكم (توضيح) | 1 |
Q547445 [CC | ] | rational animal | حيوان ناطق | 1 |
Q56376561 [CC | ] | No label in en! | فرض (منطق) | 1 |
Q16119569 [CC | ] | No label in en! | قضية (توضيح) | 1 |
Q12233234 [CC | ] | No label in en! | قضية مركبة | 1 |
Q3026787 [CC | ] | saying | قول | 1 |
Q5714153 [CC | ] | kashshāf iṣṭilāḥāt al-funūn wa-al-ʻulūm | كشاف اصطلاحات الفنون | 1 |
Q12240809 [CC | ] | Muhammad Ali al-Tahawni | محمد علي التهانوي | 1 |
Q228924 [CC | ] | Mobile | محمول (توضيح) | 1 |
Q12248600 [CC | ] | No label in en! | نظر (منطق) | 1 |
Q3490369 [CC | ] | Morse–Kelley set theory | نظرية المجموعات حسب مورس-كيلي | 1 |
Q401209 [CC | ] | Ahmet Cevdet Pasha | Ahmed Cevdet Paşa | 1 |
Q11205 [CC | ] | arithmetic | Aritmetik | 1 |
Q4308836 [CC | ] | Khâlid-i Baghdâdî | Hâlid Bağdâdî | 1 |
Q642697 [CC | ] | Isagoge | İsagoci | 1 |
Q170512 [CC | ] | Apuleius | Апулей | 1 |
Q12246290 [CC | ] | No label in en! | دانراو | 1 |
Q5864003 [CC | ] | Daneshnameh-ye Alai | زانستنامەی عەلایی | 1 |
Q450 [CC | ] | mind | زەین | 1 |
Q1784969 [CC | ] | predication | ھەڵگرتن (لۆژیک) | 1 |
Q618829 [CC | ] | apodicticity | Apodíctic | 1 |
Q8091 [CC | ] | grammar | Gramàtica | 1 |
Q609697 [CC | ] | invitation | Invitació | 1 |
Q2623243 [CC | ] | conceptual model | Model conceptual | 1 |
Q192234 [CC | ] | camera lens | Objectiu | 1 |
Q1938215 [CC | ] | compound sentence | Oració composta | 1 |
Q11948259 [CC | ] | Ser | Ser | 1 |
Q17737 [CC | ] | theory | Rijan-kevitra | 1 |
Q1453477 [CC | ] | Freebase | Freebase | 1 |
Q193589 [CC | ] | Platonism | Платонізм | 1 |
Q1366567 [CC | ] | Philo the Dialectician | Філон з Мегари | 1 |