Finitary arithmetic is a mathematical approach that emphasizes constructive methods, avoiding infinite concepts. It focuses on operations and proofs that…
Frege's Basic Law V aimed to ground arithmetic in logic. It states that the extension of a concept is defined…
The bad company objection challenges mathematical abstractionism by highlighting the difficulty in separating valid from invalid abstractions, especially concerning Frege's…