Open AccessFormal Philosophy of Science: Statement and Set-theoretic Approaches
Author(s) -
Н.Л. Архиереев
Publication year - 2021
Publication title -
logiko-filosofskie študii
Language(s) - English
Resource type - Journals
eISSN - 2223-3954
pISSN - 2071-9183
DOI - 10.52119/lphs.2021.14.30.003
Subject(s) - philosophy of science , epistemology , statement (logic) , logical positivism , computer science , philosophy of language , relation (database) , formal language , criticism , set (abstract data type) , formal system , philosophy , programming language , metaphysics , art , literature , database
The so-called received view of scientific theory, initially proposed by logical positivists, represented scientific theory as a set of statements of some formal language, ordered by syntactic relation of deductive derivability. By late 1960s this strategy had met with severe criticism which called into question the effectiveness of formal methods in philosophy of science. The set-theoretic (semantic) approach in formal philosophy of science, which can be treated as natural development of received view, is based on the concept of model in Tarski’s sense and is capable of neutralizing the most part of these objections.