| Information | |
|---|---|
| has gloss | (noun) a system of logic whose formal properties resemble certain moral and epistemological concepts modal logic |
| has gloss | eng: Modal logic is a type of formal logic that extends the standards of formal logic to include the elements of modality (for example, possibility and necessity). Modals qualify the truth of a judgment. For example, if it is true that "John is happy," we might qualify this statement by saying that "John is very happy," in which case the term "very" would be a modality. Traditionally, there are three "modes" or "moods" or "modalities" represented by modal logic, namely, possibility, probability, and necessity. |
| lexicalization | eng: Modal Logic |
| subclass of | (noun) any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity formal logic, mathematical logic, symbolic logic |
| has subclass | (noun) the modal logic of necessity and possibility and contingency alethic logic |
| has subclass | (noun) the modal logic of obligation and permissibility deontic logic |
| has subclass | (noun) the modal logic of knowledge and uncertainty and ignorance epistemic logic |
| has subclass | (noun) the modal logic of belief and disbelief doxastic logic |
| Meaning | |
|---|---|
| Arabic | |
| has gloss | ara: المنطق الطوري أو منطق الموجهات نوع من المنطق الذى يتعامل مع " المحتمل " و" الممكن" والذي يظهر في مقولات لغوية من قبيل: "من المتوقع" و"من المفترض" و"ربما". |
| lexicalization | ara: منطق طوري |
| Catalan | |
| has gloss | cat: Una lògica modal és un sistema formal que intenta capturar el comportament deductiu dalgun grup doperadors modals. Els operadors modals són expressions que qualifiquen la veritat dels judicis. Per exemple, en loració "és necessari que 2+2 = 4", lexpressió "és necessari que "és un operador modal que qualifica d ' necessària a la veritat del judici" 2+2 = 4 ". |
| lexicalization | cat: lògica modal |
| Czech | |
| has gloss | ces: Modální logika je oblast logiky zkoumající logické operace, tzv. modality (modální operátory jsou například „je možné, je nutné, je nemožné“). |
| lexicalization | ces: Modální logika |
| lexicalization | ces: modální logika |
| Danish | |
| has gloss | dan: En modallogik er enhver logik, der håndterer modaliteter: begreber så som mulighed, umulighed og nødvendighed. Logikker til håndtering af en række andre ideer, så som "senere", "tidligere", "kan", "kunne", "må" kaldes herefter også modallogik, da det viser sig, at de kan behandles på lignende måder. |
| lexicalization | dan: modallogik |
| German | |
| has gloss | deu: Die Modallogik ist derjenige Zweig der Logik, der sich mit den Folgerungen um die Modalbegriffe möglich und notwendig befasst. So lassen sich innerhalb der Modallogik nicht nur Aussagen wie „Es regnet“ oder „Alle Kreise sind rund“ analysieren, sondern auch Aussagen wie „Möglicherweise regnet es“ und „Notwendigerweise sind alle Kreise rund“. |
| lexicalization | deu: Modal-logik |
| lexicalization | deu: Modallogik |
| Esperanto | |
| lexicalization | epo: Modala logiko |
| lexicalization | epo: modala logiko |
| Persian | |
| has gloss | fas: منطق موجهات (Modal logic)، زمینهایست در منطق صوری که به بررسی موجهات (modalities)، یعنی مفاهیمی همچون امکان، وجود، و ضرورت میپردازد. به منطق که با تعدادی مفاهیم دیگر چون توانستن، احتمالا، باید و مفاهیم مشابه آن سروکار دارد نیز منطق موجهات گفته میشود. |
| lexicalization | fas: منطق موجهات |
| Finnish | |
| has gloss | fin: Modaalilogiikka (aleettinen modaalilogiikka) on logiikan alue, jolla tutkitaan aleettisten modaliteettien eli välttämättömyyden ja mahdollisuuden loogisia piirteitä. Usein termi "modaalilogiikka" ymmärretään kokonaisnimityksenä kaikkien modaliteettien loogiikoille. Muita modaliteetteja ovat muun muassa episteeminen, temporaalinen ja deonttinen. |
| lexicalization | fin: modaalilogiikka |
| French | |
| has gloss | fra: La logique modale est une logique à laquelle on a ajouté des modificateurs, qu’on pourrait comprendre en grammaire comme des adverbes. |
| lexicalization | fra: Logique Modale |
| Hebrew | |
| has gloss | heb: לוגיקה מודָלית (מהמלה הלטינית modus - מצב, אופן, דרך) היא הרחבה של הלוגיקה הקלאסית, המספקת אפשרות להגדרה פורמלית של ביטויים מודאליים. ביטויים מודאליים הם כאלה המתארים את אמיתותם של משפטים, כאשר המוכרים והבסיסיים ביותר הם הביטויים "הכרחי" ו"אפשרי". לדוגמה, על פסוק כמו "יורד גשם", ניתן להפעיל ביטויים מודאליים כמו "בהכרח יורד גשם" או "ייתכן שיורד גשם". הביטויים המודאליים הקלאסיים הם הכרח, אפשרות, חוסר-אפשרות וקונטינגנטיות. בין המושגים מתקיימים קשרים לוגיים המאפשרים להגדירם אחד מתוך השני: אפשרי הוא מה ששלילתו אינה הכרחית, לא-אפשרי הוא מה ששלילתו הכרחית וקונטינגנטי הוא מה ששלילתו אפשרית. הביטויים המודאליים הבסיסיים הכרחי ש- ואפשרי ש-, מיוצגים בלוגיקה המודלית על ידי האופרטורים \Box ו- \Diamond בהתאמה. כך, למשל, אם הפסוק p ייצג את הטענה יורד גשם בחוץ, הרי שהטענה בהכרח יורד גשם בחוץ תוצרן כ- \Box p ואילו הטענה ייתכן שיורד גשם בחוץ תוצרן כ- \Diamond p. |
| lexicalization | heb: לוגיקה מודלית |
| Hungarian | |
| has gloss | hun: A modális logika a klasszikus logika olyan kibővítése, mely a szükségszerűséghez és lehetőséghez hasonló kifejezések segítségével vezet be adekvát következményrelációt. |
| lexicalization | hun: modális logika |
| Ido | |
| has gloss | ido: Modala logiko esas logiko ad qua on adjuntas di modifikivi, qua on povus komprenar en gramatiko kom adverbi. |
| lexicalization | ido: Modala logiko |
| Icelandic | |
| has gloss | isl: Háttarökfræði er undirgrein heimspekilegrar rökfræði sem fjallar um rökleg tengsl staðhæfinga um nauðsyn og möguleika. |
| lexicalization | isl: Háttarökfræði |
| Italian | |
| has gloss | ita: Nellambito della logica formale, si indica come logica modale una qualsiasi logica in cui è possibile esprimere il "modo" in cui una proposizione è vera o falsa. Generalmente la logica modale si occupa dei concetti di possibilità e necessità, ma può essere utilizzata anche per esprimere lobbligo morale o la credenza. Esempi di proposizioni modali sono quindi "È possibile che piova" o "È necessario che Socrate sia mortale o non mortale", ma anche "È doveroso andare a votare" o "Socrate crede che piova". |
| lexicalization | ita: Logica modale |
| Japanese | |
| has gloss | jpn: 様相論理学（ようそうろんりがく）は古典的な論理学では扱わない「～でなければならない」「～でありうる」「～べきである」といった可能性や必然性に関わる命題を扱う論理学である。 |
| lexicalization | jpn: 様相論理学 |
| Korean | |
| has gloss | kor: 양상논리학(樣相論理學)은 명제(판단)의 형식뿐만 아니라 그 내용 성립의 모양(양상)을 다루어, 어떤 명제 성립의 필연성·개연성(성립할 것이다)·가능성 등을 검토한다. 이것은 개념의 의미내용(內包)에까지 개입하는 내포적(內包的) 논리학의 일종이다. |
| lexicalization | kor: 양상 논리학 |
| lexicalization | kor: 양상논리학 |
| Macedonian | |
| lexicalization | mkd: модална логика |
| Dutch | |
| has gloss | nld: Modale logicas kunnen worden gezien als een uitbreiding van andere logicas, zoals de propositielogica of de predicatenlogica. Er worden extra operatoren gebruikt, die modaliteiten uitdrukken. Oorspronkelijk waren dit de modaliteiten het is mogelijk dat en het is noodzakelijk dat, maar later zijn talloze andere modaliteiten voorgesteld, om tijd, geloof, onzekerheid, enzovoorts te kunnen weergeven. Een werk dat aan de basis ligt van de modale logica's, is A Survey of Symbolic Logic van de Amerikaanse filosoof Clarence Irving Lewis (1918). |
| lexicalization | nld: modale logica |
| Norwegian Nynorsk | |
| has gloss | nno: Ein modal logikk er ein logikk for å handsame modalitetar: konsept som moglegheit, umoglegheit og naudsyn. Logikkar for å handsame ei rekkje andre idéar, som etter kvart, tidlegare, kan, kunne, skulle, burde og må, vert òg også kalt modale logikkar, sidan dei kan handsamast på liknande måtar. |
| lexicalization | nno: Modallogikk |
| Norwegian | |
| has gloss | nor: En modal logikk er en logikk for å behandle modaliteter: konsepter som mulighet, umulighet og nødvendighet. Logikker for å behandle en rekke andre ideer, som etter hvert, tidligere, kan, kunne, skulle, burde og må, blir også kalt modale logikker, siden de kan behandles på lignende måter. |
| lexicalization | nor: Modallogikk |
| Polish | |
| has gloss | pol: Logika modalna – teoria logiczna, która bada pojęcia możliwości, konieczności i ich wariantów. Niekiedy termin "logika modalna" rozumie się szerszej, włączając w jego obręb logiki epistemiczne, logiki temporalne, logiki deontyczne i logiki programów - niniejszy artykuł omawia jedynie logiki modalne w sensie wąskim (logiki modalne aletyczne) na przykładzie systemu S5. |
| lexicalization | pol: Logika modalna |
| Portuguese | |
| has gloss | por: Lógica modal se refere a qualquer sistema de lógica formal que procure lidar com modalidades (tratar de modos quanto a tempo, possibilidade, probabilidade, etc.). Tradicionalmente, as modalidades mais comuns são possibilidade e necessidade. Lógicas para lidar com outros termos relacionados, como probabilidade, eventualidade, padronização, poder, poderia, deve, são por extensão também chamadas de lógicas modais, já que elas podem ser tratadas de maneira similar. |
| lexicalization | por: Logica modal |
| lexicalization | por: lógica modal |
| Russian | |
| has gloss | rus: Модальная логика — логика в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности (модальные операторы). Модальности бывают разные; наиболее распространены временны́е («когда-то в будущем», «всегда в прошлом», «всегда» и т. д.) и пространственные («здесь», «где-то», «близко» и т. д.). Например, модальная логика способна оперировать утверждениями типа «Москва всегда была столицей России» или «Санкт-Петербург, когда-то в прошлом, был столицей России», которые невозможно или крайне сложно выразить в немодальном языке. Кроме временных и пространственных модальностей есть и другие, например «известно, что» (логика знания) или «можно доказать, что» (логика доказуемости). |
| lexicalization | rus: Модальная логика |
| Slovak | |
| has gloss | slk: Modálna logika je odvetvie logiky, ktoré skúma logickú štruktúru nutnosti a možnosti, s ktorými klasická výroková alebo predikátová logika nedokážu plnohodnotne narábať. Napríklad výrok :"Je možné, že slnko práve prestalo svietiť." je z hladiska klasickej výrokovej logiky atomárny. To znamená, že výroková logika ho chápe ako ďalej nedeliteľný celok a nezaujíma sa o jeho vnútornú štruktúru. Modálna logika ide hlbšie a rozlišuje v tomto výroku dve komponenty: takzvanú logickú modalitu "Je možné, že" a samotný výrok pod modalitou "Slnko práve prestalo svietiť". |
| lexicalization | slk: modálna logika |
| Castilian | |
| has gloss | spa: Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales. Los operadores modales son expresiones que califican la verdad de los juicios. Por ejemplo, en la oración "es necesario que 2+2=4", la expresión "es necesario que" es un operador modal que califica de necesaria a la verdad del juicio "2+2=4". |
| lexicalization | spa: Logica modal |
| lexicalization | spa: Lógica modal |
| Swedish | |
| has gloss | swe: Modallogik är den gren av logiken där man studerar modaliteterna – alltså möjlighet, omöjlighet, nödvändighet och kontingens. Ibland räknas även de deontiska begreppen in under modallogiken. |
| lexicalization | swe: Modal logik |
| lexicalization | swe: Modallogik |
| Ukrainian | |
| has gloss | ukr: Мода́льна ло́гіка — це розділ сучасної логіки, де вивчаються модальні висловлювання та їхні відношення в структурі міркувань. Залежно від того, які види модальних висловлювань досліджуються, виділяють різні види модальних логік. Найбільш поширені часові («колись в майбутньому», «завжди у минулому», «завжди» і ін.) і просторові («тут», «десь», «близько» і ін.). Наприклад, модальна логіка здатна оперувати затвердженнями типу «Київ завжди був столицею України» або «Харків колись у минулому був столицею України», які неможливо або украй складно виразити в немодальній мові. Окрім тимчасових і просторових модальностей є та інші, наприклад «відомо, що» (логіка знання) або «можна довести, що» |
| lexicalization | ukr: Модальна логіка |
| Chinese | |
| has gloss | zho: 模态逻辑，或者叫(不很常见)内涵逻辑，是处理用模态如“可能”、“或许”、“可以”、“一定”、“必然”等限定的句子的逻辑。模态逻辑可以用语义的“内涵性”来描述其特征: 复杂公式的真值不能由子公式的真值来决定的。允许这种决定性的逻辑是“外延性的”，经典逻辑就是外延性的例子。模态算子不能使用外延语义来形式化: “乔治·布什是美国总统”和“2 + 2 = 4”是真的，但是“乔治·布什必然是美国总统”是假的，而“2 + 2 = 4 是必然的”是真的。 |
| lexicalization | zho: 模态逻辑 |
| Links | |
|---|---|
| similar | e/Modal logic |
| Media | |
|---|---|
| media:img | Carré aléthique.svg |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint
