The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.

LOGICISM AND PARADOX II.

Source

Abstract

This is a sequel to my article devoted to the development of Fregean logicism. The first part dealt with its 'rise and fall', i. e. its initial success in analyzing the concept of number and its subsequent fall at Russell's antinomy. In the course of the previous article we did not (have to) leave the area of the classical Fregean research. On the contrary, Russell's paradox and its analysis bring us now to the second part of the whole story - the (alleged) resurrection of the logistic idea in the works of Crispin Wright and George Boolos. We find ourselves in the middle of a neo-Fregean - structuralistic - approach based on the techniques of modern model-theoretical logic and (meta)mathematics. We do not want to criticize it yet, but only present some of the most important results such as the consistency of Hume's Principle or categoricity of Frege's (and Peano's) second-order arithmetic.

Accessibility options

You can change the active elements on the page (buttons and links) by pressing a combination of keys:

TAB go to the next element

SHIFT + TAB go to the previous element

Financed by the National Centre for Research and Development under grant No. SP/I/1/77065/10 by the strategic scientific research and experimental development program:
SYNAT - “Interdisciplinary System for Interactive Scientific and Scientific-Technical Information”.