In this article I examine two mathematical definitions of observational equivalence, one proposed by Charlotte Werndl and based on manifest isomorphism, and the other based on Ornstein and Weiss’s ε-congruence. I argue, for two related reasons, that neither can function as a purely mathematical definition of observational equivalence. First, each definition permits of counterexamples; second, overcoming these counterexamples will introduce non-mathematical premises about the systems in question. Accordingly, the prospects for a broadly applicable and purely mathematical (...) definition of observational equivalence are unpromising. Despite this critique, I suggest that Werndl’s proposals are valuable because they clarify the distinction between provable and unprovable elements in arguments for observational equivalence. (shrink)

> Context • The alleged dichotomy between mind and matter is pervasive. Therefore, the attempt to explain mat- ter in terms of mind (idealism) is often considered a mirror image of that of explaining mind in terms of mat- ter (mainstream physicalism), in the sense of being structurally equivalent despite being reversely arranged. > Problem • I argue that this is an error arising from language artifacts, for dichotomies must reside in the same level of abstraction. > Method • I (...) show that, because matter outside mind is not an empirical observation but rather an explanatory model, the epistemic symmetry between the two is broken. Consequently, matter and mind cannot reside in the same level of abstraction. > Results • It then becomes clear that attempting to explain mind in terms of matter is epistemically more costly than attempting to explain matter in terms of mind. > Implications • The qualities of experience are suggested to be not only epistemically, but also ontologically primary. > Constructivist content • I high- light the primacy of perceptual constructs over explanatory abstraction on both epistemic and ontic levels. > Key words • Idealism, physicalism, pancomputationalism, anti-realism, hard problem of consciousness, epistemic symmetry, explanatory abstraction, levels of abstraction. (shrink)

One of the objections against the thesis of underdetermination of theories by observations is that it is unintelligible. Any two empirically equivalent theories — so the argument goes—are in principle intertranslatable, hence cannot count as rivals in any non-trivial sense. Against that objection, this paper shows that empirically equivalent theories may contain theoretical sentences that are not intertranslatable. Examples are drawn from a related discussion about incommensurability that shows that theoretical non-intertranslatability is possible.

The purpose of this essay is to shed some light on a certain type of sentence, which I call a borderline contradiction. A borderline contradiction is a sentence of the form F a ∧ ¬F a, for some vague predicate F and some borderline case a of F , or a sentence equivalent to such a sentence. For example, if Jackie is a borderline case of ‘rich’, then ‘Jackie is rich and Jackie isn’t rich’ is a borderline contradiction. Many theories (...) of vague language have entailments about borderline contradictions; correctly describing the behavior of borderline contradictions is one of the many tasks facing anyone offering a theory of vague language. Here, I first briefly review claims made by various theorists about these borderline contradictions, attempting to draw out some predictions about the behavior of ordinary speakers. Second, I present an experiment intended to gather relevant data about the behavior of ordinary speakers. Finally, I discuss the experimental results in light of several different theories of vagueness, to see what explanations are available. My conclusions are necessarily tentative; I do not attempt to use the present experiment to demonstrate that any single theory is incontrovertibly true. Rather, I try to sketch the auxiliary hypotheses that would need to be conjoined to several extant theories of vague language to predict the present result, and offer some considerations regarding the plausibility of these various hypotheses. In the end, I conclude that two of the theories I consider are better-positioned to account for the observed data than are the others. But the field of logically-informed research on people’s actual responses to vague predicates is young; surely as more data come in we will learn a great deal more about which (if any) of these theories best accounts for the behavior of ordinary speakers. (shrink)

The explicit history of the “hidden variables” problem is well-known and established. The main events of its chronology are traced. An implicit context of that history is suggested. It links the problem with the “conservation of energy conservation” in quantum mechanics. Bohr, Kramers, and Slaters (1924) admitted its violation being due to the “fourth Heisenberg uncertainty”, that of energy in relation to time. Wolfgang Pauli rejected the conjecture and even forecast the existence of a new and unknown then elementary particle, (...) neutrino, on the ground of energy conservation in quantum mechanics, afterwards confirmed experimentally. Bohr recognized his defeat and Pauli’s truth: the paradigm of elementary particles (furthermore underlying the Standard model) dominates nowadays. However, the reason of energy conservation in quantum mechanics is quite different from that in classical mechanics (the Lie group of all translations in time). Even more, if the reason was the latter, Bohr, Cramers, and Slatters’s argument would be valid. The link between the “conservation of energy conservation” and the problem of hidden variables is the following: the former is equivalent to their absence. The same can be verified historically by the unification of Heisenberg’s matrix mechanics and Schrödinger’s wave mechanics in the contemporary quantum mechanics by means of the separable complex Hilbert space. The Heisenberg version relies on the vector interpretation of Hilbert space, and the Schrödinger one, on the wave-function interpretation. However the both are equivalent to each other only under the additional condition that a certain well-ordering is equivalent to the corresponding ordinal number (as in Neumann’s definition of “ordinal number”). The same condition interpreted in the proper terms of quantum mechanics means its “unitarity”, therefore the “conservation of energy conservation”. In other words, the “conservation of energy conservation” is postulated in the foundations of quantum mechanics by means of the concept of the separable complex Hilbert space, which furthermore is equivalent to postulating the absence of hidden variables in quantum mechanics (directly deducible from the properties of that Hilbert space). Further, the lesson of that unification (of Heisenberg’s approach and Schrödinger’s version) can be directly interpreted in terms of the unification of general relativity and quantum mechanics in the cherished “quantum gravity” as well as a “manual” of how one can do this considering them as isomorphic to each other in a new mathematical structure corresponding to quantum information. Even more, the condition of the unification is analogical to that in the historical precedent of the unifying mathematical structure (namely the separable complex Hilbert space of quantum mechanics) and consists in the class of equivalence of any smooth deformations of the pseudo-Riemannian space of general relativity: each element of that class is a wave function and vice versa as well. Thus, quantum mechanics can be considered as a “thermodynamic version” of general relativity, after which the universe is observed as if “outside” (similarly to a phenomenological thermodynamic system observable only “outside” as a whole). The statistical approach to that “phenomenological thermodynamics” of quantum mechanics implies Gibbs classes of equivalence of all states of the universe, furthermore re-presentable in Boltzmann’s manner implying general relativity properly … The meta-lesson is that the historical lesson can serve for future discoveries. (shrink)

The predominant approaches to understanding how quantum theory and General Relativity are related to each other implicitly assume that both theories use the same concept of mass. Given that despite great efforts such approaches have not yet produced a consistent falsifiable quantum theory of gravity, this paper entertains the possibility that the concepts of mass in the two theories are in fact distinct. It points out that if the concept of mass in quantum mechanics is defined such that it always (...) exists in a superposition and is not a gravitational source, then this sharply segregates the domains of quantum theory and of general relativity. This concept of mass violates the equivalence principle applied to active gravitational mass, but may still produce effects consistent with the equivalence principle when applied to passive gravitational mass (in agreement with observations) by the correspondence principle applied to a weak field in the appropriate limit. An experiment that successfully measures the gravity field of quantum objects in a superposition, and in particular of photons, would not only falsify this distinction but also constitute the first direct empirical test that gravity must in fact be described fundamentally by a quantum theory. (shrink)

In 'The Reference Book' (2012), Hawthorne and Manley observe the following contrast between (1) and (2): -/- (1) In every race John won. (2) In every race, the colt won. -/- The name 'John' in (1) must intuitively refer to the same single individual for each race. However, the description 'the colt' in (2) has a co-varying reading, i.e. a reading where for each race it refers to a different colt. This observation is a prima facie problem for proponents of (...) so-called The-Predicativism which is the view that the name in (1) is really a covert definite description, viz. 'the John'. If the The-Predicativism is correct, (1) and (2) are therefore syntactically equivalent, but this makes it mysterious why only (2) would have a co-varying reading. In a recent paper, Fara (2015) argues that there is a simple and elegant way for proponents of The-Predicativism to explain this contrast. This explanation relies on discerning some subtle syntactic differences between (1) and (2) which in turn are based on assumptions about nominal restrictions a la Stanley and Szabó (2000). In this short paper, I demonstrate that Fara's proposed explanation has a variety of serious shortcomings and hence that the contrast between (1) and (2) remains a significant problem for Predicativism. (shrink)

Background: how mind functions is subject to continuing scientific discussion. A simplistic approach says that, since no convincing way has been found to model subjective experience, mind cannot exist. A second holds that, since mind cannot be described by classical physics, it must be described by quantum physics. Another perspective concerns mind's hypothesized ability to interact with the world of quanta: it should be responsible for reduction of quantum wave packets; physics producing 'Objective Reduction' is postulated to form the basis (...) for mind-matter interactions. This presentation describes results derived from a new approach to these problems. It is based on well-established biology involving physics not previously applied to the fields of mind, or consciousness studies, that of critical feedback instability. -/- Methods: 'self-organized criticality' in complexity biology places system loci of control at critical instabilities, physical properties of which, including information properties, are presented. Their elucidation shows that they can model hitherto unexplained properties of experience. -/- Results: All results depend on physical properties of critical instabilities. First, at least one feed-back or feed-forward loop must have feedback gain, g = 1: information flows round the loop impress perfect images of system states back on themselves: they represent processes of perfect self-observation. This annihilates system quanta: system excitations are instability fluctuations, which cannot be quantized. Major results follow: -/- 1. Information vectors representing criticality states must include at least one attached information loop denoting self-observation. -/- 2. Such loop structures are attributed a function, 'registering the state's own existence', explaining -/- a. Subjective 'awareness of one's own presence' -/- b. How content-free states of awareness can be remembered (Jon Shear) -/- c. Subjective experience of time duration (Immanuel Kant) -/- d. The 'witness' property of experience – often mentioned by athletes 'in the zone' -/- e. The natural association between consciousness and intelligence -/- This novel, physically and biologically sound approach seems to satisfactorily model subjectivity. -/- Further significant results follow: -/- 1. Registration of external information in excited states of systems at criticality reduces external wave-packets: the new model exhibits 'Objective Reduction' of wave packets. -/- 2. High internal coherence (postulated by Domash & Penrose) leading to a. Non-separable information vector bundles. b. Non-reductive states (Chalmers's criterion for experience). -/- 3. Information that is: a. encoded in coherence negentropy; b. non-digitizable, and therefore c. computationally without digital equivalent (posited by Penrose). -/- Discussion and Conclusions: instability physics implies anharmonic motion, preventing excitation quantization, and totally different from the quantum physics of simple harmonic motion at stability. Instability excitations are different from anything hitherto conceived in information science. They can model aspects of mind never previously treated, including genuine subjectivity, objective reduction of wave-packets, and inter alia all properties given above. (shrink)

The paper considers the symmetries of a bit of information corresponding to one, two or three qubits of quantum information and identifiable as the three basic symmetries of the Standard model, U(1), SU(2), and SU(3) accordingly. They refer to “empty qubits” (or the free variable of quantum information), i.e. those in which no point is chosen (recorded). The choice of a certain point violates those symmetries. It can be represented furthermore as the choice of a privileged reference frame (e.g. that (...) of the Big Bang), which can be described exhaustively by means of 16 numbers (4 for position, 4 for velocity, and 8 for acceleration) independently of time, but in space-time continuum, and still one, 17th number is necessary for the mass of rest of the observer in it. The same 17 numbers describing exhaustively a privileged reference frame thus granted to be “zero”, respectively a certain violation of all the three symmetries of the Standard model or the “record” in a qubit in general, can be represented as 17 elementary wave functions (or classes of wave functions) after the bijection of natural and transfinite natural (ordinal) numbers in Hilbert arithmetic and further identified as those corresponding to the 17 elementary of particles of the Standard model. Two generalizations of the relevant concepts of general relativity are introduced: (1) “discrete reference frame” to the class of all arbitrarily accelerated reference frame constituting a smooth manifold; (2) a still more general principle of relativity to the general principle of relativity, and meaning the conservation of quantum information as to all discrete reference frames as to the smooth manifold of all reference frames of general relativity. Then, the bijective transition from an accelerated reference frame to the 17 elementary wave functions of the Standard model can be interpreted by the still more general principle of relativity as the equivalent redescription of a privileged reference frame: smooth into a discrete one. The conservation of quantum information related to the generalization of the concept of reference frame can be interpreted as restoring the concept of the ether, an absolutely immovable medium and reference frame in Newtonian mechanics, to which the relative motion can be interpreted as an absolute one, or logically: the relations, as properties. The new ether is to consist of qubits (or quantum information). One can track the conceptual pathway of the “ether” from Newtonian mechanics via special relativity, via general relativity, via quantum mechanics to the theory of quantum information (or “quantum mechanics and information”). The identification of entanglement and gravity can be considered also as a ‘byproduct” implied by the transition from the smooth “ether of special and general relativity’ to the “flat” ether of quantum mechanics and information. The qubit ether is out of the “temporal screen” in general and is depicted on it as both matter and energy, both dark and visible. (shrink)

Light increment thresholds were measured on either side of one of the illusory contours of a white-on-black Kanizsa square and on the illusory contour itself. The data show that thresholds are elevated when measured on either side of the illusory border. These elevations diminish with increasing distance of the target spot from the white elements which induce the illusory figure. The most striking result, however, is that threshold elevations are considerably lower or even absent when the target is located on (...) the illusory contour itself. At an equivalent position in a control figure where no illusory contour is visible, such a threshold decrease does not occur. The present observations add empirical support to neural theories of illusory form perception. (shrink)

When agents know a protocol, this leads them to have expectations about future observations. Agents can update their knowledge by matching their actual observations with the expected ones. They eliminate states where they do not match. In this paper, we study how agents perceive protocols that are not commonly known, and propose a semantics-driven logical framework to reason about knowledge in such scenarios. In particular, we introduce the notion of epistemic expectation models and a propositional dynamic logic-style epistemic logic for (...) reasoning about knowledge via matching agentsÊ expectations to their observations. It is shown how epistemic expectation models can be obtained from epistemic protocols. Furthermore, a characterization is presented of the effective equivalence of epistemic protocols. We introduce a new logic that incorporates updates of protocols and that can model reasoning about knowledge and observations. Finally, the framework is extended to incorporate fact-changing actions, and a worked-out example is given. © 2013 Elsevier B.V. (shrink)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

A model-theoretic realist account of science places linguistic systems and their corresponding non-linguistic structures at different stages or different levels of abstraction of the scientific process. Apart from the obvious problem of underdetermination of theories by data, philosophers of science are also faced with the inverse (and very real) problem of overdetermination of theories by their empirical models, which is what this article will focus on. I acknowledge the contingency of the factors determining the nature – and choice – of (...) a certain model at a certain time, but in my terms, this is a matter about which we can talk and whose structure we can formalise. In this article a mechanism for tracing "empirical choices" and their particularized observational-theoretical entanglements will be offered in the form of Yoav Shoham's version of non-monotonic logic. Such an analysis of the structure of scientific theories may clarify the motivations underlying choices in favor of certain empirical models (and not others) in a way that shows that "disentangling" theoretical and observation terms is more deeply model-specific than theory-specific. This kind of analysis offers a method for getting an articulable grip on the overdetermination of theories by their models – implied by empirical equivalence – which Kuipers' structuralist analysis of the structure of theories does not offer. (shrink)

The paper discusses the origin of dark matter and dark energy from the concepts of time and the totality in the final analysis. Though both seem to be rather philosophical, nonetheless they are postulated axiomatically and interpreted physically, and the corresponding philosophical transcendentalism serves heuristically. The exposition of the article means to outline the “forest for the trees”, however, in an absolutely rigorous mathematical way, which to be explicated in detail in a future paper. The “two deductions” are two successive (...) stage of a single conclusion mentioned above. The concept of “transcendental invariance” meaning ontologically and physically interpreting the mathematical equivalence of the axiom of choice and the well-ordering “theorem” is utilized again. Then, time arrow is a corollary from that transcendental invariance, and in turn, it implies quantum information conservation as the Noether correlate of the linear “increase of time” after time arrow. Quantum information conservation implies a few fundamental corollaries such as the “conservation of energy conservation” in quantum mechanics from reasons quite different from those in classical mechanics and physics as well as the “absence of hidden variables” (versus Einstein’s conjecture) in it. However, the paper is concentrated only into the inference of another corollary from quantum information conservation, namely, dark matter and dark energy being due to entanglement, and thus and in the final analysis, to the conservation of quantum information, however observed experimentally only on the “cognitive screen” of “Mach’s principle” in Einstein’s general relativity. therefore excluding any other source of gravitational field than mass and gravity. Then, if quantum information by itself would generate a certain nonzero gravitational field, it will be depicted on the same screen as certain masses and energies distributed in space-time, and most presumably, observable as those dark energy and dark matter predominating in the universe as about 96% of its energy and matter quite unexpectedly for physics and the scientific worldview nowadays. Besides on the cognitive screen of general relativity, entanglement is available necessarily on still one “cognitive screen” (namely, that of quantum mechanics), being furthermore “flat”. Most probably, that projection is confinement, a mysterious and ad hoc added interaction along with the fundamental tree ones of the Standard model being even inconsistent to them conceptually, as far as it need differ the local space from the global space being definable only as a relation between them (similar to entanglement). So, entanglement is able to link the gravity of general relativity to the confinement of the Standard model as its projections of the “cognitive screens” of those two fundamental physical theories. (shrink)

In this article, it is argued that the Gibbs-Liouville theorem is a mathematical representation of the statement that closed classical systems evolve deterministically. From the perspective of an observer of the system, whose knowledge about the degrees of freedom of the system is complete, the statement of deterministic evolution is equivalent to the notion that the physical distinctions between the possible states of the system, or, in other words, the information possessed by the observer about the system, is never lost. (...) Furthermore, it is shown that the Hamilton equations and the Hamilton principle on phase space follow directly from the differential representation of the Gibbs-Liouville theorem, i.e. that the divergence of the Hamiltonian phase flow velocity vanish. Finally, it is argued that the statements of invariance of the Poisson algebra and unitary evolution are equivalent representations of the Gibbs-Liouville theorem. (shrink)

Here, we present some results in continuation of 1.Epistemological Observation About Mind-Machine Equivalence 2.F.Didehvar, Morality, Equality, Mind and Machine, 3.F.Didehvar, on defining “I” On definition of Mind, and Physicalism. -/- .

The motivation comes from the analogy (equivalence?) of the A-series to ontologically private qualia in Dualism. This leads to the proposal that two quantum systems, no matter how small, mutually observe each other when and only when they come to share the same A-series. McTaggart's A-series and B-series can be varied independently so they cannot be the same temporal variable.

The present essay addresses the epistemic difficulties involved in achieving consensus with respect to the Hayek–Keynes debate. It is argued that the empirical implications of the relevant theories are such that, regardless of what is observed, both theories can be interpreted as true, or at least, as not falsified. The essay explicates the respects in which the empirical evidence underdetermines the choice between the relevant theories. In particular, it is argued both that there are convenient responses that protect each theory (...) from what appears to be threatening evidence and that, for particular kinds of evidence, the two theories are empirically equivalent. Larry Laudan's suggestion that ampliative methodological criteria can resolve an underdetermined choice between multiple scientific theories is considered and rejected as a possible means to rational consensus. (shrink)

In three empirical studies we examined how people reason about prior convictions in child abuse cases. We tested whether the disclosure of similar prior convictions prompts a mental representation or an additive probative value (Criminal Justice Act, 2003). Asymmetrical use of similar priors were observed in three studies. A pilot study showed that disclosure of a second prior did not contribute a weight equivalent to that of the first disclosure. Study 1 showed jurors did not see left-handed evidence (i.e. matching (...) victim bruising) as more indicative of guilt than right-handedness unless a prior conviction was present, and the presence of priors suppressed the generation of alternative possibilities indicative of innocence. Study 2 showed that disclosure did not decrease community ratings of reoffending propensity and dangerousness as much as a similar prior conviction increased them. We consider the results in the context of a new psychological theory of prior conviction bias and the consequences for the implementation of Section 100 of the Criminal Justice Act (2003). (shrink)

Arguments pro and contra convergent realism – underdetermination of theory by observational evidence and pessimistic meta-induction from past falsity – are considered. It is argued that, to meet the counter-arguments challenge, convergent realism should be considerably changed with a help of modification of the propositions from this meta-programme “hard core” or “protecting belt”. Two well-known convergent realism rivals – “entity realism” of Nancy Cartwright and Ian Hacking and John Worrall’s “structural realism” – are considered. Entity realism’s main drawback is (...) fundamental laws underestimation. As for structural realism, its limitation of theoretical propositions by pure structural ones is ineffective. One always can transform propositions about objects into propositions about structures and vice versa. Both conceptions are kinds of “metaphysical revisionism” that tries to reformulate the good old convergent realism propositions using more decent language and applying ad hoc modifications of the solutions first obtained within the anti-realist epistemological meta-programmes. It is stated that to overcome the troubles of convergent realism one has to turn from classical or “metaphysical” realism to nonclassical or “internal” one and to coherent theory of truth. Internal realism has no troubles in solving the problem of empirically-equivalent theoretical descriptions and historical meta-induction problem, but gets the problem of scientific knowledge objectivity instead. Where does this objectivity come from? One of the answers is proposed by the scientific knowledge growth model elaborated by Rinat Nugayev and by Peter Galison. Each paradigm is a local viewpoint determined by the peculiarities of a culture into which its creator . was submerged. However, the meeting of the different paradigms leads to their interaction; as a result, the crossbred theoretical objects are constructed. Through these systems the infiltration of one paradigm on the other’s domain takes place. After the old paradigms’ grinding the new ones emerge that reconcile to each other much better than the old ones. Scientific theories reconcile results in elimination of many contingent details. In the process of competition more universal components survive. It is demonstrated that the process of objective knowledge genesis takes place in modern superstring theory too. The list of its drawbacks is rather long; it is clear that the theory cannot pretend on the role of the Theory of Everything. Nevertheless the process of argumentation pro and contra convergent realism – underdetermination of theory by observational evidence and pessimistic meta-induction from past falsity – are considered. It is argued that, to meet the counter-arguments challenge, convergent realism should be considerably changed with a help of modification of the propositions from this meta-programme “hard core” or “protecting belt”. It is stated that to overcome the troubles of convergent realism one has to turn from classical or “metaphysic” of quantum field theory and general relativity interpenetration have already begun. (shrink)

We will make a new approach for an effect known as “Dark Energy” by an effect on gravitational field. In an accelerated rocket, the dimensions of space towards movement due to ‘Lorentz Contraction’ are on continuous reduction. Using the equivalence principle, we presume that in the gravitational field, the same thing would happen. In this implicates in ‘dark energy effect’. The calculi show that in a 7%-contraction for each billion years would explain our observation of galaxies in accelerated separation.

The paper addresses Leon Hen.kin's proposition as a " lighthouse", which can elucidate a vast territory of knowledge uniformly: logic, set theory, information theory, and quantum mechanics: Two strategies to infinity are equally relevant for it is as universal and t hus complete as open and thus incomplete. Henkin's, Godel's, Robert Jeroslow's, and Hartley Rogers' proposition are reformulated so that both completeness and incompleteness to be unified and thus reduced as a joint property of infinity and of all infinite sets. (...) However, only Henkin's proposition equivalent to an internal position to infinity is consistent . This can be retraced back to set theory and its axioms, where that of choice is a key. Quantum mechanics is forced to introduce infinity implicitly by Hilbert space, on which is founded its formalism. One can demonstrate that some essential properties of quantum information, entanglement, and quantum computer originate directly from infinity once it is involved in quantum mechanics. Thus, these phenomena can be elucidated as both complete and incomplete, after which choice is the border between them. A special kind of invariance to the axiom of choice shared by quantum mechanics is discussed to be involved that border between the completeness and incompleteness of infinity in a consistent way. The so-called paradox of Albert Einstein, Boris Podolsky, and Nathan Rosen is interpreted entirely in the same terms only of set theory. Quantum computer can demonstrate especially clearly the privilege of the internal position, or " observer'' , or "user" to infinity implied by Henkin's proposition as the only consistent ones as to infinity. An essential area of contemporary knowledge may be synthesized from a single viewpoint. (shrink)

Non-commuting quantities and hidden parameters – Wave-corpuscular dualism and hidden parameters – Local or nonlocal hidden parameters – Phase space in quantum mechanics – Weyl, Wigner, and Moyal – Von Neumann’s theorem about the absence of hidden parameters in quantum mechanics and Hermann – Bell’s objection – Quantum-mechanical and mathematical incommeasurability – Kochen – Specker’s idea about their equivalence – The notion of partial algebra – Embeddability of a qubit into a bit – Quantum computer is not Turing machine (...) – Is continuality universal? – Diffeomorphism and velocity – Einstein’s general principle of relativity – „Mach’s principle“ – The Skolemian relativity of the discrete and the continuous – The counterexample in § 6 of their paper – About the classical tautology which is untrue being replaced by the statements about commeasurable quantum-mechanical quantities – Logical hidden parameters – The undecidability of the hypothesis about hidden parameters – Wigner’s work and и Weyl’s previous one – Lie groups, representations, and psi-function – From a qualitative to a quantitative expression of relativity − psi-function, or the discrete by the random – Bartlett’s approach − psi-function as the characteristic function of random quantity – Discrete and/ or continual description – Quantity and its “digitalized projection“ – The idea of „velocity−probability“ – The notion of probability and the light speed postulate – Generalized probability and its physical interpretation – A quantum description of macro-world – The period of the as-sociated de Broglie wave and the length of now – Causality equivalently replaced by chance – The philosophy of quantum information and religion – Einstein’s thesis about “the consubstantiality of inertia ant weight“ – Again about the interpretation of complex velocity – The speed of time – Newton’s law of inertia and Lagrange’s formulation of mechanics – Force and effect – The theory of tachyons and general relativity – Riesz’s representation theorem – The notion of covariant world line – Encoding a world line by psi-function – Spacetime and qubit − psi-function by qubits – About the physical interpretation of both the complex axes of a qubit – The interpretation of the self-adjoint operators components – The world line of an arbitrary quantity – The invariance of the physical laws towards quantum object and apparatus – Hilbert space and that of Minkowski – The relationship between the coefficients of -function and the qubits – World line = psi-function + self-adjoint operator – Reality and description – Does a „curved“ Hilbert space exist? – The axiom of choice, or when is possible a flattening of Hilbert space? – But why not to flatten also pseudo-Riemannian space? – The commutator of conjugate quantities – Relative mass – The strokes of self-movement and its philosophical interpretation – The self-perfection of the universe – The generalization of quantity in quantum physics – An analogy of the Feynman formalism – Feynman and many-world interpretation – The psi-function of various objects – Countable and uncountable basis – Generalized continuum and arithmetization – Field and entanglement – Function as coding – The idea of „curved“ Descartes product – The environment of a function – Another view to the notion of velocity-probability – Reality and description – Hilbert space as a model both of object and description – The notion of holistic logic – Physical quantity as the information about it – Cross-temporal correlations – The forecasting of future – Description in separable and inseparable Hilbert space – „Forces“ or „miracles“ – Velocity or time – The notion of non-finite set – Dasein or Dazeit – The trajectory of the whole – Ontological and onto-theological difference – An analogy of the Feynman and many-world interpretation − psi-function as physical quantity – Things in the world and instances in time – The generation of the physi-cal by mathematical – The generalized notion of observer – Subjective or objective probability – Energy as the change of probability per the unite of time – The generalized principle of least action from a new view-point – The exception of two dimensions and Fermat’s last theorem. (shrink)

Christian B. Miller has noted a “realism challenge” for virtue ethicists to provide an account of how the character gap between virtuous agents and non-virtuous agents can be bridged. This is precisely one of Han Feizi’s key criticisms against Confucian virtue ethics, as Eric L. Hutton argues, which also cuts across the Aristotelian one: appealing to virtuous agents as ethical models provides the wrong kind of guidance for the development of virtues. Hutton, however, without going into detail, notes that the (...) notion of rituals in the Confucian tradition may be able to sidestep Han Feizi’s criticism. In this essay, I wish to explore not only how the notion of rituals, alongside its corollaries in Xunzi’s Confucian program for ethical cultivation, indeed addresses Han Feizi’s criticism, but also observe that Aristotle’s tragic poetry plays functionally equivalent roles in his own understanding of ethical upbringing. I will begin by considering Han Feizi’s critique of ethical cultivation in virtue ethics as such and how it poses a specific problem for the acquisition of the ‘constitutive reasoning’ shared by Aristotle and Xunzi. I will then briefly note that this problem trades on the synthetic structure of human nature found in both Aristotle and Xunzi (the rational/irrational parts of the soul and the heartmind/five faculties), which grounds the way they understand ethical action and agency. Finally, I will suggest how both Aristotle and Xunzi understand the role of the arts in their extensive programme of ethical cultivation, allowing them to respond to Han Feizi’s attack as too narrow a construal of their respective ethical projects. It is hoped that, through this, we may gain a better sense of how more recent virtue ethicists may similarly draw on aesthetic resources for ethical development. (shrink)

The vacuum energy density of free scalar quantum field phgr in a Rindler distributional space-time with distributional Levi-Cività connection is considered. It has been widely believed that, except in very extreme situations, the influence of acceleration on quantum fields should amount to just small, sub-dominant contributions. Here we argue that this belief is wrong by showing that in a Rindler distributional background space-time with distributional Levi-Cività connection the vacuum energy of free quantum fields is forced, by the very same background (...) distributional space-time such the Rindler distributional background space-time, to become dominant over any classical energy density component. This semiclassical gravity effect finds its roots in the singular behavior of quantum fields on a Rindler distributional space-times with distributional Levi-Cività connection. In particular we obtain that the vacuum fluctuations 〈phgr2〉 has a singular behavior on a Rindler horizon. Therefore sufficiently strongly accelerated observer burns up near the Rindler horizon. Thus Polchinski's account doesn't violate of the Einstein equivalence principle. (shrink)

The vacuum energy density of free scalar quantum field Φ in a Rindler distributional space-time with distributional Levi-Cività connection is considered. It has been widely believed that, except in very extreme situations, the influence of acceleration on quantum fields should amount to just small, sub-dominant contributions. Here we argue that this belief is wrong by showing that in a Rindler distributional background space-time with distributional Levi-Cività connection the vacuum energy of free quantum fields is forced, by the very same background (...) distributional space-time such a Rindler distributional background space-time, to become dominant over any classical energy density component. This semiclassical gravity effect finds its roots in the singular behavior of quantum fields on a Rindler distributional space-times with distributional Levi-Cività connection. In particular we obtain that the vacuum fluctuations Φ2 have a singular behavior at a Rindler horizon R 0 : 2 ( ) 4 , 2 , δ = Φ δ δ − δ  c a a→∞ . Therefore sufficiently strongly accelerated observer burns up near the Rindler horizon. Thus Polchinski’s account doesn’t violate the Einstein equivalence principle. (shrink)

Contemporary philosopher Jacques Rancière has been criticized for a concept of “politics” that is insensitive to the diminished agency of the corporeally oppressed. In a recent article, Dana Mills locates a solution to this alleged problem in Rancière most recent book translated into English, Aisthesis, in its chapter on Mallarmé’s writings on modern dancer Loïe Fuller. My first section argues that Mills’ reading exacerbates an “homonymy” (Rancière’s term) in Rancière’s use of the word “inscription,” which means for him either a (...) vicious literal carving on living bodies, or else a virtuous figurative carving on nonliving bodies. The former, I call “bodily carving,” while the latter is the “corporeal writing” that I take Mallarmé to affirm in Fuller. My second section observes that Rancière himself misses a homonymy in Mallarmé on Fuller, namely “dance,” meaning either “ballet” or dance in general (including Fuller’s). My third section concludes that Rancière’s chapter on Fuller includes another “dance” homonymy, meaning either “concert dance” or what I term a new “art of meta-movement” in Fuller. The latter art, I conclude, is equivalent to Mallarmé’s “corporeal writing,” and can be understood as a new form of dance education, in pursuit of a new utopia of worker-dancers. (shrink)

We investigate the implications of protective measurement for de Broglie-Bohm theory, mainly focusing on the interpretation of the wave function. It has been argued that the de Broglie-Bohm theory gives the same predictions as quantum mechanics by means of quantum equilibrium hypothesis. However, this equivalence is based on the premise that the wave function, regarded as a Ψ-field, has no mass and charge density distributions. But this premise turns out to be wrong according to protective measurement; a charged quantum (...) system has effective mass and charge density distributing in space, proportional to the square of the absolute value of its wave function. Then in the de Broglie-Bohm theory both Ψ-field and Bohmian particle will have charge density distribution for a charged quantum system. This will result in the existence of an electrostatic self-interaction of the field and an electromagnetic interaction between the field and Bohmian particle, which not only violates the superposition principle of quantum mechanics but also contradicts experimental observations. Therefore, the de Broglie-Bohm theory as a realistic interpretation of quantum mechanics is problematic according to protective measurement. Lastly, we briefly discuss the possibility that the wave function is not a physical field but a description of some sort of ergodic motion (e.g. random discontinuous motion) of particles. (shrink)

We investigate the validity of the field explanation of the wave function by analyzing the mass and charge density distributions of a quantum system. It is argued that a charged quantum system has effective mass and charge density distributing in space, proportional to the square of the absolute value of its wave function. This is also a consequence of protective measurement. If the wave function is a physical field, then the mass and charge density will be distributed in space simultaneously (...) for a charged quantum system, and thus there will exist a remarkable electrostatic self-interaction of its wave function, though the gravitational self-interaction is too weak to be detected presently. This not only violates the superposition principle of quantum mechanics but also contradicts experimental observations. Thus we conclude that the wave function cannot be a description of a physical field. In the second part of this paper, we further analyze the implications of these results for the main realistic interpretations of quantum mechanics, especially for de Broglie-Bohm theory. It has been argued that de Broglie-Bohm theory gives the same predictions as quantum mechanics by means of quantum equilibrium hypothesis. However, this equivalence is based on the premise that the wave function, regarded as a Ψ-field, has no mass and charge density distributions, which turns out to be wrong according to the above results. For a charged quantum system, both Ψ-field and Bohmian particle have charge density distribution. This then results in the existence of an electrostatic self-interaction of the field and an electromagnetic interaction between the field and Bohmian particle, which contradicts both the predictions of quantum mechanics and experimental observations. Therefore, de Broglie-Bohm theory as a realistic interpretation of quantum mechanics is probably wrong. Lastly, we suggest that the wave function is a description of some sort of ergodic motion (e.g. random discontinuous motion) of particles, and we also briefly analyze the implications of this suggestion for other realistic interpretations of quantum mechanics including many-worlds interpretation and dynamical collapse theories. (shrink)

In the sea trade, the traditional paper-based bill of lading has played an important role across the globe for centuries, but with the advent of advanced commercial modes of transportation and communication, the central position of this document is under threat. The importance of the bill of lading still prevails as does the need of the functions that this document served in the past, although in a changed format. In the recent past, the world has witnessed a lot of debate (...) about replacing this traditional paper-based document with an electronic equivalent that exhibits all of its functions and characteristics, both commercial and legal. More specifically, unlike many rival travel documents, such as the Sea Waybill, a bill of lading has two prominent features, that is to say, its negotiability and its acceptability as a document of title in certain legal jurisdictions that are required to be retained in an electronic bill of lading so as to also retain the prominence of this document in the future landscape. This thesis is, however, more concerned about the legal aspects of adopting the electronic bill of lading as a traditional paper-based legal document as well as an effective legal document in the present age. However, the scope of this debate remains primarily focused on the USA and UK jurisdictions. In the course of this thesis, it is observed that, in the past, the bill of lading has been subject to a variety of international regimes, such as The Hague Rules and The Hague-Visby Rules, and presently efforts are being made to arrive at a universal agreement under the umbrella of The Rotterdam Rules, but such an agreement is yet to arrive among the comity of nations. On the other hand, efforts made by the business community to introduce an electronic bill of lading are much louder and more evident. The private efforts, such as the SeaDocs System, CMI Rules, and the BOLERO Project, etc., were, however, received by the fellow business community with both applause as well as suspicion. At the same time, there are a number of concerns voiced by the international business community on the legislative adoptability in national and international jurisdictions and the courts’ approach in adjudicating cases involving electronic transactions and these are making the task of adoption of electronic bill of lading in the sea-based transactions a difficult task. Therefore, in the absence of any formal legal backing from national and international legislations, these attempts could not achieve the desired results. In this thesis, the present situation of the acceptability of electronic transactions in general, and of the electronic bill of lading specifically, has also been discussed with reference to certain national jurisdictions, such as Australia, India, South Korea and China, in order to present comparative perspectives on the preparedness of these nations. On the regional level, the efforts made by the European Union have also been discussed to promote electronic transactions within its jurisdiction. All the discussion, however, leads to the situation where the level of acceptability of electronic bill of lading in the near future is found to be dependent upon the official efforts from the national governments and putting these efforts towards arriving at an agreement on Rotterdam Rules as early as possible. The other area of importance revealed in this thesis is the need for change in juristic approach by the courts while interpreting and adjudicating upon cases involving electronic transactions. On the whole, this thesis has provided a cohesive and systematic review, synthesis and analysis of the history of the bill of lading, its importance as a document of title, and attempts to incorporate its important functions within the fast-paced electronic shipping commerce of today. In such a way it has provided a valuable contribution to the literature by providing a comprehensive resource for jurists, policy-makers and the business community alike, as they work towards adapting the bill of lading so that it might be successfully applied in electronic form. (shrink)

While the philosophers of science discuss the General Relativity, the mathematical physicists do not question it. Therefore, there is a conflict. From the theoretical point view “the question of precisely what Einstein discovered remains unanswered, for we have no consensus over the exact nature of the theory 's foundations. Is this the theory that extends the relativity of motion from inertial motion to accelerated motion, as Einstein contended? Or is it just a theory that treats gravitation geometrically in the spacetime (...) setting?”. “The voices of dissent proclaim that Einstein was mistaken over the fundamental ideas of his own theory and that their basic principles are simply incompatible with this theory. Many newer texts make no mention of the principles Einstein listed as fundamental to his theory; they appear as neither axiom nor theorem. At best, they are recalled as ideas of purely historical importance in the theory's formation. The very name General Relativity is now routinely condemned as a misnomer and its use often zealously avoided in favour of, say , Einstein's theory of gravitation What has complicated an easy resolution of the debate are the alterations of Einstein's own position on the foundations of his theory”, (Norton, 1993). Of other hand from the mathematical point view the “General Relativity had been formulated as a messy set of partial differential equations in a single coordinate system. People were so pleased when they found a solution that they didn't care that it probably had no physical significance” (Hawking and Penrose, 1996). So, during a time, the declaration of quantum theorists:“I take the positivist viewpoint that a physical theory is just a mathematical model and that it is meaningless to ask whether it corresponds to reality. All that one can ask is that its predictions should be in agreement with observation.” (Hawking and Penrose, 1996)seemed to solve the problem, but recently achieved with the help of the tightly and collectively synchronized clocks in orbit frontally contradicts fundamental assumptions of the theory of Relativity. These observations are in disagree from predictions of the theory of Relativity. (Hatch, 2004a, 2004b, 2007). The mathematical model was developed first by Grossmann who presented it, in 1913, as the mathematical part of the Entwurf theory, still referred to a curved Minkowski spacetime. Einstein completed the mathematical model, in 1915, formulated for Riemann ́s spacetimes. In this paper, we present as of General Relativity currently remains only the mathematical model, darkened with the results of Hatch and, course, we conclude that a Einstein ́s gravity theory does not exist. (shrink)

Formal criteria of theoretical equivalence are mathematical mappings between specific sorts of mathematical objects, notably including those objects used in mathematical physics. Proponents of formal criteria claim that results involving these criteria have implications that extend beyond pure mathematics. For instance, they claim that formal criteria bear on the project of using our best mathematical physics as a guide to what the world is like, and also have deflationary implications for various debates in the metaphysics of physics. In this (...) paper, I investigate whether there is a defensible view according to which formal criteria have significant non-mathematical implications, of these sorts or any other, reaching a chiefly negative verdict. Along the way, I discuss various foundational issues concerning how we use mathematical objects to describe the world when doing physics, and how this practice should inform metaphysics. I diagnose the prominence of formal criteria as stemming from contentious views on these foundational issues, and endeavor to motivate some alternative views in their stead. (shrink)

Are those judgments that we make on the basis of our memories immune to error through misidentification? In this paper, I discuss a phenomenon which seems to suggest that they are not; the phenomenon of observer memory. I argue that observer memories fail to show that memory judgments are not IEM. However, the discussion of observer memories will reveal an interesting fact about the perspectivity of memory; a fact that puts us on the right path towards explaining why memory judgments (...) are indeed IEM. The main tenet in the account of IEM to be proposed is that this aspect of memory is grounded, on the one hand, on the intentionality of perception and, on the other hand, on the relation between the intentionality of perception and that of memory. (shrink)

Our evidence can be about different subject matters. In fact, necessarily equivalent pieces of evidence can be about different subject matters. Does the hyperintensionality of ‘aboutness’ engender any hyperintensionality at the level of rational credence? In this paper, I present a case which seems to suggest that the answer is ‘yes’. In particular, I argue that our intuitive notions of independent evidence and inadmissible evidence are sensitive to aboutness in a hyperintensional way. We are thus left with a paradox. While (...) there is strong reason to think that rational credence cannot make such hyperintensional distinctions, our intuitive judgements about certain cases seem to demand that it does. (shrink)

This paper is concerned with the relation between two notions: that of two solutions or models of a theory being related by a symmetry of the theory and that of solutions or models being physically equivalent. A number of authors have recently discussed this relation, some taking an optimistic view, on which there is a suitable concept of the symmetry of a theory relative to which these two notions coincide, others taking a pessimistic view, on which there is no such (...) concept. The present paper arrives at a cautiously pessimistic conclusion. (shrink)

I investigate syntactic notions of theoretical equivalence between logical theories and a recent objection thereto. I show that this recent criticism of syntactic accounts, as extensionally inadequate, is unwarranted by developing an account which is plausibly extensionally adequate and more philosophically motivated. This is important for recent anti-exceptionalist treatments of logic since syntactic accounts require less theoretical baggage than semantic accounts.

Observer memories, memories where one sees oneself in the remembered scene, from-the-outside, are commonly considered less accurate and genuine than visual field memories, memories in which the scene remembered is seen as one originally experienced it. In Remembering from the Outside (OUP, 2019), Christopher McCarroll debunks this commonsense conception by offering a detailed analysis of the nature of observer memories. On the one hand, he explains how observer and field perspectives are not really mutually exclusive in an experience, including memory (...) experiences. On the other hand, he argues that in observer memories there is no additional explicit representation of oneself experiencing the event: the self-presence is transparent and given by the mode of presentation. Whereas these are two lines of strategic and original argumentation, they are not exempt of problems. In this critical notice, I focus on the problematic aspects of McCarroll’s account. I show that it presents some issues that affect the internal coherence of the overall framework, and that some aspects and central notions would have needed more development to offer a precise picture of the nature of observer memories. (shrink)

This paper corrects a mistake I saw students make but I have yet to see in print. The mistake is thinking that logically equivalent propositions have the same counterexamples—always. Of course, it is often the case that logically equivalent propositions have the same counterexamples: “every number that is prime is odd” has the same counterexamples as “every number that is not odd is not prime”. The set of numbers satisfying “prime but not odd” is the same as the set of (...) numbers satisfying “not odd but not not-prime”. The mistake is thinking that every two logically-equivalent false universal propositions have the same counterexamples. Only false universal propositions have counterexamples. A counterexample for “every two logically-equivalent false universal propositions have the same counterexamples” is two logically-equivalent false universal propositions not having the same counterexamples. The following counterexample arose naturally in my sophomore deductive logic course in a discussion of inner and outer converses. “Every even number precedes every odd number” is counterexemplified only by even numbers, whereas its equivalent “Every odd number is preceded by every even number” is counterexemplified only by odd numbers. Please let me know if you see this mistake in print. Also let me know if you have seen these points discussed before. I learned them in my own course: talk about learning by teaching! (shrink)

Abstract Theories are metaphysically equivalent just if there is no fact of the matter that could render one theory true and the other false. In this paper I argue that if we are judiciously to resolve disputes about whether theories are equivalent or not, we need to develop testable criteria that will give us epistemic access to the obtaining of the relation of metaphysical equivalence holding between those theories. I develop such ?diagnostic? criteria. I argue that correctly inter-translatable theories (...) are metaphysically equivalent, and what we need are ways of determining whether a putative translation is correct or not. To that end I develop a number of tools we can employ to discern whether a translation is a correct one. (shrink)

Answering a question formulated by Halbach (2009), I show that a disquotational truth theory, which takes as axioms all positive substitutions of the sentential T-schema, together with all instances of induction in the language with the truth predicate, is conservative over its syntactical base.

Intuitively, the knowledge of one’s own intentional actions is different from the knowledge of actions of other sorts, including those of other people and unintentional actions of one's own. But how are we to understand this phenomenon? Does it pertain to all actions, under every description under which they are known? If so, then how is this possible? If not, then how should we think about cases that are exceptions to this principle? This paper is a critical survey of recent (...) attempts to answer these questions. I consider views under three headings: "special source" views, which hold that the knowledge of one's intentional actions has a non-perceptual source; "special domain" views, which hold that some but not all aspects of one's intentional actions are known in a special way; and "special character" views, which hold that the knowledge of intentional actions is special not because of where it comes from, but because of some other respect in which it is different in kind from the knowledge of other things. (shrink)

A long series of studies in social psychology have shown that the explanations people give for their own behaviors are fundamentally different from the explanations they give for the behaviors of others. Still, a great deal of uncertainty remains about precisely what sorts of differences one finds here. We offer a new approach to addressing the problem. Specifically, we distinguish between two levels of representation ─ the level of linguistic structure (which consists of the actual series of words used in (...) the explanation) and the level of conceptual structure (which consists of the concepts these words are used to express). We then formulate and test hypotheses both about self-other differences in conceptual structure and about self-other differences in the mapping from conceptual structure to linguistic structure. (shrink)

Reformulating a scientific theory often leads to a significantly different way of understanding the world. Nevertheless, accounts of both theoretical equivalence and scientific understanding have neglected this important aspect of scientific theorizing. This essay provides a positive account of how reformulating theories changes our understanding. My account simultaneously addresses a serious challenge facing existing accounts of scientific understanding. These accounts have failed to characterize understanding in a way that goes beyond the epistemology of scientific explanation. By focusing on cases (...) where we have differences in understanding without differences in explanation, I show that understanding cannot be reduced to explanation. (shrink)

I argue that recent virtue theories (including those of Hursthouse, Slote, and Swanton) face important initial difficulties in accommodating the supererogatory. In particular, I consider several potential characterizations of the supererogatory modeled upon these familiar virtue theories (and their accounts of rightness) and argue that they fail to provide an adequate account of supererogation. In the second half of the paper I sketch an alternative virtue-based characterization of supererogation, one that is grounded in the attitudes of virtuous ideal observers, and (...) that avoids the concerns raised in the first part of the paper. (shrink)

In this paper I discuss the rule of inference proposed by Kuipers under the name of Inference to the Best Theory. In particular, I argue that the rule needs to be strengthened if it is to serve realist purposes. I further describe a method for testing, and perhaps eventually justifying, a suitably strengthened version of it.

This paper argues that new light may be shed on mathematical reasoning in its non-pathological forms by careful observation of its pathologies. The first section explores the application to mathematics of recent work on fallacy theory, specifically the concept of an ‘argumentation scheme’: a characteristic pattern under which many similar inferential steps may be subsumed. Fallacies may then be understood as argumentation schemes used inappropriately. The next section demonstrates how some specific mathematical fallacies may be characterized in terms of argumentation (...) schemes. The third section considers the phenomenon of correct answers which result from incorrect methods. This turns out to pose some deep questions concerning the nature of mathematical knowledge. In particular, it is argued that a satisfactory epistemology for mathematical practice must address the role of luck. (shrink)

This paper argues for a particular view about in what metaphysical equivalence consists: namely, that any two metaphysical theories are metaphysically equivalent if and only if those theories are strongly hyperintensionally equivalent. It is consistent with this characterisation that said theories are weakly hyperintensionally distinct, thus affording us the resources to model the content of propositional attitudes directed towards metaphysically equivalent theories in such a way that non-ideal agents can bear different propositional attitudes towards metaphysically equivalent theories.

In this article I attempt to show conclusively that the apparent intrinsic difference between causing collateral damage and directly attacking innocents is an illusion. I show how eleven morally irrelevant alterations can transform an apparently permissible case of harming as a side-effect into an apparently impermissible case of harming as a means. The alterations are as obviously irrelevant as the victims’ skin colour, and consistently treating them as relevant would have unacceptable implications for choices between more and less harmful ways (...) of securing greater goods. This shows not only how the principles philosophers have proposed for distinguishing between these cases cannot withstand scrutiny, but how we can be sure that there are no relevant differences yet to be discovered. I conclude by considering reasons to think that there are deontological constraints against harming, but that they apply just as forcefully against collateral harms as they do against intended harms. (shrink)

The fine-tuning argument can be used to support the Many Universe hypothesis. The Inverse Gambler’s Fallacy objection seeks to undercut the support for the Many Universe hypothesis. The objection is that although the evidence that there is life somewhere confirms Many Universes, the specific evidence that there is life in this universe does not. I will argue that the Inverse Gambler’s Fallacy is not committed by the fine-tuning argument. The key issue is the procedure by which the universe with life (...) is selected for observation. Once we take account of the procedure, we find that the support for the Many Universe hypothesis remains. (shrink)