Typos of Principia Mathematica
Principia Mathematic goes to great lengths to hide its order/type indices and to make it appear as if its incomplete symbols behave as if they are singular terms. But well-hidden as they are, we cannot understand the proofs in Principia unless we bring them into focus. When we do, some rather surpri...
Saved in:
| Published in | History and philosophy of logic Vol. 34; no. 4; pp. 306 - 334 |
|---|---|
| Main Author | |
| Format | Journal Article |
| Language | English |
| Published |
Taylor & Francis
01.11.2013
|
| Online Access | Get full text |
| ISSN | 0144-5340 1464-5149 |
| DOI | 10.1080/01445340.2013.764961 |
Cover
| Abstract | Principia Mathematic goes to great lengths to hide its order/type indices and to make it appear as if its incomplete symbols behave as if they are singular terms. But well-hidden as they are, we cannot understand the proofs in Principia unless we bring them into focus. When we do, some rather surprising results emerge - which is the subject of this paper. |
|---|---|
| AbstractList | Principia Mathematic goes to great lengths to hide its order/type indices and to make it appear as if its incomplete symbols behave as if they are singular terms. But well-hidden as they are, we cannot understand the proofs in Principia unless we bring them into focus. When we do, some rather surprising results emerge - which is the subject of this paper. |
| Author | Landini, Gregory |
| Author_xml | – sequence: 1 givenname: Gregory surname: Landini fullname: Landini, Gregory email: gregory-landini@uiowa.edu organization: University of Iowa |
| BookMark | eNqFkE1LAzEQhoNUcFv9ByL9A1tn8rEfXkSKVaGih3oO0zTByHazJAvSf-8u1YsHZQ5zeZ-XeWbKJm1oLWOXCAuECq4BpVRCwoIDikVZyLrAE5ahLGSuUNYTlo2RfMycsWlKHwAwECpjV5tDF9I8uPlr9K3xnaf5M_Xvdk-9N3TOTh01yV587xl7W91vlo_5-uXhaXm3zo2Ass9N6UpQtuZYKSjQFpUga5UwDisydcXFjoTbcuSVKaTlggu0wwhDakscxIzJY6-JIaVone6i31M8aAQ9OuofRz066qPjgN38wozvh8ND20fyzX_w7RH2rQtxT58hNjvd06EJ0UUanpG0-LPhC_H7aeE |
| CitedBy_id | crossref_primary_10_1080_01445340_2015_1082063 crossref_primary_10_1086_680345 |
| Cites_doi | 10.1093/oso/9780195116830.001.0001 10.1017/CBO9780511760181 10.1017/CBO9780511487255 10.2307/2268137 |
| ContentType | Journal Article |
| Copyright | 2013 Taylor & Francis 2013 |
| Copyright_xml | – notice: 2013 Taylor & Francis 2013 |
| DBID | AAYXX CITATION |
| DOI | 10.1080/01445340.2013.764961 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Philosophy |
| EISSN | 1464-5149 |
| EndPage | 334 |
| ExternalDocumentID | 10_1080_01445340_2013_764961 764961 |
| Genre | Article |
| GroupedDBID | -~X .7I .QK 0BK 0R~ 29I 4.4 42P 5GY 5VS AACJB AAGZJ AAMFJ AAMIU AAPUL AATTQ AAZMC ABCCR ABCCY ABDBF ABFIM ABJNI ABLIJ ABPEM ABTAI ABXUL ABXYU ABZLS ACGEJ ACGFS ACJZB ACTIO ACTOA ACUHS ADAHI ADCVX ADKVQ ADMHG ADXPE AECIN AEISY AEKEX AENEX AEOZL AEPSL AEYOC AEZRU AGDLA AGMYJ AGRBW AHDZW AIJEM AJWEG AKBVH ALMA_UNASSIGNED_HOLDINGS ALQZU AVBZW AWYRJ BEJHT BLEHA BMOTO BOHLJ CCCUG CQ1 CS3 DGFLZ DKSSO DU5 EAP EBS EJD EMK EPL ERP EST ESX E~B E~C G-F GTTXZ H13 HF~ HZ~ IPNFZ J.O KYCEM M4Z NA5 NV0 O9- P2P RIG RNANH ROSJB RSYQP S-F STATR TBQAZ TDBHL TEA TFH TFL TFW TNTFI TRJHH TUROJ UT5 UT9 VAE ~01 ~45 ~S~ 07T 4B2 AAFIL AAGDL AAHIA AAYXX ABBTZ ABPOS ABRPQ ACKFP ACQEN ADAYW ADBSQ ADCKY ADGIS ADYSH AEFOU AFFNX AFRVT AGQWK AI. AIYEW AIYFQ ALBBK AMPGV AUELE BEAKC BLCGZ C59 CAG CFLMM CITATION COF CPXUD C~S HFLSK ILQNU LAPZY LJTGL MVM OAFDQ TAR TFOJV U9Z V4T VH1 VQP |
| ID | FETCH-LOGICAL-c307t-c7f705e92185061e683aee53cf18ac9823da3fb2128c64e23231e1e13ca5ba203 |
| ISSN | 0144-5340 |
| IngestDate | Thu Apr 24 23:01:51 EDT 2025 Tue Jul 01 02:06:26 EDT 2025 Wed Dec 25 09:00:53 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 4 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c307t-c7f705e92185061e683aee53cf18ac9823da3fb2128c64e23231e1e13ca5ba203 |
| PageCount | 29 |
| ParticipantIDs | crossref_primary_10_1080_01445340_2013_764961 informaworld_taylorfrancis_310_1080_01445340_2013_764961 crossref_citationtrail_10_1080_01445340_2013_764961 |
| ProviderPackageCode | CITATION AAYXX |
| PublicationCentury | 2000 |
| PublicationDate | 11/1/2013 2013-11-00 |
| PublicationDateYYYYMMDD | 2013-11-01 |
| PublicationDate_xml | – month: 11 year: 2013 text: 11/1/2013 day: 01 |
| PublicationDecade | 2010 |
| PublicationTitle | History and philosophy of logic |
| PublicationYear | 2013 |
| Publisher | Taylor & Francis |
| Publisher_xml | – name: Taylor & Francis |
| References | Church A. (CIT0003) 1984 Whitehead A. N. (CIT0015) Linsky L. (CIT0010) 1983 Church A. (CIT0004) 1988 CIT0011 Carnap R. (CIT0001) 1947 Gödel K. (CIT0005) 1944 Hatcher W. (CIT0006) 1982 CIT0014 Landini G. (CIT0008) 1998 Hochberg H. (CIT0007) 1970 Russell B. (CIT0013) 1959 CIT0009 Cassin C. (CIT0002) 1970 |
| References_xml | – start-page: 298 volume-title: Recent Essays on Truth and the Liar Paradox year: 1984 ident: CIT0003 – start-page: 205 volume-title: Essays on Bertrand Russell year: 1970 ident: CIT0007 – volume-title: Oblique Contexts year: 1983 ident: CIT0010 – volume-title: Russell's Hidden Substitutional Theory year: 1998 ident: CIT0008 doi: 10.1093/oso/9780195116830.001.0001 – ident: CIT0011 doi: 10.1017/CBO9780511760181 – volume-title: My Philosophic Development year: 1959 ident: CIT0013 – volume-title: The Logical Foundations of Mathematics year: 1982 ident: CIT0006 – start-page: 58 volume-title: Syntaxis (Montevideo); year: 1988 ident: CIT0004 – volume-title: P.M. Principia Mathematica ident: CIT0015 – volume-title: Meaning and Necessity year: 1947 ident: CIT0001 – ident: CIT0009 doi: 10.1017/CBO9780511487255 – start-page: 273 volume-title: Essays on Bertrand Russell year: 1970 ident: CIT0002 – start-page: 123 volume-title: The Philosophy of Bertrand Russell year: 1944 ident: CIT0005 – ident: CIT0014 doi: 10.2307/2268137 |
| SSID | ssj0004535 |
| Score | 1.8974979 |
| Snippet | Principia Mathematic goes to great lengths to hide its order/type indices and to make it appear as if its incomplete symbols behave as if they are singular... |
| SourceID | crossref informaworld |
| SourceType | Enrichment Source Index Database Publisher |
| StartPage | 306 |
| Title | Typos of Principia Mathematica |
| URI | https://www.tandfonline.com/doi/abs/10.1080/01445340.2013.764961 |
| Volume | 34 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8QwEA66e_EiPvFND94ky7aTpO1x8cEiKB52UbyUNE1hQXYXqQf99U6atGZ18UWhlLRp2nzpdDKZ-YaQUybBEIcXVIgEKMPpGk0LmVAu0kjqfg5lYeyQN7diOGbXD_zhIzdnHV1S5T31tjSu5D-oYhniaqJk_4Bse1MswGPEF_eIMO5_h_HrfGa92KzJfCLPbloaVunrnZYNxHItzZvsBfXiei37WrecOshl4geveFaBEFx4XIPj6EuCjgUbIqMcLEtST1u5xwSWhZY9tBGMzso48Wf9tZSDvvB-mGCv-yKLnfMitmYaM1500IsFSy35-ieWa3tilXSjODbL7d3B8OLx3uN9B-eMah-9CYI0LOlLGlhQMhYoaD3lYbRB1p3WHwwshJtkRU-3yNpdC8Q2OamxDGZl0GIZeFjukPHV5eh8SF3uCqpQalZUxWXc5zpFDYqjyqTxS5Bac1BlmEiVJhEUEsocP5NECaZRr4VQ4wZK8lxGfdglnelsqvdIwJghaVRcxrxguU7TqOS6iHXMcsVxQrpPoHnZTDlid5Nf5CkLG_5X10WZ6aLMdtE-oW2tuSU2-eH6xO_HrKpHWGkHVwbfVT34f9VDsvYxuo9Ip3p-0ceoBVb5iRsi72NKUbY |
| linkProvider | Library Specific Holdings |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3PS8MwFH7IdnAXf4vzx-zBa2bXJG1zFHHUuY0hG3gLSZqAKJu47qB_vcnSjimooPTYvtKXl_Tle3z5HsAFEdgJh-cojlOMiIVriOUiRTRmkdChxCZ3dcjBMM4mpPdAKzbhvKRVOgxtvFDE8l_tFrcrRleUuEuHAigmoWNm4XYSE-YAUJ0ymw1rUB_f97JsTTIclzxGgpxRdX7um_d8yk-f1EvX8k53G2T1xZ5u8tReFLKt3r-IOf7LpR3YKnelwZWfRruwoad70BhVbQ7e9qFlAetsHsxMMPLl-UcRDFaSr-IAJt2b8XWGyt4KSNlVXSCVmCSkmtkMT21K1zZSQmuKlemkQrE0wrnARtowpiom2u67cEfbCytBpYhCfAi16WyqjyAgxIkIKioSmhOpGYsM1XmiEyIVtYCpCbgaUa5K4XHX_-KZdyp90tJ57pzn3vkmoJXVixfe-OX5dD1YvFgWPIzvTsLxT6bHfzc9h81sPOjz_u3w7gQa7o4_qHgKteJ1oc_sjqWQrXJOfgDQctqM |
| linkToPdf | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3dS8MwED9kA9mL3-L8mH3wNbNrkn48ijrqdGPIBnsLSZqAKNvQ7kH_epOlHZ2ggtLH9kovl_Tud9z9DuCCcGyJwzMUhjFGxMA1lGQ8RjRMAq58gXVm85D9QZiOSW9CJ5UufltWaTG0dkQRy3-1PdzzTJcVcZcWBFBMfFuYhdtRSBKLf-qhbRqtQX302EvTCmM4LsoYCbJCZfvcN-9Zc09r5KUVt9PdBl5-sKs2eW4vctGWH1-4HP-j0Q5sFTGpd-U20S5sqOkeNIblkIP3fWgZuDp782baG7rk_BP3-ivCV34A4-7t6DpFxWQFJM2ZzpGMdORTlRj_To1DV8ZOXCmKpe7EXCZxgDOOtTBGjGVIlIm6cEeZC0tOBQ98fAi16WyqjsAjxFIISsojmhGhkiTQVGWRioiQ1MClJuByQZksaMft9IsX1inZSQvlmVWeOeWbgFZSc0e78cvzcdVWLF-mO7SbTcLwT6LHfxc9h83hTZc93A3uT6Bhb7guxVOo5a8LdWbClVy0ih35CSuo2TA |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Typos+of+Principia+Mathematica&rft.jtitle=History+and+philosophy+of+logic&rft.au=Landini%2C+Gregory&rft.date=2013-11-01&rft.pub=Taylor+%26+Francis&rft.issn=0144-5340&rft.eissn=1464-5149&rft.volume=34&rft.issue=4&rft.spage=306&rft.epage=334&rft_id=info:doi/10.1080%2F01445340.2013.764961&rft.externalDocID=764961 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0144-5340&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0144-5340&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0144-5340&client=summon |