Concept
María Manzano
Overview
María Gracia Manzano Arjona (born 1950) is a Spanish philosopher specializing in mathematical logic and model theory.
Manzano earned her Ph.D. in 1977 from the University of Barcelona. Her dissertation, Sistemas generales de la lógica de segundo orden [General systems of second-order logic], was supervised by Jesús Mosterín. She is a professor of logic and the philosophy of science at the University of Salamanca.
She is the author of several books on logic and model theory:
Manzano, María (1989), Teoría de modelos (in Spanish), Alianza Editorial, ISBN 9788420681269
Model Theory, Oxford Logic Guides, vol. 37, translated by De Queiroz, Ruy, Oxford University Press, 1999 [1989], ISBN 978-0198538516
Manzano, María (1996), Extensions of First Order Logic, Cambridge Tracts in Theoretical Computer Science, vol. 19, Cambridge University Press, ISBN 0521354358
Manzano, María; Huertas, Antonia (2004), Lógica para principiantes (in Spanish), Alianza Editorial
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Possible passages
Found by search and not yet checked by a person; they may only mention the idea in passing.
This is nothing else than the necessity of abstract logic, which is the presupposition involved in the very fact of interrelated existence as disclosed in each immediate occasion of experience. The key to the pattern means this fact:—that from a select set of those general conditions, exemplified in any one and the same occasion, a pattern involving an infinite variety of other such conditions, also exemplified in…
Alfred North Whitehead, Science and the modern world
States what María Manzano is.
Meanwhile every mathematical proposition remains always a universal truth, which is valid for innumerable particular cases; and a graduated process from the simple to the complicated propositions which are to be deduced from them, is also essential to mathematics; therefore, in every respect mathematics is a science. The completeness of a science as such, that is, in respect of form, consists in there being as much…
Arthur Schopenhauer, The World as Will and Idea
States what María Manzano is.
All rational cognition is, again, based either on conceptions, or on the construction of conceptions. The former is termed philosophical, the latter mathematical. I have already shown the essential difference of these two methods of cognition in the first chapter.
Immanuel Kant, The Critique of Pure Reason
States what María Manzano is.
Related ideas
- Mathematical logic
- Model theory
- Second-order logic
- Philosophy of science
- Oxford University Press
- University of Salamanca
- Cambridge University Press
Place in the tradition
Part of Second-order logic.