ASIGNATURA: LGICA 3 Axiomatizacin

Cuestionarios 2.

Nombre del estudiante: Brian Leija Camacho

Los cuestionarios estn basados en el texto:
Torreti, R. (1993) El mtodo axiomtico en Moulines, U. Ed. La ciencia:
estructura y desarrollo. Enciclopedia Iberoamericana de Filosofa, Trotta,
Madrid.
Nota aclaratoria: El cuestionario 2 corresponde a las preguntas que se
responden con base en la lectura de las pginas 89 a 97.
1. Qu es una teora axiomtica?
En pocas palabras, y de acuerdo con el texto, una respuesta: es
una teora de las estimaciones. Qu tipo de cosas estima?
Supongo que las apropiadas para alguna teora, pero habra que
tomar en cuenta la polisemia del trmino <estimar> porque, por
ejemplo, en alguna de sus acepciones esto se refiere a un sentido
moral <estimar digno (de premio o de castigo).
Pero el texto ofrece otra definicin ms precisa, una teora
axiomtica T es toda la coleccin de aseveraciones que son
consecuencia lgica de una cierta lista A de aseveraciones, los
axiomas de T.
2. Cules son las razones por las cules se afirma que el mtodo
axiomtico ha prestado grandes servicios a las matemticas y en
cambio menos servicios a las ciencias empricas?
Una razn es la que ofrece Pasch, pues segn l la teora
axiomtica de la geometra debe prescindir de diagramas, y de la
experiencia esencial para una disciplina emprica. Adems una
teora axiomtica se caracteriza por ser deductiva, y no deductiva
como cualquier teora emprica-.
3. Qu significa la palabra axioma y cmo la us Aristteles?
Estimar digno (de premio o de castigo), Aristteles lo utiliza como
la aseveracin que es parte de la premisa de un razonamiento.
4. De acuerdo con Aristteles cmo se edifica el saber cientfico?

No piensa que exista un principio universal para todas las

disciplinas como Platn-, sin embargo estima que cada ciencia
debe edificarse sobre principios.
5. Cul es la diferencia entre ser un axioma y ser un teorema?
El segundo trmino requiere de una comprobacin, mientras que
el axioma es un principio.
6. Qu razones se ofrecen para afirmar que la obra Elementos de
Euclides est lejos de ser la realizacin de la concepcin
aristotlica de la ciencia?
Porque algunas veces no slo se establecen relaciones entre
conceptos.
7. Qu trabajos se citan como ejemplos de posibles realizaciones del
planteamiento axiomtico en el siglo XVII? (Menciona de qu trata
cada uno).
Spinoza, quien sistematizo la filosofa cartesiana, y la tica,
Pascal quien intent demostrar todas las proposiciones y definir
todos los trminos, Galileo quien intent definir toda la cinemtica
moderna, Newton en su forma de establecer las bases de la
dinmica explicacin del movimiento de los astros-,
8. De qu manera asumen Galileo y Newton el papel de los
axiomas en sus investigaciones?
No pretenden que sus axiomas sean verdades evidentes por s
mismas., en contraposicin a la postura de la metafsica que se dio
de manera contempornea estos fsicos.
9. Qu es lo que opina el autor del rigor deductivo alcanzado por
Newton o Spinoza en comparacin con el alcanzado con la
Geometra de Euclides? En el caso de Spinoza, este pues se ha
quedado muy corto, y las proposiciones newtonianas concuerdan
con las de la experiencia, se quedan cortos al no acercarse a las
aseveraciones aristotlicas.
10.
Cul es la obra que se ajusta por primera vez al mtodo
axiomtico que plante Aristteles y por qu?
La obra de Pasch quien pretende un rigor deductivo para con la
geometra, y por lo tanto acercndose al canon aristotlico.
11.
Cules fueron las
axiomatizar la geometra?

razones

que

llevaron

Pasch

La necesidad del rigor deductivo, que hiciera prescindir de

cuestiones inductivas, y por lo tanto de ciertas caractersticas o
bien de la totalidad de la experiencia.
12.
En qu consistieron las investigaciones de Lobachevsky y
Bolyai?

13.
Cmo es que Lobachevsky prueba la consistencia relativa
de una teora axiomtica?
14.
Cul es la caracterstica ms interesante y fecunda del
mtodo axiomtico que se muestra en la axiomatizacin de la
geometra proyectiva?
15.
En qu consistieron las aportaciones de Pieri y Hilbert a la
geometra?
16.
Cul es la caracterstica insoslayable de
axiomticas y que David Hilbert entendi a fondo?

las

teoras

17.
Qu significa que los axiomas deben salir de una lista de
primitivos?
18.
Qu se requiere para que el ordenamiento de los axiomas
de un campo de saber sea viable y til?
19.
Cmo es que la presencia de los primitivos permite conferir
un significado preciso al concepto de consecuencia lgica?
20.
Cul es el fragmento del lenguaje del castellano utilizable
en una teora?