Matches in SemOpenAlex for { <https://semopenalex.org/work/W3113238031> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W3113238031 endingPage "90" @default.
- W3113238031 startingPage "77" @default.
- W3113238031 abstract "The present endeavour aims at the clarification of the concept of the logical consequence. Initially we investigate the question: How was the concept of logical consequence discovered by the medieval philosophers? Which ancient philosophical foundations were necessary for the discovery of the logical relation of consequence and which explicit medieval contributions, such as the notion of the formality (formal validity), led to its discovery. Secondly we discuss which developments of modern philosophy effected the turn from the medieval concept of logical consequence to its most recent conceptions, such as the semantic, syntactic, axiomatic and natural deductive approaches? Thirdly we examine which are the similarities and the differences between the logical concepts of consequence, inference, implication and entailment? Furthermore, we ask what kind of relation signifies the concept of the logical consequence? That is to say, which is the analytic definition of the consequence relation R between the premises p1, p2...pn and the conclusion c of a formally valid argument? Finally, we focus on the respective answers given through the developments in proof theory by David Hilbert and Gerhard Gentzen." @default.
- W3113238031 created "2020-12-21" @default.
- W3113238031 creator A5026638197 @default.
- W3113238031 date "2020-12-14" @default.
- W3113238031 modified "2023-09-25" @default.
- W3113238031 title "The logical relation of consequence" @default.
- W3113238031 hasPublicationYear "2020" @default.
- W3113238031 type Work @default.
- W3113238031 sameAs 3113238031 @default.
- W3113238031 citedByCount "0" @default.
- W3113238031 crossrefType "journal-article" @default.
- W3113238031 hasAuthorship W3113238031A5026638197 @default.
- W3113238031 hasConcept C111472728 @default.
- W3113238031 hasConcept C125773388 @default.
- W3113238031 hasConcept C134752490 @default.
- W3113238031 hasConcept C138885662 @default.
- W3113238031 hasConcept C167729594 @default.
- W3113238031 hasConcept C185592680 @default.
- W3113238031 hasConcept C2524010 @default.
- W3113238031 hasConcept C25343380 @default.
- W3113238031 hasConcept C2777159308 @default.
- W3113238031 hasConcept C33923547 @default.
- W3113238031 hasConcept C3746660 @default.
- W3113238031 hasConcept C41008148 @default.
- W3113238031 hasConcept C41895202 @default.
- W3113238031 hasConcept C55493867 @default.
- W3113238031 hasConcept C74727942 @default.
- W3113238031 hasConcept C74992188 @default.
- W3113238031 hasConcept C77088390 @default.
- W3113238031 hasConcept C98184364 @default.
- W3113238031 hasConceptScore W3113238031C111472728 @default.
- W3113238031 hasConceptScore W3113238031C125773388 @default.
- W3113238031 hasConceptScore W3113238031C134752490 @default.
- W3113238031 hasConceptScore W3113238031C138885662 @default.
- W3113238031 hasConceptScore W3113238031C167729594 @default.
- W3113238031 hasConceptScore W3113238031C185592680 @default.
- W3113238031 hasConceptScore W3113238031C2524010 @default.
- W3113238031 hasConceptScore W3113238031C25343380 @default.
- W3113238031 hasConceptScore W3113238031C2777159308 @default.
- W3113238031 hasConceptScore W3113238031C33923547 @default.
- W3113238031 hasConceptScore W3113238031C3746660 @default.
- W3113238031 hasConceptScore W3113238031C41008148 @default.
- W3113238031 hasConceptScore W3113238031C41895202 @default.
- W3113238031 hasConceptScore W3113238031C55493867 @default.
- W3113238031 hasConceptScore W3113238031C74727942 @default.
- W3113238031 hasConceptScore W3113238031C74992188 @default.
- W3113238031 hasConceptScore W3113238031C77088390 @default.
- W3113238031 hasConceptScore W3113238031C98184364 @default.
- W3113238031 hasIssue "2" @default.
- W3113238031 hasLocation W31132380311 @default.
- W3113238031 hasOpenAccess W3113238031 @default.
- W3113238031 hasPrimaryLocation W31132380311 @default.
- W3113238031 hasRelatedWork W121551495 @default.
- W3113238031 hasRelatedWork W1513919859 @default.
- W3113238031 hasRelatedWork W179619562 @default.
- W3113238031 hasRelatedWork W1978929415 @default.
- W3113238031 hasRelatedWork W197983291 @default.
- W3113238031 hasRelatedWork W1987976586 @default.
- W3113238031 hasRelatedWork W2012137655 @default.
- W3113238031 hasRelatedWork W2025229761 @default.
- W3113238031 hasRelatedWork W2065513194 @default.
- W3113238031 hasRelatedWork W2074194547 @default.
- W3113238031 hasRelatedWork W2227834750 @default.
- W3113238031 hasRelatedWork W2319218087 @default.
- W3113238031 hasRelatedWork W2718174192 @default.
- W3113238031 hasRelatedWork W2741852637 @default.
- W3113238031 hasRelatedWork W275553873 @default.
- W3113238031 hasRelatedWork W3021361853 @default.
- W3113238031 hasRelatedWork W3085749369 @default.
- W3113238031 hasRelatedWork W3110735311 @default.
- W3113238031 hasRelatedWork W84738880 @default.
- W3113238031 hasRelatedWork W2476550674 @default.
- W3113238031 hasVolume "3" @default.
- W3113238031 isParatext "false" @default.
- W3113238031 isRetracted "false" @default.
- W3113238031 magId "3113238031" @default.
- W3113238031 workType "article" @default.