Results 1  10
of
18
Philosophies of probability: objective Bayesianism and its challenges
 Handbook of the philosophy of mathematics. Elsevier, Amsterdam. Handbook of the Philosophy of Science
, 2004
"... This chapter presents an overview of the major interpretations of probability followed by an outline of the objective Bayesian interpretation and a discussion of the key challenges it faces. ..."
Abstract

Cited by 8 (5 self)
 Add to MetaCart
This chapter presents an overview of the major interpretations of probability followed by an outline of the objective Bayesian interpretation and a discussion of the key challenges it faces.
Implementation Is Semantic Interpretation: Further Thoughts
 Journal of Experimental and Theoretical Artificial Intelligence
, 2005
"... This essay explores the implications of the thesis that implementation is semantic interpretation. Implementation is (at least) a ternary relation: I is an implementation of an ‘Abstraction ’ A in some medium M. Examples are presented from the arts, from language, from computer science and from cogn ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
This essay explores the implications of the thesis that implementation is semantic interpretation. Implementation is (at least) a ternary relation: I is an implementation of an ‘Abstraction ’ A in some medium M. Examples are presented from the arts, from language, from computer science and from cognitive science, where both brains and computers can be understood as implementing a ‘mind Abstraction’. Implementations have side effects due to the implementing medium; these can account for several puzzles surrounding qualia. Finally, an argument for benign panpsychism is developed.
An argument for the uncomputability of infinitary mathematical expertise
 ‘Expertise in Context’, AAAI Press, Menlo Park, CA
, 1997
"... To a majority of the people involved in the study of expertise from a computational perspective, `expertise' tends to refer to domains such as medical diagnosis, aircraft piloting, auditing, etc. The reasoning in domains like these appears to be readymade for computational packaging. But what ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
To a majority of the people involved in the study of expertise from a computational perspective, `expertise' tends to refer to domains such as medical diagnosis, aircraft piloting, auditing, etc. The reasoning in domains like these appears to be readymade for computational packaging. But what if we try to cast a broader, braver net in an attempt to catch varieties of expertise out there in the real world which don't, at least at first glance, look like they can be rendered in computational terms? In particular, what about mathematical expertise? In this chapter I focus on elementary &quot;infinitary &quot; expertise in the domain of mathematical logic. I argue that at least some of this expertise is indeed uncomputable. I end by briefly discussing the implications of this argument for the practice of AI and expert systems.
Philosophies of probability
 Handbook of the Philosophy of Mathematics, Volume 4 of the Handbook of the Philosophy of Science
"... This chapter presents an overview of the major interpretations of probability followed by an outline of the objective Bayesian interpretation and a discussion of the key challenges it faces. I discuss the ramifications of interpretations of probability and objective Bayesianism for the philosophy of ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
This chapter presents an overview of the major interpretations of probability followed by an outline of the objective Bayesian interpretation and a discussion of the key challenges it faces. I discuss the ramifications of interpretations of probability and objective Bayesianism for the philosophy of mathematics in general.
Issues in the Philosophy of Cosmology
 Handbook in Philosophy of Physics
, 2006
"... After a survey of the present state of cosmological theory and observations, this article discusses a series of major themes underlying the relation of philosophy to cosmology. These are: A: The uniqueness of the universe; B: The large scale of the universe in space and time; C: The unbound energies ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
After a survey of the present state of cosmological theory and observations, this article discusses a series of major themes underlying the relation of philosophy to cosmology. These are: A: The uniqueness of the universe; B: The large scale of the universe in space and time; C: The unbound energies in the early universe; D: Explaining the universe — the question of origins; E: The universe as the background for existence; F: The explicit philosophical basis; G: The Anthropic question: fine tuning for life; H: The possible existence of multiverses; I: The natures of existence. Each of these themes is explored and related to a series of Theses that set out the major issues confronting cosmology in relation to philosophy. 1
The formal method known as B and a sketch for its implementation
, 2002
"... This thesis provides a reconstruction of the Bmethod and sketches an implementation of its tool support.For background, this work investigates the field of formal methods in general and the relevance of formal methods to software engineering in particular. Formal (firstorder) logic is also conside ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
This thesis provides a reconstruction of the Bmethod and sketches an implementation of its tool support.For background, this work investigates the field of formal methods in general and the relevance of formal methods to software engineering in particular. Formal (firstorder) logic is also considered: both its development and important points relevant to formal methods. Automated reasoning, particularly its theoretical limits as well as unification and resolution, is discussed. The main part of this thesis is a systematic reconstruction of the Bmethod, starting from its version of untyped predicate calculus and typed set theory, continuing with the Generalized Substitution Language (GSL) and finishing with the Abstract Machine Notation (AMN). Specification, refinement and implementation of a simple example using the Bmethod is presented. Both validation and verification of specifications, refinements and implementations using the Bmethod is discussed. The thesis concludes with a report of the current state of the effort (by the author) to implement the tool support of the Bmethod, as the Ebba Toolset. The main design decisions are discussed. The use of Unicode as the primary input encoding of AMN and GSL in Ebba is described.
Type Theory with FirstOrder Data Types and SizeChange Termination
, 2004
"... We prove normalization for a dependently typed lambdacalculus extended with firstorder data types and computation schemata for firstorder sizechange terminating recursive functions. Sizechange termination, introduced by C.S. Lee, N.D. Jones and A.M. BenAmram, can be seen as a generalized form ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
We prove normalization for a dependently typed lambdacalculus extended with firstorder data types and computation schemata for firstorder sizechange terminating recursive functions. Sizechange termination, introduced by C.S. Lee, N.D. Jones and A.M. BenAmram, can be seen as a generalized form of structural induction, which allows inductive computations and proofs to be defined in a straightforward manner. The language can be used as a proof system—an extension of MartinLöf’s Logical Framework.
Dark matter and dark energy proposals: maintaining cosmology as a true science?
, 2008
"... I consider the relation of explanations for the observed data to testability in the following contexts: observational and experimental detection of dark matter; observational and experimental detection of dark energy or a cosmological constant Λ; observational or experimental testing of the multiver ..."
Abstract
 Add to MetaCart
I consider the relation of explanations for the observed data to testability in the following contexts: observational and experimental detection of dark matter; observational and experimental detection of dark energy or a cosmological constant Λ; observational or experimental testing of the multiverse proposal to explain a small nonzero value of Λ; and observational testing of the possibility of large scale spatial inhomogeneity with zero Λ.
Epistemic truth and excluded middle*
"... Abstract: Can an epistemic conception of truth and an endorsement of the excluded middle (together with other principles of classical logic abandoned by the intuitionists) cohabit in a plausible philosophical view? In PART I I describe the general problem concerning the relation between the epistemi ..."
Abstract
 Add to MetaCart
Abstract: Can an epistemic conception of truth and an endorsement of the excluded middle (together with other principles of classical logic abandoned by the intuitionists) cohabit in a plausible philosophical view? In PART I I describe the general problem concerning the relation between the epistemic conception of truth and the principle of excluded middle. In PART II I give a historical overview of different attitudes regarding the problem. In PART III I sketch a possible holistic solution. Part I The Problem §1. The epistemic conception of truth. The epistemic conception of truth can be formulated in many ways. But the basic idea is that truth is explained in terms of epistemic notions, like experience, argument, proof, knowledge, etc. One way of formulating this idea is by saying that truth and knowability coincide, i.e. for every statement S