SwePub
Sök i SwePub databas

  Extended search

Träfflista för sökning "id:"swepub:oai:DiVA.org:kth-87470" "

Search: id:"swepub:oai:DiVA.org:kth-87470"

  • Result 1-1 of 1
Sort/group result
   
EnumerationReferenceCoverFind
1.
  • Cantwell, John (author)
  • The Logic of Conditional Negation
  • 2008
  • In: Notre Dame Journal of Formal Logic. - : Duke University Press. - 0029-4527 .- 1939-0726. ; 49:3, s. 245-260
  • Journal article (peer-reviewed)abstract
    • It is argued that the "inner" negation ∼ familiar from 3-valued logic can be interpreted as a form of "conditional" negation: ∼A is read 'A is false if it has a truth value'. It is argued that this reading squares well with a particular 3-valued interpretation of a conditional that in the literature has been seen as a serious candidate for capturing the truth conditions of the natural language indicative conditional (e.g., "If Jim went to the party he had a good time"). It is shown that the logic induced by the semantics shares many familiar properties with classical negation, but is orthogonal to both intuitionistic and classical negation: it differs from both in validating the inference from A→∼B to ∼(A→B).
  •  
Skapa referenser, mejla, bekava och länka
  • Result 1-1 of 1
Type of publication
journal article (1)
Type of content
peer-reviewed (1)
Author/Editor
Cantwell, John (1)
University
Royal Institute of Technology (1)
Language
English (1)
Research subject (UKÄ/SCB)
Humanities (1)
Year
2008 (1)

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Close

Copy and save the link in order to return to this view