An epistemology of art has seemed problematic mainly because of arguments claiming that an essential element of a theory of knowledge, truth, has no place in aesthetic contexts. For, if it is objectively true that something is beautiful, it seems to follow that the predicate “is beautiful” expresses a property – a view asserted by Plato but denied by Hume and Kant. But then, if the belief that something is beautiful is not objectively true, we cannot be said to know (...) that something is beautiful and the path to an epistemology of art is effectively blocked. The article places the existence aesthetic properties in the proper context; presents a logically correct argument for the existence of such properties; identifies strategies for responding to this argument; explains why objections by Hume, Kant, and several other philosophers fail; and sketches a realization account of beauty influenced by Hogarth. (shrink)

Definitions I presented in a previous article as part of a semantic approach in epistemology assumed that the concept of derivability from standard logic held across all mathematical and scientific disciplines. The present article argues that this assumption is not true for quantum mechanics (QM) by showing that concepts of validity applicable to proofs in mathematics and in classical mechanics are inapplicable to proofs in QM. Because semantic epistemology must include this important theory, revision is necessary. The one I propose (...) also extends semantic epistemology beyond the ‘hard’ sciences. The article ends by presenting and then refuting some responses QM theorists might make to my arguments. (shrink)

W.V.O. Quine has famously objected that (1) properties are philosophically suspect because (2) there is no entity without identity and (3) the synonymy criterion for property identity won't do because there's no such concept as synonymy. (2) and (3) may or may not be right but do not prove (1). I reply that Leiniz's Law handles property identity, as it does for everything else, then respond to a variety of objections and confusions.

Mathematics textbooks teach logical reasoning by example, a practice started by Euclid; while logic textbooks treat logic as a subject in its own right without practical application to mathematics. Stuck in the middle are students seeking mathematical proficiency and educators seeking to provide it. To assist them, the article explains in practical detail how to teach logic-based skills such as: making mathematical reasoning fully explicit; moving from step to step in a mathematical proof in logically correct ways; and checking to (...) make sure inferences are logically correct. The methodology can easily be extended beyond the four examples analyzed. (shrink)