Québec studies in the philosophy of science
Kluwer Academic Publishers, 1995 - History - 320 pages
This is the first of two volumes of essays dedicated to the eminent and pioneering logician, Hugues Leblanc. The volumes comprise the first, full-scale, English-language collection of studies in the philosophy and history of science from the French and English culture of Québec. They will be appreciated as a major contribution to North-American philosophy of science. Audience: The first volume is of particular interest to students and scholars engaged in research into the philosophical foundations and history of logic, mathematics and physics.
16 pages matching axiomatic method in this book
Results 1-3 of 16
What people are saying - Write a review
We haven't found any reviews in the usual places.
FRANCOIS LEPAGE Partial Propositional Logic
SERGE LAPIERRE Generalized Quantifiers and Inferences
MARIE LA PALME REYES JOHN MACNAMARA and GONZALO
16 other sections not shown
Abnormal instances algebraic arithmetic atomic propositions attractor axiom schema axiom system axiomatic axiomatic method Bernays Boolean branched interpretation calculus Cantor causal classical complete concept consistency constraints constructive cp-laws Dedekind defined definition denumerable determined domain effinite elements English translation entities example existence expressed fact finite number formal formulas Free Logic Frege function geometry given Helmholtz hidden variables hidden variables theories Hilbert ideal inference infinite descent Kronecker Kronecker's laws Lemma many-worlds interpretation mathematics Mathematische means natural numbers negation notion number theory objects partial logic philosophical realism philosophy of mathematics Philosophy of Science photon physical polarizer possible predicates primitive principle probability proof properties propositional form Putnam quantifiers Quantum Mechanics real numbers realism reference relation Reprinted result Russell Russell's semantics sense sentence set theory statement structure subobject classifier theorem things tion topos toposes true truth-value type theory Uber University valid Weyl Zermelo