Regions of Force: Peirce, Frege, Carroll, and Bilateral Proof Trees

DOI10.2143/LEA.251.0.3288643OpenAlexW3118303023MaRDI QIDQ5871533

Dave Beisecker

Publication date: 20 January 2023

Full work available at URL: https://digitalscholarship.unlv.edu/philosophy_fac_articles/85/

zbMATH Keywords

tableaudenialbilateralismPeircemethod of treesLewis Carolliconic logicexistential graphs (alpha)Frege's judgement stroke

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

John Cook Wilson's hanging plants: a contribution to the history of early logic trees

This page was built for publication: Regions of Force: Peirce, Frege, Carroll, and Bilateral Proof Trees