Intertheoretic Reduction, Confirmation, and Montague’s Syntax-Semantics Relation
نویسندگان
چکیده
منابع مشابه
Montague Reduction, Confirmation, and the Syntax-semantics Relation
Intertheoretic relations are an important topic in the philosophy of science. However, since their classical discussion by Ernest Nagel, such relations have mostly been restricted to relations between pairs of theories in the natural sciences. In this paper, we present a model of a new type of intertheoretic relation, called Montague Reduction, which is inspired by Montague’s framework for the ...
متن کاملIntertheoretic Reduction: A Neuroscientist's Field Guide
Might psychology someday be reduced to (= exhaustively explained by) computational neurobiology? Many still say no. We approach this question through a brief survey of some prominent intertheoretic reductions drawn from our scientific history. A general charactITization of reduction is constructed from these, and some important philosophical and methodological lessons are drawn. The five most p...
متن کاملIntegrating Syntax and Semantics
Well-known examples such as Bar-Hillel's (1960) "The box is in the pen" illustrate that extensive semantic analysis is necessary to resolve ambiguities that must be resolved in machine translation. If one accepts the premise that semantics should be added to the analysis techniques used in machine translation, what is the way in which it should be added? This paper will argue for an integrated ...
متن کاملEquivariant Syntax and Semantics
syntax is not sufficiently abstract Parse trees take no account of variable binding. ∫ x 0 (∫ y 1 xy dx )
متن کاملViewcharts: Syntax and Semantics
In this paper, we present a method for describing the syntax and semantics of viewcharts. Viewcharts is a visual formalism for describing the dynamic behavior of system components. We define the syntax of viewcharts as attributed graphs and, based on this graph, describe dynamic semantics of viewcharts by object mapping automata. This approach covers many important constructs of viewcharts, inc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic, Language and Information
سال: 2018
ISSN: 0925-8531,1572-9583
DOI: 10.1007/s10849-018-9272-8