In this article I offer an explicating interpretation of the procedure of content recarving as described by Frege in §64 of the Foundations of Arithmetic. I argue that the procedure of content recarving may be interpreted as an operation that while restricting the subject matter of a sentence, performs a generalization on what the sentence says about its subject matter. The characterization of the recarving operation is given in the setting of Yablo’s theory of subject matter and it is based (...) on the relation of determination between properties. The main advantage of the proposal is its generality, for it is applicable not just to the case of abstraction principles. (shrink)

In this paper, I present two crucial problems for Wolff’s metaphysics of quantities: 1) The structural identification problem and 2) the Pythagorean problem. The former is the problem of uniquely defining a general algebraic structure for all quantities; the latter is the problem of distinguishing physical quantitative structure from mathematical quantities. While Wolff seems to have a consistent and elegant solution to the first problem, the second problem may put in jeopardy his metaphysical view on quantities as spaces. After drawing (...) a parallelism between Wolff’s treatment of quantitative structures and Frege’s conception of quantitative domain, I propose a solution to the Pythagorean problem based on the idea that mathematical structures are the result of applying an abstraction principle on physical quantitative structures. In particular, I propose the view that abstraction may be seen as the operation of structure determination which transforms concrete physical quantities (i.e. undetermined structures) into abstract mathematical quantities (fully determined structures of thin and shallow objects). (shrink)

A famous passage in Section 64 of Frege’s Grundlagen may be seen as a justification for the truth of abstraction principles. The justification is grounded in the procedureofcontent recarvingwhich Frege describes in the passage. In this paper I argue that Frege’sprocedure of content recarving while possibly correct in the case of first-order equivalencerelations is insufficient to grant the truth of second-order abstractions. Moreover, I propose apossible way of justifying second-order abstractions by referring to the operation of contentrecarving and I show (...) that the proposal relies to a certain extent on the Basic Law V. Therefore,if we are to justify the truth of second-order abstractions by invoking the content recarvingprocedure we are committed to a special status of some instances of the Basic Law V and thusto a special status of extensions of concepts as abstract objects. (shrink)

According to the Bad Company objection, the fact that Frege’s infamous Basic Law V instantiates the general definitional pattern of higher-order abstraction principles is a good reason to doubt the soundness of this sort of definitions. In this paper I argue against this objection by showing that the definitional pattern of abstraction principles – as extrapolated from §64 of Frege’s Grundlagen– includes an additional requirement (which I call the specificity condition) that is not satisfied by the Basic Law V while (...) is satisfied by other higher-order abstractions such as Hume’s Principle. I also show that the failure of this additional requirement in the case of Basic Law V is engendered by an essential feature of Frege’s conception of logic and thus that Frege himself should not have regarded the Basic Law V as a definition by abstraction. (shrink)

Review of the book "Paraconsistent Logic: Consistency, Contradiction, and Negation by Water Carnielli and Marcelo Coniglio.