Matches in SemOpenAlex for { <https://semopenalex.org/work/W186722147> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W186722147 endingPage "145" @default.
- W186722147 startingPage "123" @default.
- W186722147 abstract "This chapter weaves together two themes in the work of Nuel Belnap. The earlier theme was to propose conditions (such as conservativity and uniqueness) under which logical rules determine the meanings of the connectives they regulate. The later theme was the employment of semantics for the open future in the foundations of logics of agency. This chapter shows that on the reasonable criterion for fixing meaning of a connective by its rule governed deductive behavior, the natural deduction rules for classical propositional logic do not fix the interpretation embodied in the standard truth tables, but instead express an open future semantics related to Kripke’s possible worlds semantics for intuitionistic logic, called natural semantics. The basis for this connection has already been published, but this chapter reports new results on disjunction, and explores the relationships between natural semantics and supervaluations. A possible complaint against natural semantics is that its models may disobey the requirement that there be no branching in the past. It is shown, however, that the condition may be met by using a plausible reindividuation of temporal moments. The chapter also explains how natural semantics may be used to locate what is wrong with fatalistic arguments that purport to close the door on a open future. The upshot is that the open future is not just essential to our idea of agency, it is already built right into the foundations of classical logic." @default.
- W186722147 created "2016-06-24" @default.
- W186722147 creator A5008626990 @default.
- W186722147 date "2014-01-01" @default.
- W186722147 modified "2023-10-14" @default.
- W186722147 title "Open Futures in the Foundations of Propositional Logic" @default.
- W186722147 cites W1986532158 @default.
- W186722147 cites W2019197423 @default.
- W186722147 cites W2108516919 @default.
- W186722147 cites W4235810404 @default.
- W186722147 cites W4242312767 @default.
- W186722147 cites W4248743978 @default.
- W186722147 cites W4252009261 @default.
- W186722147 cites W4300955079 @default.
- W186722147 doi "https://doi.org/10.1007/978-3-319-01754-9_6" @default.
- W186722147 hasPublicationYear "2014" @default.
- W186722147 type Work @default.
- W186722147 sameAs 186722147 @default.
- W186722147 citedByCount "2" @default.
- W186722147 countsByYear W1867221472013 @default.
- W186722147 countsByYear W1867221472014 @default.
- W186722147 crossrefType "book-chapter" @default.
- W186722147 hasAuthorship W186722147A5008626990 @default.
- W186722147 hasBestOaLocation W1867221471 @default.
- W186722147 hasConcept C111472728 @default.
- W186722147 hasConcept C138885662 @default.
- W186722147 hasConcept C156325763 @default.
- W186722147 hasConcept C184337299 @default.
- W186722147 hasConcept C199343813 @default.
- W186722147 hasConcept C199360897 @default.
- W186722147 hasConcept C200065993 @default.
- W186722147 hasConcept C207648694 @default.
- W186722147 hasConcept C2777686260 @default.
- W186722147 hasConcept C33923547 @default.
- W186722147 hasConcept C41008148 @default.
- W186722147 hasConcept C61151141 @default.
- W186722147 hasConcept C62073222 @default.
- W186722147 hasConcept C71924100 @default.
- W186722147 hasConcept C9672783 @default.
- W186722147 hasConceptScore W186722147C111472728 @default.
- W186722147 hasConceptScore W186722147C138885662 @default.
- W186722147 hasConceptScore W186722147C156325763 @default.
- W186722147 hasConceptScore W186722147C184337299 @default.
- W186722147 hasConceptScore W186722147C199343813 @default.
- W186722147 hasConceptScore W186722147C199360897 @default.
- W186722147 hasConceptScore W186722147C200065993 @default.
- W186722147 hasConceptScore W186722147C207648694 @default.
- W186722147 hasConceptScore W186722147C2777686260 @default.
- W186722147 hasConceptScore W186722147C33923547 @default.
- W186722147 hasConceptScore W186722147C41008148 @default.
- W186722147 hasConceptScore W186722147C61151141 @default.
- W186722147 hasConceptScore W186722147C62073222 @default.
- W186722147 hasConceptScore W186722147C71924100 @default.
- W186722147 hasConceptScore W186722147C9672783 @default.
- W186722147 hasLocation W1867221471 @default.
- W186722147 hasOpenAccess W186722147 @default.
- W186722147 hasPrimaryLocation W1867221471 @default.
- W186722147 hasRelatedWork W114547669 @default.
- W186722147 hasRelatedWork W115908653 @default.
- W186722147 hasRelatedWork W1990759781 @default.
- W186722147 hasRelatedWork W2120539444 @default.
- W186722147 hasRelatedWork W2162832844 @default.
- W186722147 hasRelatedWork W2950641724 @default.
- W186722147 hasRelatedWork W3183535429 @default.
- W186722147 hasRelatedWork W4213076282 @default.
- W186722147 hasRelatedWork W70736499 @default.
- W186722147 hasRelatedWork W81797426 @default.
- W186722147 isParatext "false" @default.
- W186722147 isRetracted "false" @default.
- W186722147 magId "186722147" @default.
- W186722147 workType "book-chapter" @default.