Ayer sees the statements of geometry as
Ayer sees the statements of geometry as
We can take a statement of geometry (like "Parallel lines never meet") two ways:
PURE GEOMETRY is concerned with whether the statement follows from the axioms of the system in question (e.g., the Euclidean axioms). Pure geometry is part of mathematics -- and hence analytic.
APPLIED GEOMETRY is concerned with the properties of physical space. Applied geometry is part of physics -- and hence synthetic (and empirical).
Ayer sees the statements of geometry as
We can take a statement of geometry (like "Parallel lines never meet") two ways:
PURE GEOMETRY is concerned with whether the statement follows from the axioms of the system in question (e.g., the Euclidean axioms). Pure geometry is part of mathematics -- and hence analytic.
APPLIED GEOMETRY is concerned with the properties of physical space. Applied geometry is part of physics -- and hence synthetic (and empirical).
Ayer sees the statements of geometry as
We can take a statement of geometry (like "Parallel lines never meet") two ways:
PURE GEOMETRY is concerned with whether the statement follows from the axioms of the system in question (e.g., the Euclidean axioms). Pure geometry is part of mathematics -- and hence analytic.
APPLIED GEOMETRY is concerned with the properties of physical space. Applied geometry is part of physics -- and hence synthetic (and empirical).