Ideas of Edwin D. Mares, by Theme

[New Zealand, fl. 2001, Lecturer at Victoria University, Wellington, New Zealand.]

idea number gives full details    |    back to list of philosophers    |     expand these ideas
1. Philosophy / E. Nature of Metaphysics / 6. Against Metaphysics
After 1903, Husserl avoids metaphysical commitments
2. Reason / A. Nature of Reason / 9. Limits of Reason
Inconsistency doesn't prevent us reasoning about some system
4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic
Intuitionist logic looks best as natural deduction
Intuitionism as natural deduction has no rule for negation
4. Formal Logic / E. Nonclassical Logics / 3. Many-Valued Logic
Three-valued logic is useful for a theory of presupposition
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
Material implication (and classical logic) considers nothing but truth values for implications
In classical logic the connectives can be related elegantly, as in De Morgan's laws
5. Theory of Logic / D. Assumptions for Logic / 1. Bivalence
Excluded middle standardly implies bivalence; attacks use non-contradiction, De M 3, or double negation
Standard disjunction and negation force us to accept the principle of bivalence
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
The connectives are studied either through model theory or through proof theory
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
Many-valued logics lack a natural deduction system
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
Situation semantics for logics: not possible worlds, but information in situations
5. Theory of Logic / K. Features of Logics / 2. Consistency
Consistency is semantic, but non-contradiction is syntactic
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Number / a. Axioms for numbers
The truth of the axioms doesn't matter for pure mathematics, but it does for applied
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
Mathematics is relations between properties we abstract from experience
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
For intuitionists there are not numbers and sets, but processes of counting and collecting
10. Modality / D. Knowledge of Modality / 2. A Priori Contingent
Light in straight lines is contingent a priori; stipulated as straight, because they happen to be so
12. Knowledge Sources / A. A Priori Knowledge / 6. A Priori from Reason
Aristotelians dislike the idea of a priori judgements from pure reason
12. Knowledge Sources / C. Rationalism / 1. Rationalism
Empiricists say rationalists mistake imaginative powers for modal insights
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / a. Coherence as justification
The most popular view is that coherent beliefs explain one another
14. Science / B. Scientific Theories / 3. Instrumentalism
Operationalism defines concepts by our ways of measuring them
18. Thought / D. Concepts / 3. Structure of Concepts / c. Classical concepts
The essence of a concept is either its definition or its conceptual relations?
18. Thought / D. Concepts / 5. Origin of Concepts / b. Empirical concepts
Aristotelian justification uses concepts abstracted from experience
19. Language / C. Semantics / 1. Semantics
In 'situation semantics' our main concepts are abstracted from situations
19. Language / C. Semantics / 5. Possible Worlds Semantics
Possible worlds semantics has a nice compositional account of modal statements
19. Language / E. Propositions / 3. Types of Proposition
Unstructured propositions are sets of possible worlds; structured ones have components
26. Natural Theory / B. Concepts of Nature / 3. Space / b. Points in space
Maybe space has points, but processes always need regions with a size