individuals are said to be identical whenever they necessarily encode the same properties, but to show that x and y are the same abstract individual, it suffices to show that x and y encode the same p...
It is now well accepted that logicism is false. The primitive notions and proper axioms of mathematical theories are not reducible to primitive logical notions and logical axioms. Even the idea underl...
I briefly rehearse a general characterization of logicism that includes projects within philosophical logic, linguistics, and artificial intelligence. After a digression in which I survey work in natu...
I briefly rehearse a general characterization of logicism that includes projects within philosophical logic, linguistics, and artificial intelligence. After a digression in which I survey work in natu...
I briefly rehearse a general characterization of logicism that includes projects within philosophical logic, linguistics, and artificial intelligence. After a digression in which I survey work in natu...
The paper starts with an examination and critique of Tarski's wellknown proposed explication of the notion of logical operation in the type structure over a given domain of individuals as one which is...
The paper starts with an examination and critique of Tarski's wellknown proposed explication of the notion of logical operation in the type structure over a given domain of individuals as one which is...
The paper starts with an examination and critique of Tarski's wellknown proposed explication of the notion of logical operation in the type structure over a given domain of individuals as one which is...