Logique et analyse, Issues 176-180

A₁ analysis applications argument arithmetic assumption axiom of choice axioms belief Catastrophe Theory cognitive conclusion consequence consider consistent construct context curve deductive proofs defined definition Descartes diagrams domain ematics empirical epistemic objectives epistemic virtues example existence explain fact fiction figure finite formal formula Frege geometry given Gödel Hilbert idea inference infinite interpretation intuition Lemma logical system Maddy Maddy's math mathematical claim mathematical concepts mathematical objects mathematical practice mathematical proof mathematicians maximal means methods negation notion ontological paraconsistent logic Penelope Maddy philosophy of mathematics physical predicate premises principle probabilistic proofs problem properties propositional logic quantifier quaternions question Quine Quine's Quinean reason reference rejection of probabilistic relations relevance result rules rules of inference scientific self-reference self-referential semantics sense sentences sequence set theory set-theoretic situation Situation Semantics theorem tion triangle true truth value University Press upward closed Yablo's paradox