dor_id: 4115244

506.#.#.a: Público

590.#.#.d: Cada artículo es evaluado mediante una revisión ciega única

510.0.#.a: Arts and Humanities Citation Index, Revistes Cientifiques de Ciencies Socials Humanitais (CARHUS Plus); Latinoamericanas en Ciencias Sociales y Humanidades (CLASE); Directory of Open Access Journals (DOAJ); European Reference Index for the Humanities (ERIH PLUS); Sistema Regional de Información en Línea para Revistas Científicas de América Latina, el Caribe, España y Portugal (Latindex); SCOPUS, Journal Storage (JSTOR); The Philosopher’s Index, Ulrich’s Periodical Directory

561.#.#.u: https://www.filosoficas.unam.mx/

650.#.4.x: Artes y Humanidades

336.#.#.b: article

336.#.#.3: Artículo de Investigación

336.#.#.a: Artículo

351.#.#.6: https://critica.filosoficas.unam.mx/index.php/critica

351.#.#.b: Crítica. Revista Hispanoamericana de Filosofía

351.#.#.a: Artículos

harvesting_group: RevistasUNAM

270.1.#.p: Revistas UNAM. Dirección General de Publicaciones y Fomento Editorial, UNAM en revistas@unam.mx

590.#.#.c: Open Journal Systems (OJS)

270.#.#.d: MX

270.1.#.d: México

590.#.#.b: Concentrador

883.#.#.u: https://revistas.unam.mx/catalogo/

883.#.#.a: Revistas UNAM

590.#.#.a: Coordinación de Difusión Cultural

883.#.#.1: https://www.publicaciones.unam.mx/

883.#.#.q: Dirección General de Publicaciones y Fomento Editorial

850.#.#.a: Universidad Nacional Autónoma de México

856.4.0.u: https://critica.filosoficas.unam.mx/index.php/critica/article/view/587/565

100.1.#.a: Moulines, C. Ulises

524.#.#.a: Moulines, C. Ulises (1985). Tipología axiomática de las teorías empíricas. Crítica. Revista Hispanoamericana de Filosofía; Vol. 17 Núm. 51, 1985; 41-69. Recuperado de https://repositorio.unam.mx/contenidos/4115244

245.1.0.a: Tipología axiomática de las teorías empíricas

502.#.#.c: Universidad Nacional Autónoma de México

561.1.#.a: Instituto de Investigaciones Filosóficas, UNAM

264.#.0.c: 1985

264.#.1.c: 2018-12-07

506.1.#.a: La titularidad de los derechos patrimoniales de esta obra pertenece a las instituciones editoras. Su uso se rige por una licencia Creative Commons BY-NC-ND 4.0 Internacional, https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es, para un uso diferente consultar al responsable jurídico del repositorio por medio del correo electrónico alberto@filosoficas.unam.mx

884.#.#.k: https://critica.filosoficas.unam.mx/index.php/critica/article/view/587

001.#.#.#: 034.oai:ojs2.132.248.184.97:article/587

041.#.7.h: spa

520.3.#.a: The author analyses, within a framework of the structuralist conception of science, different types of axioms that may occur in empirical theories, set-theoretically axiomatized ; in the process, he states six theses, offering formal definítions to characterize each type of axiom, except for the last one. The following set-theoretieal axiomatization of classical collision mechanies (CM) is used as ilIustration: CM (x) iff there exists P, S, T, e, v, m, t1, t2 such that: (0) x= ≺P, S, T, /R, c, v, m≻ (1) P is a finite non-empty set (2) S is a non-empty set (3) T = {t1 , t2} (4) c maps S onto /R3 (5) v maps P X T into S (6) m is a function from Pinto /R such that for all p ∈ P, m(p) > O (7) Σ m(p) . c ° v(p, t1,) = P ∈ P Σ m(p) . c ° v(p, t2) p ∈ P (where "/R" designa the real numbers and "°", the composition of functions). This axiomatization is completed with a set of informal statements that offers the intuitive physical interpretation of the basic concepts ; e.g., "The elements of P are particles" and "m is the mass of each particle". First thesis: Among the axioms of an empirical theory at least one typification occurs. Through the "constructive echelons" of the projection (π), power set (P) and cartesian product (X) operations, the typifications make explicit and precise the type of the set-theoretical entities that corresponds to some of the basic concepts: relations and functions. E.g., for m, we have: m ∈ P (π1 ≺P, /R≻ X π2 ≺P, /R≻. The typifications have no empirical meaning at all; they can be stated by means of pure conceptual analysis. Second thesis: Among the axioms of an empirical theory at least one characterization occurs. Obviously, the typifications do not exhaust all that can be said in set-theoretical terms about the basic concepts. The characterizations supply additional information which contains, although in a minimal degree, certain factual meaning, as we can see in the characterization of m: Func (m) & ∀ p ∈ P(m(p) > O), where "Func" is a term for the general concept of function. Third thesis: Among the axioms of an empirical theory al least one sinoptic law occurs. What type of axiom is (7), the momentum conservation law? Evidenttly, it is neither a typification nor a characterization; it is just a scientific law. Laws are the kind of essential statements in a theory (without a law a theory is not a theory); they contain the maximum amount and most important empirical meaning of a theory among all the axioms. It would seem that the three types of axioms listed are sufficient to describe an axiomatization of an empirical theory. However, there are other components that contribute to the identification, which are necessary for the empirical applications of theories. Fourth thesis: Among the axioms of an empirical theory at least one interpretation axiom occurs. An interpretation axiom is a statement that asserts a link between the potential models of a theory and the (actual) models of another. These links, as inter-theoretic relations, are vital for the empirical applications of theories; without them we do not know, e.g., to what kind of things the concepts of mass or speed are applicable. In CM we need interpretation axioms for the existing links between itself and, e.g., the chassical kinematics, (physical) euclidean geometry and chronometry. Fifth thesis: Among the axioms of many empirical theories at least one constraint occurs. This type of axioms states a relation among models of the same theory such that it allows to export data of a model in order to make e.g., a calculation or a measurement for a further model. In CM we have constraints for the invariation of both mass and speed and for the extensivity of mass. Sixth thesis: Among the axioms of many empirical theories at least one special law occurs. Is (7) the only law of CM? Certainly not. In some kind of applications of CM, e.g., the conservation of kinematics energy law is used. However, this law does not hold in all applications of CM and, thus, it is not a general law hut rather a special one. The same situation occurs in many empirical theories, in particular, in the complexes. But due to the open character of the set of the special laws, they can hardly be captured in a formal fashion. [J.L. Rolleri]

773.1.#.t: Crítica. Revista Hispanoamericana de Filosofía; Vol. 17 Núm. 51 (1985); 41-69

773.1.#.o: https://critica.filosoficas.unam.mx/index.php/critica

022.#.#.a: ISSN electrónico: 1870-4905; ISSN impreso: 0011-1503

310.#.#.a: Cuatrimestral

300.#.#.a: Páginas: 41-69

264.#.1.b: Instituto de Investigaciones Filosóficas, UNAM

doi: https://doi.org/10.22201/iifs.18704905e.1985.587

handle: 4604e682293634bd

harvesting_date: 2023-08-23 17:00:00.0

856.#.0.q: application/pdf

file_creation_date: 2010-10-11 20:36:29.0

file_modification_date: 2010-10-29 16:42:09.0

file_creator: IIFs

file_name: a5e0086d4bca59023a2ae8dd763757768c2923c8934954d495d77c11b2eb7b10.pdf

file_pages_number: 29

file_format_version: application/pdf; version=1.6

file_size: 330166

245.1.0.b: Axiomatic Typlogy of Empirical Theories

last_modified: 2023-08-23 17:00:00

license_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es

license_type: by-nc-nd

No entro en nada

No entro en nada 2

Artículo

Tipología axiomática de las teorías empíricas

Moulines, C. Ulises

Instituto de Investigaciones Filosóficas, UNAM, publicado en Crítica. Revista Hispanoamericana de Filosofía, y cosechado de Revistas UNAM

Licencia de uso

Procedencia del contenido

Cita

Moulines, C. Ulises (1985). Tipología axiomática de las teorías empíricas. Crítica. Revista Hispanoamericana de Filosofía; Vol. 17 Núm. 51, 1985; 41-69. Recuperado de https://repositorio.unam.mx/contenidos/4115244

Descripción del recurso

Autor(es)
Moulines, C. Ulises
Tipo
Artículo de Investigación
Área del conocimiento
Artes y Humanidades
Título
Tipología axiomática de las teorías empíricas
Fecha
2018-12-07
Resumen
The author analyses, within a framework of the structuralist conception of science, different types of axioms that may occur in empirical theories, set-theoretically axiomatized ; in the process, he states six theses, offering formal definítions to characterize each type of axiom, except for the last one. The following set-theoretieal axiomatization of classical collision mechanies (CM) is used as ilIustration: CM (x) iff there exists P, S, T, e, v, m, t1, t2 such that: (0) x= ≺P, S, T, /R, c, v, m≻ (1) P is a finite non-empty set (2) S is a non-empty set (3) T = {t1 , t2} (4) c maps S onto /R3 (5) v maps P X T into S (6) m is a function from Pinto /R such that for all p ∈ P, m(p) > O (7) Σ m(p) . c ° v(p, t1,) = P ∈ P Σ m(p) . c ° v(p, t2) p ∈ P (where "/R" designa the real numbers and "°", the composition of functions). This axiomatization is completed with a set of informal statements that offers the intuitive physical interpretation of the basic concepts ; e.g., "The elements of P are particles" and "m is the mass of each particle". First thesis: Among the axioms of an empirical theory at least one typification occurs. Through the "constructive echelons" of the projection (π), power set (P) and cartesian product (X) operations, the typifications make explicit and precise the type of the set-theoretical entities that corresponds to some of the basic concepts: relations and functions. E.g., for m, we have: m ∈ P (π1 ≺P, /R≻ X π2 ≺P, /R≻. The typifications have no empirical meaning at all; they can be stated by means of pure conceptual analysis. Second thesis: Among the axioms of an empirical theory at least one characterization occurs. Obviously, the typifications do not exhaust all that can be said in set-theoretical terms about the basic concepts. The characterizations supply additional information which contains, although in a minimal degree, certain factual meaning, as we can see in the characterization of m: Func (m) & ∀ p ∈ P(m(p) > O), where "Func" is a term for the general concept of function. Third thesis: Among the axioms of an empirical theory al least one sinoptic law occurs. What type of axiom is (7), the momentum conservation law? Evidenttly, it is neither a typification nor a characterization; it is just a scientific law. Laws are the kind of essential statements in a theory (without a law a theory is not a theory); they contain the maximum amount and most important empirical meaning of a theory among all the axioms. It would seem that the three types of axioms listed are sufficient to describe an axiomatization of an empirical theory. However, there are other components that contribute to the identification, which are necessary for the empirical applications of theories. Fourth thesis: Among the axioms of an empirical theory at least one interpretation axiom occurs. An interpretation axiom is a statement that asserts a link between the potential models of a theory and the (actual) models of another. These links, as inter-theoretic relations, are vital for the empirical applications of theories; without them we do not know, e.g., to what kind of things the concepts of mass or speed are applicable. In CM we need interpretation axioms for the existing links between itself and, e.g., the chassical kinematics, (physical) euclidean geometry and chronometry. Fifth thesis: Among the axioms of many empirical theories at least one constraint occurs. This type of axioms states a relation among models of the same theory such that it allows to export data of a model in order to make e.g., a calculation or a measurement for a further model. In CM we have constraints for the invariation of both mass and speed and for the extensivity of mass. Sixth thesis: Among the axioms of many empirical theories at least one special law occurs. Is (7) the only law of CM? Certainly not. In some kind of applications of CM, e.g., the conservation of kinematics energy law is used. However, this law does not hold in all applications of CM and, thus, it is not a general law hut rather a special one. The same situation occurs in many empirical theories, in particular, in the complexes. But due to the open character of the set of the special laws, they can hardly be captured in a formal fashion. [J.L. Rolleri]
Idioma
spa
ISSN
ISSN electrónico: 1870-4905; ISSN impreso: 0011-1503

Enlaces