Matches in SemOpenAlex for { <https://semopenalex.org/work/W169993889> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W169993889 abstract "’ is a theorem’ and ‘’ is logically true’ are special cases. In the early 1970s Tim gave a formative series of lectures emphasizing how proofs are to be understood as perfected arguments, in Aristotle’s sense. The present discussion of verication and falsication is fully in the inferentialist spirit of Tim’s emphases. The aim is to render even the notions ‘’ is true’ and ‘’ is false’ as essentially relational and inferential. A sentence’s truth-value is determined relative to collections of rules of inference that constitute an interpretation. Moreover, truthmakers and falsity-makers are themselves proof-like objects, encoding the inferential process of evaluation involved. The inference rules involved in the determination of truth-value are almost identical to those involved in securing the transmission of truth from premises to conclusion of a valid argument. We shall see how smoothly one can ‘morph’ the former into the latter." @default.
- W169993889 created "2016-06-24" @default.
- W169993889 creator A5051746616 @default.
- W169993889 date "2009-01-01" @default.
- W169993889 modified "2023-09-27" @default.
- W169993889 title "Inferential Semantics for First-Order Logic: Motivating Rules of Inference from Rules of Evaluation" @default.
- W169993889 cites W1963521012 @default.
- W169993889 cites W1997053644 @default.
- W169993889 cites W2068187849 @default.
- W169993889 cites W2095144196 @default.
- W169993889 hasPublicationYear "2009" @default.
- W169993889 type Work @default.
- W169993889 sameAs 169993889 @default.
- W169993889 citedByCount "1" @default.
- W169993889 countsByYear W1699938892013 @default.
- W169993889 crossrefType "journal-article" @default.
- W169993889 hasAuthorship W169993889A5051746616 @default.
- W169993889 hasConcept C108710211 @default.
- W169993889 hasConcept C111472728 @default.
- W169993889 hasConcept C119857082 @default.
- W169993889 hasConcept C138885662 @default.
- W169993889 hasConcept C154945302 @default.
- W169993889 hasConcept C184337299 @default.
- W169993889 hasConcept C185592680 @default.
- W169993889 hasConcept C199360897 @default.
- W169993889 hasConcept C2524010 @default.
- W169993889 hasConcept C2776214188 @default.
- W169993889 hasConcept C2776291640 @default.
- W169993889 hasConcept C2777685122 @default.
- W169993889 hasConcept C33923547 @default.
- W169993889 hasConcept C3746660 @default.
- W169993889 hasConcept C41008148 @default.
- W169993889 hasConcept C46274116 @default.
- W169993889 hasConcept C527412718 @default.
- W169993889 hasConcept C55493867 @default.
- W169993889 hasConcept C98184364 @default.
- W169993889 hasConceptScore W169993889C108710211 @default.
- W169993889 hasConceptScore W169993889C111472728 @default.
- W169993889 hasConceptScore W169993889C119857082 @default.
- W169993889 hasConceptScore W169993889C138885662 @default.
- W169993889 hasConceptScore W169993889C154945302 @default.
- W169993889 hasConceptScore W169993889C184337299 @default.
- W169993889 hasConceptScore W169993889C185592680 @default.
- W169993889 hasConceptScore W169993889C199360897 @default.
- W169993889 hasConceptScore W169993889C2524010 @default.
- W169993889 hasConceptScore W169993889C2776214188 @default.
- W169993889 hasConceptScore W169993889C2776291640 @default.
- W169993889 hasConceptScore W169993889C2777685122 @default.
- W169993889 hasConceptScore W169993889C33923547 @default.
- W169993889 hasConceptScore W169993889C3746660 @default.
- W169993889 hasConceptScore W169993889C41008148 @default.
- W169993889 hasConceptScore W169993889C46274116 @default.
- W169993889 hasConceptScore W169993889C527412718 @default.
- W169993889 hasConceptScore W169993889C55493867 @default.
- W169993889 hasConceptScore W169993889C98184364 @default.
- W169993889 hasLocation W1699938891 @default.
- W169993889 hasOpenAccess W169993889 @default.
- W169993889 hasPrimaryLocation W1699938891 @default.
- W169993889 hasRelatedWork W1486711177 @default.
- W169993889 hasRelatedWork W1504915799 @default.
- W169993889 hasRelatedWork W1517076182 @default.
- W169993889 hasRelatedWork W1540581533 @default.
- W169993889 hasRelatedWork W1586636150 @default.
- W169993889 hasRelatedWork W1616000029 @default.
- W169993889 hasRelatedWork W164693921 @default.
- W169993889 hasRelatedWork W2041049045 @default.
- W169993889 hasRelatedWork W2050219405 @default.
- W169993889 hasRelatedWork W2053222057 @default.
- W169993889 hasRelatedWork W2475768487 @default.
- W169993889 hasRelatedWork W2545022179 @default.
- W169993889 hasRelatedWork W2761508096 @default.
- W169993889 hasRelatedWork W2995009506 @default.
- W169993889 hasRelatedWork W2998715245 @default.
- W169993889 hasRelatedWork W3006626738 @default.
- W169993889 hasRelatedWork W3023638483 @default.
- W169993889 hasRelatedWork W3114529159 @default.
- W169993889 hasRelatedWork W3131448751 @default.
- W169993889 hasRelatedWork W1732086550 @default.
- W169993889 isParatext "false" @default.
- W169993889 isRetracted "false" @default.
- W169993889 magId "169993889" @default.
- W169993889 workType "article" @default.