On the consistency of the first-order portion of Frege's logical system
From MaRDI portal
Publication:1098830
DOI10.1305/NDJFL/1093636853zbMath0637.03005DBLPjournals/ndjfl/Parsons87OpenAlexW2003673536WikidataQ56659119 ScholiaQ56659119MaRDI QIDQ1098830
Publication date: 1987
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093636853
course-of-value operatorfirst-order part of Frege's logical systemFrege's abstraction principleWertverlaufsoperator
Related Items (20)
Frege, Boolos, and logical objects ⋮ Predicativity, the Russell-Myhill paradox, and Church's intensional logic ⋮ FRAGMENTS OF FREGE’SGRUNDGESETZEAND GÖDEL’S CONSTRUCTIBLE UNIVERSE ⋮ Grundgesetze der Arithmetik I \S\S 29-32 ⋮ THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION ⋮ Positive Frege and its Scott‐style semantics ⋮ The Consistency of predicative fragments of frege’s grundgesetze der arithmetik ⋮ Natural numbers and natural cardinals as abstract objects: A partial reconstruction of Frege's \textit{Grundgesetze} in object theory ⋮ Fregean quantification theory ⋮ Predicative logic and formal arithmetic ⋮ On a consistent subsystem of Frege's Grundgesetze ⋮ Consistency, models, and soundness ⋮ Neo-Fregeanism: an embarrassment of riches ⋮ First-order Frege theory is undecidable ⋮ What is Neologicism? ⋮ On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze ⋮ The finitistic consistency of Heck's predicative Fregean system ⋮ The development of arithmetic in Frege'sGrundgesetze der arithmetik ⋮ Amending Frege's \textit{Grundgesetze der Arithmetik} ⋮ Frege's permutation argument revisited
This page was built for publication: On the consistency of the first-order portion of Frege's logical system
