Conference PaperPDF Available

Formal methods in the actual philosophy of science

September 1995

September 1995

Conference: Workshop on Model Theory and Complexity
At: Sevilla. Facultad de Filosofía

Authors:

M.Carmen Hernandez-Martin

Universidad de Sevilla

This course outline the necessity of the incorporation of formal methods to the practice and learning of philosophy of science. It details the most important schools in this realm: from neo positivism through logical structuralism up to the Polish Wojcicki and Przelewski, and all those authors related to computational sciences.

Content uploaded by M.Carmen Hernandez-Martin

Content may be subject to copyright.

ResearchGate has not been able to resolve any citations for this publication.

ResearchGate has not been able to resolve any references for this publication.

Research

Full-text available

Formal methods in the actual Philosophy of Science

April 2015

M.Carmen Hernandez-Martin

This course outline the necessity of the incorporation of formal methods to the practice and learning of philosophy of science. It details the most important schools in this realm: from neo positivism through logical structuralism up to the Polish Wojcicki and Przelewski, and all those authors related to computational sciences.

Article

Full-text available

Filosofías de la Matemática y evolución del Positivismo Lógico

January 1993

M.Carmen Hernandez-Martin

The aim of this paper is to point the parallelism between the evolution of the philosophy of mathematics and the changes in logical positivism, specially in Carnap, from logicism to formalism, and ending in a kind of structuralism.

Article

Between Logic and Science, or How Is Possible an Exact Philosophy of the Real Science?

June 2013 · Transylvanian Review

Ilie Pârvu

The purpose of this paper is to present one of the main methodological problems of the contemporary philosophy of science and to indicate a possible way towards a constructive solution. In various ways and at different levels of reflection it is stated that the most profound difficulty of today's general philosophy of science is the tension between the propensity to use exact and formal methods ... [Show full abstract] in the study of science and the actual relevance of such procedures for the understanding of real science. In the spirit of one the most important programs in the exact (formal) philosophy of science, devised by P. Suppes, the paper suggests that the new concepts of the mathematical category theory can offer a constructive modality to solve this tension, by providing the necessary instruments for the effective (re)construction of science at the fundamental level and at the same time for a formal metatheoretical analysis of scientific practices. The contribution of this article consists of introducing (as a preliminary analysis for such approach), the concept of the general form of scientific theories, which will allow us to use the mathematical category theory in order to formally represent the structure of fundamental theories and to build a unified mathematical metatheory of the different contemporary forms of the theoretical construction of science. As a side-effect, this approach can contribute to the reexamination from a new perspective of the possibility that metatheoretical studies can contribute effectively to foundational research.

Article

Logic as Universal Medium ? Leśniewski's Systems and the Aristotelian Model of Science

September 2004

Arianna Betti

A Bilingual International Conference on the History and Actuality of the Polish Contribution, from the Lvov-Warsaw school to phenomenology, to Twentieth Century Philosophy. Colloque international bilingue portant sur l'histoire et l'actualité de la contribution polonaise, de l'école de Lvov-Varsovie à la phénoménologie, à la philosophie du vingtième siècle.