| dbo:abstract
|
- A modal connective (or modal operator) is a logical connective for modal logic. It is an operator which forms propositions from propositions. In general, a modal operator has the "formal" property of being non-truth-functional in the following sense: The truth-value of composite formulae sometimes depend on factors other than the actual truth-value of their components. In the case of alethic modal logic, a modal operator can be said to be truth-functional in another sense, namely, that of being sensitive only to the distribution of truth-values across possible worlds, actual or not. Finally, a modal operator is "intuitively" characterized by expressing a modal attitude (such as necessity, possibility, belief, or knowledge) about the proposition to which the operator is applied. See also Garson, James, "Modal Logic", The Stanford Encyclopedia of Philosophy (Summer 2021 Edition), Edward N. Zalta (ed.), URL = <https://plato.stanford.edu/archives/sum2021/entries/logic-modal/> (en)
- Operatory modalne to symbole używane w różnego typu logikach modalnych, nadające swoim argumentom specjalne znaczenie. W „zwyczajnej” logice operatory to:
* przeczenie
* alternatywa
* koniunkcja W logikach modalnych wprowadza się nowe operatory, takie jak np.:
* – jest konieczne, że
* – jest możliwe, że
* – kiedyś nastąpi
* – zawsze będzie zachodziło
* – będzie zachodziło tak długo, aż nie zajdzie przy czym na pewno kiedyś zajdzie (pl)
- Um operador modal (ou conectivo modal) é um conectivo lógico para a lógica modal. É um operador que forma proposições a partir de outras proposições. Em geral, um operador modal tem a propriedade “formal” de ser uma função não-veritativa, e é “intuitivamente” caracterizado pela expressão de uma atitude modal (como a necessidade, possibilidade, crença ou conhecimento) sobre a proposição a que o operador é aplicado. (pt)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 4661 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:bot
| |
| dbp:date
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Operatory modalne to symbole używane w różnego typu logikach modalnych, nadające swoim argumentom specjalne znaczenie. W „zwyczajnej” logice operatory to:
* przeczenie
* alternatywa
* koniunkcja W logikach modalnych wprowadza się nowe operatory, takie jak np.:
* – jest konieczne, że
* – jest możliwe, że
* – kiedyś nastąpi
* – zawsze będzie zachodziło
* – będzie zachodziło tak długo, aż nie zajdzie przy czym na pewno kiedyś zajdzie (pl)
- Um operador modal (ou conectivo modal) é um conectivo lógico para a lógica modal. É um operador que forma proposições a partir de outras proposições. Em geral, um operador modal tem a propriedade “formal” de ser uma função não-veritativa, e é “intuitivamente” caracterizado pela expressão de uma atitude modal (como a necessidade, possibilidade, crença ou conhecimento) sobre a proposição a que o operador é aplicado. (pt)
- A modal connective (or modal operator) is a logical connective for modal logic. It is an operator which forms propositions from propositions. In general, a modal operator has the "formal" property of being non-truth-functional in the following sense: The truth-value of composite formulae sometimes depend on factors other than the actual truth-value of their components. In the case of alethic modal logic, a modal operator can be said to be truth-functional in another sense, namely, that of being sensitive only to the distribution of truth-values across possible worlds, actual or not. Finally, a modal operator is "intuitively" characterized by expressing a modal attitude (such as necessity, possibility, belief, or knowledge) about the proposition to which the operator is applied. See also Ga (en)
|
| rdfs:label
|
- Operatore modale (it)
- Modal operator (en)
- Operator modalny (pl)
- Operador modal (pt)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
