8 citations found. Retrieving documents...
R. Carnap. Philosophical Foundations of Physics. Basic Books, New York, NY, 1966.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
A Formal Approach to Specification-Based Black-Box Testing - Cengarle, Haeberer   (Correct)

....philosophers,inpar ticular by the members of the Vienna Circle. Rudolf Carnap formally introduced the observationaltheoretical dichotomy by means of a theory known today as The Statement View of Scientific Theories (in short The Statement View) in the 38 years between 1928 [2] and 1966 [3]. In the context of the Statement View, whenever we have an empirically interpreted theory T we have two disjoint subtheories of it, a theoretical one, whose presentation is T T = # T # Ax T ) anda purely observational one, whose presentation is T O = # # Ax O ) related by a set ....

R. Carnap. Philosophical foundations of physics. Basic books, New York, 1966.


An Approach to a Theory of Software Evolution - Lehman, Ramil   (2 citations)  (Correct)

....and quantitative observations of behaviour. Some may even reflect behavioural invariants. Others will be restricted to a subset of systems, appear, therefore, to reflect common domain characteristics and so also lead, perhaps, to a lower level of empirical generalisations or observational laws [car66]. The accumulated observations, knowledge and understanding appear to be sufficient to start assembling and organisation into a theory. As this evolves, other observations become explainable in terms of it. Observations predicted from that theory should reflect fundamental insights and behavioural ....

....challenge for the research community is to develop a good theoretical understanding and underpinning for maintenance and evolution, which scales to industrial applications . ben00] However, other than thoughts recently outlined [leh00b] we are not aware of any existing work in theory level [car66] theory formation in the sense proposed here, whether in the wider arena of software engineering or of constituents such as software process, evolution and maintenance. Informal elements at the observational level can be found in system dynamics [e.g. feastwww] and other process models. Ontology ....

Carnap R, Philosophical Foundations of Physics, Basic Books Inc. 1966


Homo Ludens: On the play-element in inductive logic - Agostini (2001)   (Correct)

.... Binmore [Bin87] and deductive , OR94] are widely recognized as having serious de ciencies (see for instance [Bin87, Bin88] Behavioral theories called evolutive by [Bin87] and evolutionary by [KMR93] derive from the inductive, steady state interpretation of equilibrium in the view of [Car66] The observations we make in everyday life as well as the more systematic observations of science reveal certain repetitions or regularities in the world. The laws of science are nothing more than statements expressing these regularities as precisely as possible. p. 3) They are historically ....

R. Carnap. Philosophical Foundations of Physics. Basic Books, New York, NY, 1966.


On Two Families of Paradigms of Group-Solvability - Agostini (2001)   (Correct)

.... recognized as having serious de ciencies (see for instance [Bin87, Bin88] As a consequence, our attention has been shifted to an inductive, or behavioral ( evolutive, Binmore [Bin87] evolutionary [KMR93] inductive, from the steady state interpretation of equilibrium in the view of [Car66] approach, in part motivated by the work of evolutionary biologists (Maynard Smith and Price, 1973; Maynard Smith, 1982) Of course, it is a matter of taste if the middle ground between these extremes is more interesting than either extreme. But, as far as we know, only isolated forays have so ....

R. Carnap. Philosophical Foundations of Physics. Basic Books, New York, NY, 1966.


Scientific Explanation: A Critical Survey - Schurz (1995)   (3 citations)  (Correct)

....= bapple we obtain all bapples are red . Thus, one has to require, beyond the syntactical non occurrence of individual constants in a lawlike sentence, that the meaning of the predicates does not involve any reference to particular individuals (Hempel 1948, p.p. 266; 1965, p. 342; Carnap 1947, Carnap 1966, part iv, 21) Carnap and Hempel called such predicates qualitative, in distinction to positional predicates. A second reason motivating the condition of qualitativity was, that it seemed to eliminate Goodman s pathological predicates causing his new riddle of induction , like grue = ....

Carnap, R. (1966): Philosophical Foundations of Physics, Basic Books, New York.


A Formal Framework for Creating and Interpreting Theoretical Terms - Er Ms   (Correct)

....some attention of late is the discovery of genes by Gregor Mendel. Mendel experimented with plant breeding and proposed a theory of genes, which are not directly visible, by experimenting with visible factors: colour, shape, and size. These invisible terms are commonly called theoretical terms [1]. Theoretical terms play a crucial role in modern science. In biology there are theoretical entities such as enzymes and genes, chemistry has electron shells and covalent bonds, and physics has a myriad of sub atomic particles such as quarks and leptons. An understanding of the creation and ....

R. Carnap. Philosophical Foundations of Physics. 1966.


Centro Per La Ricerca - Scientifica Tecnologica Povo   (Correct)

No context found.

R. Carnap. Philosophical Foundations of Physics. Basic Books, New York, NY, 1966.


Contextual versus Absolute Coordination - Step One - Alessandro Agostini Itc-Irst   (Correct)

No context found.

R. Carnap. Philosophical Foundations of Physics. Basic Books, New York, NY, 1966.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC