4 ideas
15382 | Paraconsistent reasoning can just mean responding sensibly to inconsistencies [Jago] |
8923 | Numbers are identified by their main properties and relations, involving the successor function [MacBride] |
8926 | For mathematical objects to be positions, positions themselves must exist first [MacBride] |
467 | A virtue is a combination of intelligence, strength and luck [Ion] |