Imperative logic is the field of logic concerned with imperatives. In contrast to declaratives, it is not clear whether imperatives denote propositions or more generally what role truth and falsity play in their semantics. Thus, there is almost no consensus on any aspect of imperative logic.
| Attributes | Values |
|---|
| rdfs:label
| - Logique de l'action (fr)
- Imperative logic (en)
- 命令論理 (ja)
- Lógica imperativa (pt)
|
| rdfs:comment
| - Imperative logic is the field of logic concerned with imperatives. In contrast to declaratives, it is not clear whether imperatives denote propositions or more generally what role truth and falsity play in their semantics. Thus, there is almost no consensus on any aspect of imperative logic. (en)
- L’inventeur de la logique de l’action (« logic of action ») est le finlandais Georg Henrik von Wright. Elle se comprend comme un calcul opérant avec des propositions désignant des actions. De façon très générale elle détermine les rapports logiques entre les différentes propositions désignant des actions : dans quel cas peut-on conclure d’une proposition p qu’elle est induite par une proposition q ou bien qu’une proposition r est vraie si et seulement si une proposition s est vraie ? (fr)
- 命令論理（めいれいろんり、英: Imperative logic）は、命令文に関する論理学の一分野である。命令文は命題を表すのか。あるいは、より一般的に、真偽は命令論理の意味論においてどんな役割を果たすのか。平叙文の場合とは対照的に、こうしたことはまったく明らかではない。それゆえ、命令論理のどんな側面についても、意見の一致はほとんど見られない。 (ja)
- Lógica imperativa é a área da lógica que trata de argumentos contendo sentenças em modo imperativo. Em contraste com as sentenças em modo declarativo, imperativas não são verdadeiras nem falsas. Isto resulta em uma quantidade de dilemas lógicos, quebra-cabeças, e paradoxos. Diferente da lógica clássica, quase não há consenso em nenhum aspecto da lógica imperativa. (pt)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| has abstract
| - Imperative logic is the field of logic concerned with imperatives. In contrast to declaratives, it is not clear whether imperatives denote propositions or more generally what role truth and falsity play in their semantics. Thus, there is almost no consensus on any aspect of imperative logic. (en)
- L’inventeur de la logique de l’action (« logic of action ») est le finlandais Georg Henrik von Wright. Elle se comprend comme un calcul opérant avec des propositions désignant des actions. De façon très générale elle détermine les rapports logiques entre les différentes propositions désignant des actions : dans quel cas peut-on conclure d’une proposition p qu’elle est induite par une proposition q ou bien qu’une proposition r est vraie si et seulement si une proposition s est vraie ? (fr)
- 命令論理（めいれいろんり、英: Imperative logic）は、命令文に関する論理学の一分野である。命令文は命題を表すのか。あるいは、より一般的に、真偽は命令論理の意味論においてどんな役割を果たすのか。平叙文の場合とは対照的に、こうしたことはまったく明らかではない。それゆえ、命令論理のどんな側面についても、意見の一致はほとんど見られない。 (ja)
- Lógica imperativa é a área da lógica que trata de argumentos contendo sentenças em modo imperativo. Em contraste com as sentenças em modo declarativo, imperativas não são verdadeiras nem falsas. Isto resulta em uma quantidade de dilemas lógicos, quebra-cabeças, e paradoxos. Diferente da lógica clássica, quase não há consenso em nenhum aspecto da lógica imperativa. (pt)
|
| gold:hypernym
| |
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage redirect
of | |
| is Wikipage disambiguates
of | |
| is foaf:primaryTopic
of | |
![[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)