Matches in SemOpenAlex for { <https://semopenalex.org/work/W2803691331> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2803691331 endingPage "548" @default.
- W2803691331 startingPage "537" @default.
- W2803691331 abstract "Using the proof of Peirce’s Law [{(x → y) → x} → x] as an example, I show how bilateral tableau systems (or “2-sided trees”) are not only more economical than rival systems of logical proof, they also better reflect the reasoning Peirce actually gives for securing the law’s acceptance as an axiom. Moreover, bilateral proof trees are readily adapted to Peirce’s own graphical notation, producing a proof system in that notation that is even more efficient and easier to learn than Peirce’s system of permissions. This is in part due to the fact that Peirce’s graphical notation is similarly bilateral. In effect bilateral proof trees in Peirce’s notation can be understood as representing the space of outcomes for a game very much like what Peirce envisions as his endopereutic, and they embody insights of certain expressions of the pragmatic maxim that Peirce offers around 1905. Taken together, this suggests to me that Peirce would have embraced such a system of logic, and so I find it especially unfortunate that he was evidently unaware of Lewis Carroll’s pioneering efforts to develop tree-like proof systems to solve logical puzzles with multiliteral sorites." @default.
- W2803691331 created "2018-06-01" @default.
- W2803691331 creator A5044366080 @default.
- W2803691331 date "2018-01-01" @default.
- W2803691331 modified "2023-09-23" @default.
- W2803691331 title "Peirce and Proof: A View from the Trees" @default.
- W2803691331 cites W1530810966 @default.
- W2803691331 cites W2028148855 @default.
- W2803691331 cites W2331703979 @default.
- W2803691331 cites W2737675756 @default.
- W2803691331 cites W4205970686 @default.
- W2803691331 cites W4301852123 @default.
- W2803691331 doi "https://doi.org/10.1007/978-3-319-91376-6_49" @default.
- W2803691331 hasPublicationYear "2018" @default.
- W2803691331 type Work @default.
- W2803691331 sameAs 2803691331 @default.
- W2803691331 citedByCount "3" @default.
- W2803691331 countsByYear W28036913312019 @default.
- W2803691331 countsByYear W28036913312021 @default.
- W2803691331 crossrefType "book-chapter" @default.
- W2803691331 hasAuthorship W2803691331A5044366080 @default.
- W2803691331 hasConcept C108710211 @default.
- W2803691331 hasConcept C111472728 @default.
- W2803691331 hasConcept C111919701 @default.
- W2803691331 hasConcept C138885662 @default.
- W2803691331 hasConcept C167729594 @default.
- W2803691331 hasConcept C195653647 @default.
- W2803691331 hasConcept C2318724 @default.
- W2803691331 hasConcept C2524010 @default.
- W2803691331 hasConcept C2778572836 @default.
- W2803691331 hasConcept C33923547 @default.
- W2803691331 hasConcept C41008148 @default.
- W2803691331 hasConcept C41895202 @default.
- W2803691331 hasConcept C45357846 @default.
- W2803691331 hasConceptScore W2803691331C108710211 @default.
- W2803691331 hasConceptScore W2803691331C111472728 @default.
- W2803691331 hasConceptScore W2803691331C111919701 @default.
- W2803691331 hasConceptScore W2803691331C138885662 @default.
- W2803691331 hasConceptScore W2803691331C167729594 @default.
- W2803691331 hasConceptScore W2803691331C195653647 @default.
- W2803691331 hasConceptScore W2803691331C2318724 @default.
- W2803691331 hasConceptScore W2803691331C2524010 @default.
- W2803691331 hasConceptScore W2803691331C2778572836 @default.
- W2803691331 hasConceptScore W2803691331C33923547 @default.
- W2803691331 hasConceptScore W2803691331C41008148 @default.
- W2803691331 hasConceptScore W2803691331C41895202 @default.
- W2803691331 hasConceptScore W2803691331C45357846 @default.
- W2803691331 hasLocation W28036913311 @default.
- W2803691331 hasOpenAccess W2803691331 @default.
- W2803691331 hasPrimaryLocation W28036913311 @default.
- W2803691331 hasRelatedWork W1937180777 @default.
- W2803691331 hasRelatedWork W2068595239 @default.
- W2803691331 hasRelatedWork W2244976569 @default.
- W2803691331 hasRelatedWork W2803691331 @default.
- W2803691331 hasRelatedWork W2907293811 @default.
- W2803691331 hasRelatedWork W3209573655 @default.
- W2803691331 hasRelatedWork W4224221430 @default.
- W2803691331 hasRelatedWork W4379256211 @default.
- W2803691331 hasRelatedWork W838397816 @default.
- W2803691331 hasRelatedWork W918998774 @default.
- W2803691331 isParatext "false" @default.
- W2803691331 isRetracted "false" @default.
- W2803691331 magId "2803691331" @default.
- W2803691331 workType "book-chapter" @default.