An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org:8891

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.

Property Value
dbo: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)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 8837457 (xsd:integer)
dbo:wikiPageLength
  • 7496 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1077121835 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
gold:hypernym
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)
rdfs:label
  • Logique de l'action (fr)
  • Imperative logic (en)
  • 命令論理 (ja)
  • Lógica imperativa (pt)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License