Online research in philosophy

The law-governed world-picture -- A remarkable idea about the way the universe is cosmos and compulsion -- The laws as the cosmic order : the best-system approach -- The three ways : no-laws, non-governing-laws, governing-laws -- Work that laws do in science -- An important difference between the laws of nature and the cosmic order -- The picture in four theses -- The strategy of this book -- The meta-theoretic conception of laws -- The measurability approach to laws -- What comes where -- In defense of some received views -- Some assumptions that will be in play -- The laws are propositions -- The laws are true -- The logically contingent consequences of the laws are laws themselves -- At least some laws are metaphysically contingent -- The meta-theoretic conception of laws -- Laws of nature, laws of science, laws of theories -- The first-order conception versus the meta-theoretic conception -- What is a law of nature? -- Some examples of meta-theoretic accounts -- The virtues of the meta-theoretic conception -- Weighing the virtues and shortcomings of the meta-theoretic conception -- An epistemological argument for the meta-theoretic conception of laws -- The discoverability thesis, the governing thesis, and the first-order conception -- The main argument -- The objection from bad company -- The objection from inference to the best explanation -- The objection from bayesianism -- The objection from contextualist epistemology -- The objection from the threat of inductive skepticism -- Laws, governing, and counterfactuals -- Where we are now -- What would things have to be like in order for the laws of nature to govern the universe? -- Lawhood, inevitability, counterfactuals -- What is it for a proposition to be inevitably true? -- What is it for a whole class of propositions to be inevitably true? -- What is it for lawhood to confer inevitability? -- NP and supporting counterfactuals -- The worry about context-variability -- A solution and a look ahead -- When would the laws have been different? -- Where we are now -- The God cases -- Other counterexamples to NP -- A moral-theoretic counterexample to NP -- Scientific contexts and non-scientific contexts -- Scientific God cases? -- Lewisian non-backtracking counterexamples -- Where things stand now -- How could science show that the laws govern? -- Why the law-governed world-picture must include the science-says-so thesis -- What is extra-scientific? -- How can the science-says-so thesis be true? -- NP as a consequence of the presuppositions in any scientific context -- Np as true in all possible scientific contexts -- But how could it be so? -- Attack of the actual-factualists -- Measurement and counterfactuals -- Where we are now -- Measurements, reliability, counterfactuals -- A general principle that captures the relation between measurement and counterfactuals -- What we can learn about lawhood from what we have learned about the counterfactual commitments of science -- A first-order accoun

This contribution is concerned with a particular model theoretic semantics of the object language of quantum physics. The object language considered here comprises logically connected propositions, sequentially connected propositions and modal propositions. The model theoretic semantics arises from the already established dialogic semantics, if the pragmatic concept of the dialog-game is replaced by a "metaphysical" concept of the game. The game is determined by a game tree, the branches of which constitute a set, the set of "possible worlds" of an individual quantum physical system. The semantic concepts like truth, falsity and valuation are defined with respect to this set.

The paper introduces what is deemed as the general epistemological problem of measurement: what characterizes measurement with respect to generic evaluation? It also analyzes the fundamental positions that have been maintained about this issue, thus presenting some sketches for a conceptual history of measurement. This characterization, in which three distinct standpoints are recognized, corresponding to a metaphysical, an anti-metaphysical, and relativistic period, allows us to introduce and briefly discuss some general issues on the current epistemological status of measurement science.

Given the common assumption that measurement plays an important role in the foundation of science, the paper analyzes the possibility that Measurement Science, and therefore measurement itself, can be properly founded. The realist and the representational positions are analyzed at this regards: the conclusion, that such positions unavoidably lead to paradoxical situations, opens the discussion for a new epistemology of measurement, whose characteristics and interpretation are sketched here but are still largely matter of investigation.

What is the philosophical significance of the soundness and completeness theorems for first-order logic? In the first section of this paper I raise this question, which is closely tied to current debate over the nature of logical consequence. Following many contemporary authors' dissatisfaction with the view that these theorems ground deductive validity in model-theoretic validity, I turn to measurement theory as a source for an alternative view. For this purpose I present in the second section several of the key ideas of measurement theory, and in the third and central section of the paper I use these ideas in an account of the relation between model theory, formal deduction, and our logical intuitions.

Unlike the standard representational theory of measurement, which takes the real numbers as a pregiven numerical domain, the approach presented in this paper is based on an abstract concept of a procedure of measurement, and ‘values of measurement’ are understood in terms of such procedures. The resulting ‘type approach’ makes use of elementary model-theoretic notions and emphasizes the constructibility of scales. It provides a natural starting point for a systematic discussion of issues that tend to be neglected in the standard framework (such as the relation between measurement and computation). At the same time it is perfectly compatible with the modern representational theory of measurement and helps elucidate a number of issues central to that theory (e.g. the role of Archimedean axioms).

A prospective introduction -- The received view -- Troubles with the received view -- Are propositional attitudes relations? -- Foundations of a measurement-theoretic account of the attitudes -- The basic measurement-theoretic account -- Elaboration and explication of the proposed measurement-theoretic account.

In his recent book The Measure of Mind Robert Matthews presents the most elaborate and convincing attempt to date to account for the propositional attitudes in measurement theoretic terms. In the first section of this paper I review earlier applications of measurement-theoretic conceptualization to the discussion of the mind, I outline Matthews' own account, and I raise two questions concerning it. Then, in the second section of the paper, I present a unified measurement-theoretic account of both linguistic meaning and the propositional attitudes, in which a variant of Matthews' position is embedded. Such a unified account, I argue, yields satisfactory answers to the questions raised with respect to Matthews' original view, and demonstrates other advantages.

In the first two sections I present and motivate a formal semantics program that is modeled after the application of numbers in measurement (e.g., of length). Then, in the main part of the paper, I use the suggested framework to give an account of the semantics of necessity and possibility: (i) I show thatthe measurement theoretic framework is consistent with a robust (non-Quinean) view of modal logic, (ii) I give an account of the semantics of the modal notions within this framework, and (iii) I defend the suggested account against various objections.