Results 1  10
of
49
Formalized mathematics
 TURKU CENTRE FOR COMPUTER SCIENCE
, 1996
"... It is generally accepted that in principle it’s possible to formalize completely almost all of presentday mathematics. The practicability of actually doing so is widely doubted, as is the value of the result. But in the computer age we believe that such formalization is possible and desirable. In c ..."
Abstract

Cited by 24 (0 self)
 Add to MetaCart
It is generally accepted that in principle it’s possible to formalize completely almost all of presentday mathematics. The practicability of actually doing so is widely doubted, as is the value of the result. But in the computer age we believe that such formalization is possible and desirable. In contrast to the QED Manifesto however, we do not offer polemics in support of such a project. We merely try to place the formalization of mathematics in its historical perspective, as well as looking at existing praxis and identifying what we regard as the most interesting issues, theoretical and practical.
SINBAD Neurosemantics: A theory of mental representation. Mind
 Brain & Mind
, 2001
"... Abstract: I present an account of mental representation based upon the ‘SINBAD’ theory of the cerebral cortex. If the SINBAD theory is correct, then networks of pyramidal cells in the cerebral cortex are appropriately described as representing, or more specifically, as modelling the world. I propose ..."
Abstract

Cited by 7 (2 self)
 Add to MetaCart
Abstract: I present an account of mental representation based upon the ‘SINBAD’ theory of the cerebral cortex. If the SINBAD theory is correct, then networks of pyramidal cells in the cerebral cortex are appropriately described as representing, or more specifically, as modelling the world. I propose that SINBAD representation reveals the nature of the kind of mental representation found in human and animal minds, since the cortex is heavily implicated in these kinds of minds. Finally, I show how SINBAD neurosemantics can provide accounts of misrepresentation, equivocal representation, twin cases, and Frege cases. 1.
particles and structural realism
"... Even if we are able to decide on a canonical formulation of our theory, there is the further problem of metaphysical underdetermination with respect to, for example, whether the entities postulated by a theory are individuals or not... We need to recognise the failure of our best theories to determi ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
Even if we are able to decide on a canonical formulation of our theory, there is the further problem of metaphysical underdetermination with respect to, for example, whether the entities postulated by a theory are individuals or not... We need to recognise the failure of our best theories to determine even the most fundamental ontological characteristic of the purported entities they feature... What is required is a shift to a different ontological basis altogether, one for which questions of individuality simply do not arise. Perhaps we should view the individuals and nonindividuals packages, like particle and field pictures, as different representations of the same structure. There is an analogy here with the debate about substantivalism in general relativity. (Ladyman, 1998) In his paper “What is Structural Realism? ” (1998) James Ladyman drew a distinction between epistemological structural realism (ESR) and metaphysical (or ontic) structural realism (OSR). In recent years this distinction has set much of the agenda for philosophers of science interested in scientific realism. It has also led to the emergence of a related discussion in the philosophy of physics that concerns the alleged difficulties of interpreting general relativity that revolve around the question of the ontological status of spacetime points. Ladyman drew a suggestive analogy between the perennial debate between substantivalist and relationalist interpretations of spacetime on the one hand, and the debate about whether quantum mechanics treats identical particles as individuals or as ‘nonindividuals ’ on the other. In both cases, Ladyman’s suggestion is that a structural realist interpretation of the physics—in particular, an ontic structural realism—might
Reflections on Skolem's Paradox
"... In 1922, Thoraf Skolem published a paper titled "Some remarks on Axiomatized Set Theory". The paper presents a new proof of... This dissertation focuses almost exclusively on the first half of this project  i.e., the half which tries to expose an initial tension between Cantor's the ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
In 1922, Thoraf Skolem published a paper titled "Some remarks on Axiomatized Set Theory". The paper presents a new proof of... This dissertation focuses almost exclusively on the first half of this project  i.e., the half which tries to expose an initial tension between Cantor's theorem and the LöwenheimSkolem theorem. I argue that, even on quite naive understandings of set theory and model theory, there is no such tension. Hence, Skolem's Paradox is not a genuine paradox, and there is very little reason to worry about (or even to investigate) the more extreme consequences that are supposed to follow from this paradox. The heart of my...
Is the Continuum Hypothesis a definite mathematical problem?
"... [t]he analysis of the phrase “how many ” unambiguously leads to a definite meaning for the question [“How many different sets of integers do their exist?”]: the problem is to find out which one of the א’s is the number of points of a straight line … Cantor, after having proved that this number is gr ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
[t]he analysis of the phrase “how many ” unambiguously leads to a definite meaning for the question [“How many different sets of integers do their exist?”]: the problem is to find out which one of the א’s is the number of points of a straight line … Cantor, after having proved that this number is greater than א0, conjectured that it is א1. An equivalent proposition is this: any infinite subset of the continuum has the power either of the set of integers or of the whole continuum. This is Cantor’s continuum hypothesis. … But, although Cantor’s set theory has now had a development of more than sixty years and the [continuum] problem is evidently of great importance for it, nothing has been proved so far relative to the question of what the power of the continuum is or whether its subsets satisfy the condition just stated, except that … it is true for a certain infinitesimal fraction of these subsets, [namely] the analytic sets. Not even an upper bound, however high, can be assigned for the power of the continuum. It is undecided whether this number is regular or singular, accessible or inaccessible, and (except for König’s negative result) what its character of cofinality is. Gödel 1947, 516517 [in Gödel 1990, 178]
Macroscopic Ontology in Everettian Quantum Mechanics’. Philosophical Quarterly 61:243
 Objective Probability in Everettian Quantum Mechanics’. To appear in British Journal for Philosophy of Science
"... ..."
1 Induction and Comparison
"... Frege proved an important result, concerning the relation of arithmetic to secondorder logic, that bears on several issues in linguistics. Frege’s Theorem illustrates the logic of relations like PRECEDES(x, y) and TALLER(x, y), while raising doubts about the idea that we understand sentences like ‘ ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Frege proved an important result, concerning the relation of arithmetic to secondorder logic, that bears on several issues in linguistics. Frege’s Theorem illustrates the logic of relations like PRECEDES(x, y) and TALLER(x, y), while raising doubts about the idea that we understand sentences like ‘Carl is taller than Al ’ in terms of abstracta like heights and numbers. Abstract paraphrase can be useful—as when we say that Carl’s height exceeds Al’s—without reflecting semantic structure. Related points apply to causal relations, and even grammatical relations like DOMINATES(x, y). Perhaps surprisingly, Frege provides the resources needed to recursively characterize labelled expressions without characterizing them as sets. His theorem may also bear on questions about the meaning and acquisition of number words.
Scientific structuralism: Presentation and representation
 Philosophy of Science
, 2006
"... This paper explores varieties of scientific structuralism. Central to our investigation is the notion of ‘shared structure’. We begin with a description of mathematical structuralism and use this to point out analogies and disanalogies with scientific structuralism. Our particular focus is the sem ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
This paper explores varieties of scientific structuralism. Central to our investigation is the notion of ‘shared structure’. We begin with a description of mathematical structuralism and use this to point out analogies and disanalogies with scientific structuralism. Our particular focus is the semantic structuralist’s attempt to use the notion of shared structure to account for the theoryworld connection, this use being crucially important to both the contemporary structural empiricist and realist. We show why minimal scientific structuralism is, at the very least, a powerful methodological standpoint. Our investigation also makes explicit what more must be added to this minimal structuralist position in order to address the theoryworld connection, namely, an account of representation. 1. Introduction. The