Honest Toil or Sheer Magic?
Identifieur interne : 006998 ( Main/Exploration ); précédent : 006997; suivant : 006999Honest Toil or Sheer Magic?
Auteurs : Alan Weir [Royaume-Uni]Source :
- Dialectica [ 0012-2017 ] ; 2007-03.
English descriptors
- KwdEn :
- Abstract objects, Abstraction principles, Additional premisses, Alan, Alan weir, Asteroid, Asteroid itokawa, Auxiliary hypotheses, Axiom, Background logic, Best explanation, Black holes, Boundary conditions, Carnap, Carnap conditionals, Carnap sentence, Causal structure, Clarendon press, Colloquial sense, Complex sentences, Comprehension scheme, Constant temptation, Constraint, Constructive nominalism, Ctional, Ctional discourse, Dialectica, Domain, Economic theory, Editorial board, Electrical charge, Empirical entities, Empirical meaning, Empirical theory, Empty domain, Existence theorems, Existential generalisation, Existential import, Existential introduction, Free logic, General form, Generalisation, Genie, George boolos, Hamish hamish, Henkin semantics, Ibid, Idealisation, Jacobite cause, Journal compilation, Logical basis, Logical framework, Mary mary, Mathematical entities, Mathematical knowledge, Mathematical language, Mathematical objects, Mathematical results, Mathematical truths, Minimalistic notion, Moderate realism, Natural language, Natural numbers, Naturalistic account, Next section, Nite, Nite number, Objective truths, Ontological commitment, Ontological commitments, Open court, Oxford university press, Piano sonata, Postulate, Postulation, Postulational, Postulational constraints, Postulational system, Postulationism, Postulationist, Predicate, Predicate expressions, Predicate position, Premiss, Procedural postulationalism, Procedural postulationism, Rational consumers, Semantic value, Sheer magic, Similar sort, Standard axioms, Such questions, Such truths, Theoretical terms, Universal domain, Unrestricted, Unrestricted domain, Urelements, Usual view, Weir.
- Teeft :
- Abstract objects, Abstraction principles, Additional premisses, Alan, Alan weir, Asteroid, Asteroid itokawa, Auxiliary hypotheses, Axiom, Background logic, Best explanation, Black holes, Boundary conditions, Carnap, Carnap conditionals, Carnap sentence, Causal structure, Clarendon press, Colloquial sense, Complex sentences, Comprehension scheme, Constant temptation, Constraint, Constructive nominalism, Ctional, Ctional discourse, Dialectica, Domain, Economic theory, Editorial board, Electrical charge, Empirical entities, Empirical meaning, Empirical theory, Empty domain, Existence theorems, Existential generalisation, Existential import, Existential introduction, Free logic, General form, Generalisation, Genie, George boolos, Hamish hamish, Henkin semantics, Ibid, Idealisation, Jacobite cause, Journal compilation, Logical basis, Logical framework, Mary mary, Mathematical entities, Mathematical knowledge, Mathematical language, Mathematical objects, Mathematical results, Mathematical truths, Minimalistic notion, Moderate realism, Natural language, Natural numbers, Naturalistic account, Next section, Nite, Nite number, Objective truths, Ontological commitment, Ontological commitments, Open court, Oxford university press, Piano sonata, Postulate, Postulation, Postulational, Postulational constraints, Postulational system, Postulationism, Postulationist, Predicate, Predicate expressions, Predicate position, Premiss, Procedural postulationalism, Procedural postulationism, Rational consumers, Semantic value, Sheer magic, Similar sort, Standard axioms, Such questions, Such truths, Theoretical terms, Universal domain, Unrestricted, Unrestricted domain, Urelements, Usual view, Weir.
Abstract
In this article I discuss the ‘procedural postulationist’ view of mathematics advanced by Kit Fine in a recent paper. I argue that he has not shown that this view provides an avenue to knowledge of mathematical truths, at least if such truths are objective truths. In particular, more needs to be said about the criteria which constrain which types of entities can be postulated. I also argue that his reliance on second‐order quantification means that his background logic is not free of ontological commitment and that his doctrine of ‘creative expansion’ only makes sense from a radically anti‐realist perspective.
Url:
DOI: 10.1111/j.1746-8361.2006.01076.x
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 003661
- to stream Istex, to step Curation: 003661
- to stream Istex, to step Checkpoint: 002948
- to stream Main, to step Merge: 006B06
- to stream Main, to step Curation: 006998
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Honest Toil or Sheer Magic?</title>
<author><name sortKey="Weir, Alan" sort="Weir, Alan" uniqKey="Weir A" first="Alan" last="Weir">Alan Weir</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:6E44FF0368E856892BB25E1040C6428BD095F113</idno>
<date when="2007" year="2007">2007</date>
<idno type="doi">10.1111/j.1746-8361.2006.01076.x</idno>
<idno type="url">https://api.istex.fr/document/6E44FF0368E856892BB25E1040C6428BD095F113/fulltext/pdf</idno>
<idno type="wicri:Area/Istex/Corpus">003661</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">003661</idno>
<idno type="wicri:Area/Istex/Curation">003661</idno>
<idno type="wicri:Area/Istex/Checkpoint">002948</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">002948</idno>
<idno type="wicri:doubleKey">0012-2017:2007:Weir A:honest:toil:or</idno>
<idno type="wicri:Area/Main/Merge">006B06</idno>
<idno type="wicri:Area/Main/Curation">006998</idno>
<idno type="wicri:Area/Main/Exploration">006998</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main">Honest Toil or Sheer Magic?</title>
<author><name sortKey="Weir, Alan" sort="Weir, Alan" uniqKey="Weir A" first="Alan" last="Weir">Alan Weir</name>
<affiliation wicri:level="4"><country wicri:rule="url">Royaume-Uni</country>
<wicri:regionArea>Department of Philosophy, University of Glasgow, 67‐69 Oakfield Avenue, Glasgow G12 8QQ</wicri:regionArea>
<orgName type="university">Université de Glasgow</orgName>
<placeName><settlement type="city">Glasgow</settlement>
<region type="country">Écosse</region>
</placeName>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="j" type="main">Dialectica</title>
<title level="j" type="alt">DIALECTICA</title>
<idno type="ISSN">0012-2017</idno>
<idno type="eISSN">1746-8361</idno>
<imprint><biblScope unit="vol">61</biblScope>
<biblScope unit="issue">1</biblScope>
<biblScope unit="page" from="89">89</biblScope>
<biblScope unit="page" to="115">115</biblScope>
<biblScope unit="page-count">27</biblScope>
<publisher>Blackwell Publishing Ltd</publisher>
<pubPlace>Oxford, UK</pubPlace>
<date type="published" when="2007-03">2007-03</date>
</imprint>
<idno type="ISSN">0012-2017</idno>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0012-2017</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Abstract objects</term>
<term>Abstraction principles</term>
<term>Additional premisses</term>
<term>Alan</term>
<term>Alan weir</term>
<term>Asteroid</term>
<term>Asteroid itokawa</term>
<term>Auxiliary hypotheses</term>
<term>Axiom</term>
<term>Background logic</term>
<term>Best explanation</term>
<term>Black holes</term>
<term>Boundary conditions</term>
<term>Carnap</term>
<term>Carnap conditionals</term>
<term>Carnap sentence</term>
<term>Causal structure</term>
<term>Clarendon press</term>
<term>Colloquial sense</term>
<term>Complex sentences</term>
<term>Comprehension scheme</term>
<term>Constant temptation</term>
<term>Constraint</term>
<term>Constructive nominalism</term>
<term>Ctional</term>
<term>Ctional discourse</term>
<term>Dialectica</term>
<term>Domain</term>
<term>Economic theory</term>
<term>Editorial board</term>
<term>Electrical charge</term>
<term>Empirical entities</term>
<term>Empirical meaning</term>
<term>Empirical theory</term>
<term>Empty domain</term>
<term>Existence theorems</term>
<term>Existential generalisation</term>
<term>Existential import</term>
<term>Existential introduction</term>
<term>Free logic</term>
<term>General form</term>
<term>Generalisation</term>
<term>Genie</term>
<term>George boolos</term>
<term>Hamish hamish</term>
<term>Henkin semantics</term>
<term>Ibid</term>
<term>Idealisation</term>
<term>Jacobite cause</term>
<term>Journal compilation</term>
<term>Logical basis</term>
<term>Logical framework</term>
<term>Mary mary</term>
<term>Mathematical entities</term>
<term>Mathematical knowledge</term>
<term>Mathematical language</term>
<term>Mathematical objects</term>
<term>Mathematical results</term>
<term>Mathematical truths</term>
<term>Minimalistic notion</term>
<term>Moderate realism</term>
<term>Natural language</term>
<term>Natural numbers</term>
<term>Naturalistic account</term>
<term>Next section</term>
<term>Nite</term>
<term>Nite number</term>
<term>Objective truths</term>
<term>Ontological commitment</term>
<term>Ontological commitments</term>
<term>Open court</term>
<term>Oxford university press</term>
<term>Piano sonata</term>
<term>Postulate</term>
<term>Postulation</term>
<term>Postulational</term>
<term>Postulational constraints</term>
<term>Postulational system</term>
<term>Postulationism</term>
<term>Postulationist</term>
<term>Predicate</term>
<term>Predicate expressions</term>
<term>Predicate position</term>
<term>Premiss</term>
<term>Procedural postulationalism</term>
<term>Procedural postulationism</term>
<term>Rational consumers</term>
<term>Semantic value</term>
<term>Sheer magic</term>
<term>Similar sort</term>
<term>Standard axioms</term>
<term>Such questions</term>
<term>Such truths</term>
<term>Theoretical terms</term>
<term>Universal domain</term>
<term>Unrestricted</term>
<term>Unrestricted domain</term>
<term>Urelements</term>
<term>Usual view</term>
<term>Weir</term>
</keywords>
<keywords scheme="Teeft" xml:lang="en"><term>Abstract objects</term>
<term>Abstraction principles</term>
<term>Additional premisses</term>
<term>Alan</term>
<term>Alan weir</term>
<term>Asteroid</term>
<term>Asteroid itokawa</term>
<term>Auxiliary hypotheses</term>
<term>Axiom</term>
<term>Background logic</term>
<term>Best explanation</term>
<term>Black holes</term>
<term>Boundary conditions</term>
<term>Carnap</term>
<term>Carnap conditionals</term>
<term>Carnap sentence</term>
<term>Causal structure</term>
<term>Clarendon press</term>
<term>Colloquial sense</term>
<term>Complex sentences</term>
<term>Comprehension scheme</term>
<term>Constant temptation</term>
<term>Constraint</term>
<term>Constructive nominalism</term>
<term>Ctional</term>
<term>Ctional discourse</term>
<term>Dialectica</term>
<term>Domain</term>
<term>Economic theory</term>
<term>Editorial board</term>
<term>Electrical charge</term>
<term>Empirical entities</term>
<term>Empirical meaning</term>
<term>Empirical theory</term>
<term>Empty domain</term>
<term>Existence theorems</term>
<term>Existential generalisation</term>
<term>Existential import</term>
<term>Existential introduction</term>
<term>Free logic</term>
<term>General form</term>
<term>Generalisation</term>
<term>Genie</term>
<term>George boolos</term>
<term>Hamish hamish</term>
<term>Henkin semantics</term>
<term>Ibid</term>
<term>Idealisation</term>
<term>Jacobite cause</term>
<term>Journal compilation</term>
<term>Logical basis</term>
<term>Logical framework</term>
<term>Mary mary</term>
<term>Mathematical entities</term>
<term>Mathematical knowledge</term>
<term>Mathematical language</term>
<term>Mathematical objects</term>
<term>Mathematical results</term>
<term>Mathematical truths</term>
<term>Minimalistic notion</term>
<term>Moderate realism</term>
<term>Natural language</term>
<term>Natural numbers</term>
<term>Naturalistic account</term>
<term>Next section</term>
<term>Nite</term>
<term>Nite number</term>
<term>Objective truths</term>
<term>Ontological commitment</term>
<term>Ontological commitments</term>
<term>Open court</term>
<term>Oxford university press</term>
<term>Piano sonata</term>
<term>Postulate</term>
<term>Postulation</term>
<term>Postulational</term>
<term>Postulational constraints</term>
<term>Postulational system</term>
<term>Postulationism</term>
<term>Postulationist</term>
<term>Predicate</term>
<term>Predicate expressions</term>
<term>Predicate position</term>
<term>Premiss</term>
<term>Procedural postulationalism</term>
<term>Procedural postulationism</term>
<term>Rational consumers</term>
<term>Semantic value</term>
<term>Sheer magic</term>
<term>Similar sort</term>
<term>Standard axioms</term>
<term>Such questions</term>
<term>Such truths</term>
<term>Theoretical terms</term>
<term>Universal domain</term>
<term>Unrestricted</term>
<term>Unrestricted domain</term>
<term>Urelements</term>
<term>Usual view</term>
<term>Weir</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">In this article I discuss the ‘procedural postulationist’ view of mathematics advanced by Kit Fine in a recent paper. I argue that he has not shown that this view provides an avenue to knowledge of mathematical truths, at least if such truths are objective truths. In particular, more needs to be said about the criteria which constrain which types of entities can be postulated. I also argue that his reliance on second‐order quantification means that his background logic is not free of ontological commitment and that his doctrine of ‘creative expansion’ only makes sense from a radically anti‐realist perspective.</div>
</front>
</TEI>
<affiliations><list><country><li>Royaume-Uni</li>
</country>
<region><li>Écosse</li>
</region>
<settlement><li>Glasgow</li>
</settlement>
<orgName><li>Université de Glasgow</li>
</orgName>
</list>
<tree><country name="Royaume-Uni"><region name="Écosse"><name sortKey="Weir, Alan" sort="Weir, Alan" uniqKey="Weir A" first="Alan" last="Weir">Alan Weir</name>
</region>
</country>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Santé/explor/EdenteV2/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 006998 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 006998 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Santé |area= EdenteV2 |flux= Main |étape= Exploration |type= RBID |clé= ISTEX:6E44FF0368E856892BB25E1040C6428BD095F113 |texte= Honest Toil or Sheer Magic? }}
![]() | This area was generated with Dilib version V0.6.32. | ![]() |