Thoughts, logic, and metalogic :: an investigation in Frege's philosophy /
"It is in heavy dispute in the literature whether Frege's conception of logic is universalism and excludes the possibility of metalogical investigations. In the book, the author argues that there is indeed tension between universalism and non-universalism in it, which finds expression in G...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Heidelberg :
Universitätsverlag Winter
[2021]
|
| Schriftenreihe: | Beiträge zur Philosophie. Neue Folge.
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | "It is in heavy dispute in the literature whether Frege's conception of logic is universalism and excludes the possibility of metalogical investigations. In the book, the author argues that there is indeed tension between universalism and non-universalism in it, which finds expression in Grundgesetze. It dismisses the notion of reinterpretation playing a crucial role in the post-Tarskian metalogical investigations as illegitimate; for a language in which a theory, whose subject matter is thoughts rather than formulae per se, is formulated must not be reinterpreted in that fully interpreted formulae express different thoughts once reinterpreted. However, it does not preclude such metalogical investigations that do not make use of the notion: they are not only legitimate, understandable to it but also indispensable to Frege's logicist project."-- |
| Beschreibung: | 1 online resource (261 pages) |
| ISBN: | 9783825385279 3825385272 |
Internformat
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-on1299385386 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 220226s2021 gw obm 000 0 eng d | ||
| 040 | |a EBLCP |b eng |e rda |e pn |c EBLCP |d OCLCO |d N$T |d YDX |d OCLCQ |d OCLCF |d OCLCQ |d OCLCO |d OCLCL | ||
| 019 | |a 1298391892 | ||
| 020 | |a 9783825385279 |q (electronic book) | ||
| 020 | |a 3825385272 |q (electronic book) | ||
| 020 | |z 9783825348649 | ||
| 035 | |a (OCoLC)1299385386 |z (OCoLC)1298391892 | ||
| 050 | 4 | |a B3245.F24 |b S55 2021 | |
| 082 | 7 | |a 160 |2 23 | |
| 049 | |a MAIN | ||
| 100 | 1 | |a Shi, Weijun, |e author. | |
| 245 | 1 | 0 | |a Thoughts, logic, and metalogic : |b an investigation in Frege's philosophy / |c Weijun Shi. |
| 264 | 1 | |a Heidelberg : |b Universitätsverlag Winter |c [2021] | |
| 300 | |a 1 online resource (261 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Beiträge zur Philosophie, Neue Folge | |
| 502 | |b Dissertation |c Humboldt-Universität zu Berlin |d 2021. | ||
| 520 | |a "It is in heavy dispute in the literature whether Frege's conception of logic is universalism and excludes the possibility of metalogical investigations. In the book, the author argues that there is indeed tension between universalism and non-universalism in it, which finds expression in Grundgesetze. It dismisses the notion of reinterpretation playing a crucial role in the post-Tarskian metalogical investigations as illegitimate; for a language in which a theory, whose subject matter is thoughts rather than formulae per se, is formulated must not be reinterpreted in that fully interpreted formulae express different thoughts once reinterpreted. However, it does not preclude such metalogical investigations that do not make use of the notion: they are not only legitimate, understandable to it but also indispensable to Frege's logicist project."-- |c Provided by publisher | ||
| 505 | 0 | |a Umschlag -- Titel -- Imprint -- Abstract -- Acknowledgements -- Contents -- Introduction -- 1 Thoughts and Thought Identity -- 1.1 Thoughts -- 1.1.1 The top-down approach to thoughts -- 1.1.2 The bottom-up approach to thoughts -- 1.2 Criteria for Thought Identity -- 1.2.1 The bottom-up approach to thought identity -- 1.2.2 The top-down approach to thought identity -- 1.2.3 Objections to senses as objects -- Summary -- 2 Thoughts and truth -- 2.1 Arguments against Truth as a Property -- 2.1.1 The regress arguments and responses -- 2.1.2 Responses to the regress arguments | |
| 505 | 8 | |a 2.1.3 The inconsistency of the notion of truth -- 2.2 Eliminability and Definability -- 2.2.1 Does eliminability exclude truth as a property? -- 2.2.2 Definability of truth -- Summary -- 3 Frege on Logical Truth -- 3.1 Universalism, Schematism and Modernism -- 3.1.1 Universalism -- 3.1.2 Modernism -- 3.1.3 Schematism -- 3.2 The Universalist Conception of Logical Truth -- 3.2.1 Logical truths as the utmost generality -- 3.2.2 Problems with the notion of U-logical truth -- 3.2.3 Objections to the notion of U-logical truth -- 3.3 Frege's Conception of Independence | |
| 505 | 8 | |a 3.3.1 Frege's notion of independence -- 3.3.2 Problems with Frege's substitutional method -- Summary -- 4 The Tension between Universalism and Nonuniversalism in 'Grundgesetze' -- 4.1 Universalism and Nonuniversalism in Grundgesetze? -- 4.1.1 Total functions -- 4.1.2 Four readings of 29-31 -- 4.2 Restricted Domains of Quantification and Linguistic Completeness -- Summary -- 5 Universalism and Metalogic -- 5.1 Arguments for and against the Non-metalogic Thesis -- 5.1.1 Two kinds of metalogics -- 5.1.2 Truth-predicate and metalogic -- 5.1.3 Logic 'as the' langauge and metalogic | |
| 505 | 8 | |a 5.1.4 Logic per se, logicism, and metalogic -- 5.1.5 Circularity and metalogic -- 5.2 The Permutation Argument in 10 -- 5.2.1 Model-theoretical readings of the permutation argument -- 5.2.2 Ricketts' reading of the permutation argument -- 5.3 The Consistency Proof in 31 -- 5.3.1 From the perspectives of the universalist and auxiliary readings -- 5.3.2 From the perspective of the nonauxiliary reading -- 5.3.3 From the perspective of the completely nonauxiliary reading -- Summary -- Conclusion | |
| 600 | 1 | 0 | |a Frege, Gottlob, |d 1848-1925. |0 http://id.loc.gov/authorities/names/n79117996 |
| 600 | 1 | 7 | |a Frege, Gottlob, |d 1848-1925 |2 fast |1 https://id.oclc.org/worldcat/entity/E39PBJxhj66RChVq6RXtdJ4Xh3 |
| 650 | 0 | |a Logic. |0 http://id.loc.gov/authorities/subjects/sh85078106 | |
| 650 | 0 | |a Truth. |0 http://id.loc.gov/authorities/subjects/sh85138279 | |
| 650 | 0 | |a Universalism. |0 http://id.loc.gov/authorities/subjects/sh85141079 | |
| 650 | 6 | |a Vérité. | |
| 650 | 6 | |a Universalisme. | |
| 650 | 7 | |a truth. |2 aat | |
| 650 | 7 | |a Logic |2 fast | |
| 650 | 7 | |a Truth |2 fast | |
| 650 | 7 | |a Universalism |2 fast | |
| 655 | 7 | |a dissertations. |2 aat | |
| 655 | 7 | |a Academic theses |2 fast | |
| 655 | 7 | |a Academic theses. |2 lcgft |0 http://id.loc.gov/authorities/genreForms/gf2014026039 | |
| 655 | 7 | |a Thèses et écrits académiques. |2 rvmgf | |
| 830 | 0 | |a Beiträge zur Philosophie. |p Neue Folge. |0 http://id.loc.gov/authorities/names/n42003905 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=3174175 |3 Volltext |
| 938 | |a YBP Library Services |b YANK |n 302721471 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL6886700 | ||
| 938 | |a EBSCOhost |b EBSC |n 3174175 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-on1299385386 |
|---|---|
| _version_ | 1816882557607739392 |
| adam_text | |
| any_adam_object | |
| author | Shi, Weijun |
| author_facet | Shi, Weijun |
| author_role | aut |
| author_sort | Shi, Weijun |
| author_variant | w s ws |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | B3245 |
| callnumber-raw | B3245.F24 S55 2021 |
| callnumber-search | B3245.F24 S55 2021 |
| callnumber-sort | B 43245 F24 S55 42021 |
| callnumber-subject | B - Philosophy |
| collection | ZDB-4-EBA |
| contents | Umschlag -- Titel -- Imprint -- Abstract -- Acknowledgements -- Contents -- Introduction -- 1 Thoughts and Thought Identity -- 1.1 Thoughts -- 1.1.1 The top-down approach to thoughts -- 1.1.2 The bottom-up approach to thoughts -- 1.2 Criteria for Thought Identity -- 1.2.1 The bottom-up approach to thought identity -- 1.2.2 The top-down approach to thought identity -- 1.2.3 Objections to senses as objects -- Summary -- 2 Thoughts and truth -- 2.1 Arguments against Truth as a Property -- 2.1.1 The regress arguments and responses -- 2.1.2 Responses to the regress arguments 2.1.3 The inconsistency of the notion of truth -- 2.2 Eliminability and Definability -- 2.2.1 Does eliminability exclude truth as a property? -- 2.2.2 Definability of truth -- Summary -- 3 Frege on Logical Truth -- 3.1 Universalism, Schematism and Modernism -- 3.1.1 Universalism -- 3.1.2 Modernism -- 3.1.3 Schematism -- 3.2 The Universalist Conception of Logical Truth -- 3.2.1 Logical truths as the utmost generality -- 3.2.2 Problems with the notion of U-logical truth -- 3.2.3 Objections to the notion of U-logical truth -- 3.3 Frege's Conception of Independence 3.3.1 Frege's notion of independence -- 3.3.2 Problems with Frege's substitutional method -- Summary -- 4 The Tension between Universalism and Nonuniversalism in 'Grundgesetze' -- 4.1 Universalism and Nonuniversalism in Grundgesetze? -- 4.1.1 Total functions -- 4.1.2 Four readings of 29-31 -- 4.2 Restricted Domains of Quantification and Linguistic Completeness -- Summary -- 5 Universalism and Metalogic -- 5.1 Arguments for and against the Non-metalogic Thesis -- 5.1.1 Two kinds of metalogics -- 5.1.2 Truth-predicate and metalogic -- 5.1.3 Logic 'as the' langauge and metalogic 5.1.4 Logic per se, logicism, and metalogic -- 5.1.5 Circularity and metalogic -- 5.2 The Permutation Argument in 10 -- 5.2.1 Model-theoretical readings of the permutation argument -- 5.2.2 Ricketts' reading of the permutation argument -- 5.3 The Consistency Proof in 31 -- 5.3.1 From the perspectives of the universalist and auxiliary readings -- 5.3.2 From the perspective of the nonauxiliary reading -- 5.3.3 From the perspective of the completely nonauxiliary reading -- Summary -- Conclusion |
| ctrlnum | (OCoLC)1299385386 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Philosophie |
| format | Thesis Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05498cam a2200625 i 4500</leader><controlfield tag="001">ZDB-4-EBA-on1299385386</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">220226s2021 gw obm 000 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">EBLCP</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">EBLCP</subfield><subfield code="d">OCLCO</subfield><subfield code="d">N$T</subfield><subfield code="d">YDX</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">1298391892</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783825385279</subfield><subfield code="q">(electronic book)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3825385272</subfield><subfield code="q">(electronic book)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9783825348649</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1299385386</subfield><subfield code="z">(OCoLC)1298391892</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">B3245.F24</subfield><subfield code="b">S55 2021</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">160</subfield><subfield code="2">23</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Shi, Weijun,</subfield><subfield code="e">author.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Thoughts, logic, and metalogic :</subfield><subfield code="b">an investigation in Frege's philosophy /</subfield><subfield code="c">Weijun Shi.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heidelberg :</subfield><subfield code="b">Universitätsverlag Winter</subfield><subfield code="c">[2021]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (261 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Beiträge zur Philosophie, Neue Folge</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="b">Dissertation</subfield><subfield code="c">Humboldt-Universität zu Berlin</subfield><subfield code="d">2021.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">"It is in heavy dispute in the literature whether Frege's conception of logic is universalism and excludes the possibility of metalogical investigations. In the book, the author argues that there is indeed tension between universalism and non-universalism in it, which finds expression in Grundgesetze. It dismisses the notion of reinterpretation playing a crucial role in the post-Tarskian metalogical investigations as illegitimate; for a language in which a theory, whose subject matter is thoughts rather than formulae per se, is formulated must not be reinterpreted in that fully interpreted formulae express different thoughts once reinterpreted. However, it does not preclude such metalogical investigations that do not make use of the notion: they are not only legitimate, understandable to it but also indispensable to Frege's logicist project."--</subfield><subfield code="c">Provided by publisher</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Umschlag -- Titel -- Imprint -- Abstract -- Acknowledgements -- Contents -- Introduction -- 1 Thoughts and Thought Identity -- 1.1 Thoughts -- 1.1.1 The top-down approach to thoughts -- 1.1.2 The bottom-up approach to thoughts -- 1.2 Criteria for Thought Identity -- 1.2.1 The bottom-up approach to thought identity -- 1.2.2 The top-down approach to thought identity -- 1.2.3 Objections to senses as objects -- Summary -- 2 Thoughts and truth -- 2.1 Arguments against Truth as a Property -- 2.1.1 The regress arguments and responses -- 2.1.2 Responses to the regress arguments</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">2.1.3 The inconsistency of the notion of truth -- 2.2 Eliminability and Definability -- 2.2.1 Does eliminability exclude truth as a property? -- 2.2.2 Definability of truth -- Summary -- 3 Frege on Logical Truth -- 3.1 Universalism, Schematism and Modernism -- 3.1.1 Universalism -- 3.1.2 Modernism -- 3.1.3 Schematism -- 3.2 The Universalist Conception of Logical Truth -- 3.2.1 Logical truths as the utmost generality -- 3.2.2 Problems with the notion of U-logical truth -- 3.2.3 Objections to the notion of U-logical truth -- 3.3 Frege's Conception of Independence</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">3.3.1 Frege's notion of independence -- 3.3.2 Problems with Frege's substitutional method -- Summary -- 4 The Tension between Universalism and Nonuniversalism in 'Grundgesetze' -- 4.1 Universalism and Nonuniversalism in Grundgesetze? -- 4.1.1 Total functions -- 4.1.2 Four readings of 29-31 -- 4.2 Restricted Domains of Quantification and Linguistic Completeness -- Summary -- 5 Universalism and Metalogic -- 5.1 Arguments for and against the Non-metalogic Thesis -- 5.1.1 Two kinds of metalogics -- 5.1.2 Truth-predicate and metalogic -- 5.1.3 Logic 'as the' langauge and metalogic</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">5.1.4 Logic per se, logicism, and metalogic -- 5.1.5 Circularity and metalogic -- 5.2 The Permutation Argument in 10 -- 5.2.1 Model-theoretical readings of the permutation argument -- 5.2.2 Ricketts' reading of the permutation argument -- 5.3 The Consistency Proof in 31 -- 5.3.1 From the perspectives of the universalist and auxiliary readings -- 5.3.2 From the perspective of the nonauxiliary reading -- 5.3.3 From the perspective of the completely nonauxiliary reading -- Summary -- Conclusion</subfield></datafield><datafield tag="600" ind1="1" ind2="0"><subfield code="a">Frege, Gottlob,</subfield><subfield code="d">1848-1925.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n79117996</subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Frege, Gottlob,</subfield><subfield code="d">1848-1925</subfield><subfield code="2">fast</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJxhj66RChVq6RXtdJ4Xh3</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85078106</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Truth.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85138279</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Universalism.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85141079</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Vérité.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Universalisme.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">truth.</subfield><subfield code="2">aat</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Truth</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Universalism</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">dissertations.</subfield><subfield code="2">aat</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Academic theses</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Academic theses.</subfield><subfield code="2">lcgft</subfield><subfield code="0">http://id.loc.gov/authorities/genreForms/gf2014026039</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Thèses et écrits académiques.</subfield><subfield code="2">rvmgf</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Beiträge zur Philosophie.</subfield><subfield code="p">Neue Folge.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n42003905</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=3174175</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">302721471</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest Ebook Central</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL6886700</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">3174175</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | dissertations. aat Academic theses fast Academic theses. lcgft http://id.loc.gov/authorities/genreForms/gf2014026039 Thèses et écrits académiques. rvmgf |
| genre_facet | dissertations. Academic theses Academic theses. Thèses et écrits académiques. |
| id | ZDB-4-EBA-on1299385386 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-27T13:30:31Z |
| institution | BVB |
| isbn | 9783825385279 3825385272 |
| language | English |
| oclc_num | 1299385386 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (261 pages) |
| psigel | ZDB-4-EBA |
| publishDate | 2021 |
| publishDateSearch | 2021 |
| publishDateSort | 2021 |
| publisher | Universitätsverlag Winter |
| record_format | marc |
| series | Beiträge zur Philosophie. Neue Folge. |
| series2 | Beiträge zur Philosophie, Neue Folge |
| spelling | Shi, Weijun, author. Thoughts, logic, and metalogic : an investigation in Frege's philosophy / Weijun Shi. Heidelberg : Universitätsverlag Winter [2021] 1 online resource (261 pages) text txt rdacontent computer c rdamedia online resource cr rdacarrier Beiträge zur Philosophie, Neue Folge Dissertation Humboldt-Universität zu Berlin 2021. "It is in heavy dispute in the literature whether Frege's conception of logic is universalism and excludes the possibility of metalogical investigations. In the book, the author argues that there is indeed tension between universalism and non-universalism in it, which finds expression in Grundgesetze. It dismisses the notion of reinterpretation playing a crucial role in the post-Tarskian metalogical investigations as illegitimate; for a language in which a theory, whose subject matter is thoughts rather than formulae per se, is formulated must not be reinterpreted in that fully interpreted formulae express different thoughts once reinterpreted. However, it does not preclude such metalogical investigations that do not make use of the notion: they are not only legitimate, understandable to it but also indispensable to Frege's logicist project."-- Provided by publisher Umschlag -- Titel -- Imprint -- Abstract -- Acknowledgements -- Contents -- Introduction -- 1 Thoughts and Thought Identity -- 1.1 Thoughts -- 1.1.1 The top-down approach to thoughts -- 1.1.2 The bottom-up approach to thoughts -- 1.2 Criteria for Thought Identity -- 1.2.1 The bottom-up approach to thought identity -- 1.2.2 The top-down approach to thought identity -- 1.2.3 Objections to senses as objects -- Summary -- 2 Thoughts and truth -- 2.1 Arguments against Truth as a Property -- 2.1.1 The regress arguments and responses -- 2.1.2 Responses to the regress arguments 2.1.3 The inconsistency of the notion of truth -- 2.2 Eliminability and Definability -- 2.2.1 Does eliminability exclude truth as a property? -- 2.2.2 Definability of truth -- Summary -- 3 Frege on Logical Truth -- 3.1 Universalism, Schematism and Modernism -- 3.1.1 Universalism -- 3.1.2 Modernism -- 3.1.3 Schematism -- 3.2 The Universalist Conception of Logical Truth -- 3.2.1 Logical truths as the utmost generality -- 3.2.2 Problems with the notion of U-logical truth -- 3.2.3 Objections to the notion of U-logical truth -- 3.3 Frege's Conception of Independence 3.3.1 Frege's notion of independence -- 3.3.2 Problems with Frege's substitutional method -- Summary -- 4 The Tension between Universalism and Nonuniversalism in 'Grundgesetze' -- 4.1 Universalism and Nonuniversalism in Grundgesetze? -- 4.1.1 Total functions -- 4.1.2 Four readings of 29-31 -- 4.2 Restricted Domains of Quantification and Linguistic Completeness -- Summary -- 5 Universalism and Metalogic -- 5.1 Arguments for and against the Non-metalogic Thesis -- 5.1.1 Two kinds of metalogics -- 5.1.2 Truth-predicate and metalogic -- 5.1.3 Logic 'as the' langauge and metalogic 5.1.4 Logic per se, logicism, and metalogic -- 5.1.5 Circularity and metalogic -- 5.2 The Permutation Argument in 10 -- 5.2.1 Model-theoretical readings of the permutation argument -- 5.2.2 Ricketts' reading of the permutation argument -- 5.3 The Consistency Proof in 31 -- 5.3.1 From the perspectives of the universalist and auxiliary readings -- 5.3.2 From the perspective of the nonauxiliary reading -- 5.3.3 From the perspective of the completely nonauxiliary reading -- Summary -- Conclusion Frege, Gottlob, 1848-1925. http://id.loc.gov/authorities/names/n79117996 Frege, Gottlob, 1848-1925 fast https://id.oclc.org/worldcat/entity/E39PBJxhj66RChVq6RXtdJ4Xh3 Logic. http://id.loc.gov/authorities/subjects/sh85078106 Truth. http://id.loc.gov/authorities/subjects/sh85138279 Universalism. http://id.loc.gov/authorities/subjects/sh85141079 Vérité. Universalisme. truth. aat Logic fast Truth fast Universalism fast dissertations. aat Academic theses fast Academic theses. lcgft http://id.loc.gov/authorities/genreForms/gf2014026039 Thèses et écrits académiques. rvmgf Beiträge zur Philosophie. Neue Folge. http://id.loc.gov/authorities/names/n42003905 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=3174175 Volltext |
| spellingShingle | Shi, Weijun Thoughts, logic, and metalogic : an investigation in Frege's philosophy / Beiträge zur Philosophie. Neue Folge. Umschlag -- Titel -- Imprint -- Abstract -- Acknowledgements -- Contents -- Introduction -- 1 Thoughts and Thought Identity -- 1.1 Thoughts -- 1.1.1 The top-down approach to thoughts -- 1.1.2 The bottom-up approach to thoughts -- 1.2 Criteria for Thought Identity -- 1.2.1 The bottom-up approach to thought identity -- 1.2.2 The top-down approach to thought identity -- 1.2.3 Objections to senses as objects -- Summary -- 2 Thoughts and truth -- 2.1 Arguments against Truth as a Property -- 2.1.1 The regress arguments and responses -- 2.1.2 Responses to the regress arguments 2.1.3 The inconsistency of the notion of truth -- 2.2 Eliminability and Definability -- 2.2.1 Does eliminability exclude truth as a property? -- 2.2.2 Definability of truth -- Summary -- 3 Frege on Logical Truth -- 3.1 Universalism, Schematism and Modernism -- 3.1.1 Universalism -- 3.1.2 Modernism -- 3.1.3 Schematism -- 3.2 The Universalist Conception of Logical Truth -- 3.2.1 Logical truths as the utmost generality -- 3.2.2 Problems with the notion of U-logical truth -- 3.2.3 Objections to the notion of U-logical truth -- 3.3 Frege's Conception of Independence 3.3.1 Frege's notion of independence -- 3.3.2 Problems with Frege's substitutional method -- Summary -- 4 The Tension between Universalism and Nonuniversalism in 'Grundgesetze' -- 4.1 Universalism and Nonuniversalism in Grundgesetze? -- 4.1.1 Total functions -- 4.1.2 Four readings of 29-31 -- 4.2 Restricted Domains of Quantification and Linguistic Completeness -- Summary -- 5 Universalism and Metalogic -- 5.1 Arguments for and against the Non-metalogic Thesis -- 5.1.1 Two kinds of metalogics -- 5.1.2 Truth-predicate and metalogic -- 5.1.3 Logic 'as the' langauge and metalogic 5.1.4 Logic per se, logicism, and metalogic -- 5.1.5 Circularity and metalogic -- 5.2 The Permutation Argument in 10 -- 5.2.1 Model-theoretical readings of the permutation argument -- 5.2.2 Ricketts' reading of the permutation argument -- 5.3 The Consistency Proof in 31 -- 5.3.1 From the perspectives of the universalist and auxiliary readings -- 5.3.2 From the perspective of the nonauxiliary reading -- 5.3.3 From the perspective of the completely nonauxiliary reading -- Summary -- Conclusion Frege, Gottlob, 1848-1925. http://id.loc.gov/authorities/names/n79117996 Frege, Gottlob, 1848-1925 fast https://id.oclc.org/worldcat/entity/E39PBJxhj66RChVq6RXtdJ4Xh3 Logic. http://id.loc.gov/authorities/subjects/sh85078106 Truth. http://id.loc.gov/authorities/subjects/sh85138279 Universalism. http://id.loc.gov/authorities/subjects/sh85141079 Vérité. Universalisme. truth. aat Logic fast Truth fast Universalism fast |
| subject_GND | http://id.loc.gov/authorities/names/n79117996 http://id.loc.gov/authorities/subjects/sh85078106 http://id.loc.gov/authorities/subjects/sh85138279 http://id.loc.gov/authorities/subjects/sh85141079 http://id.loc.gov/authorities/genreForms/gf2014026039 |
| title | Thoughts, logic, and metalogic : an investigation in Frege's philosophy / |
| title_auth | Thoughts, logic, and metalogic : an investigation in Frege's philosophy / |
| title_exact_search | Thoughts, logic, and metalogic : an investigation in Frege's philosophy / |
| title_full | Thoughts, logic, and metalogic : an investigation in Frege's philosophy / Weijun Shi. |
| title_fullStr | Thoughts, logic, and metalogic : an investigation in Frege's philosophy / Weijun Shi. |
| title_full_unstemmed | Thoughts, logic, and metalogic : an investigation in Frege's philosophy / Weijun Shi. |
| title_short | Thoughts, logic, and metalogic : |
| title_sort | thoughts logic and metalogic an investigation in frege s philosophy |
| title_sub | an investigation in Frege's philosophy / |
| topic | Frege, Gottlob, 1848-1925. http://id.loc.gov/authorities/names/n79117996 Frege, Gottlob, 1848-1925 fast https://id.oclc.org/worldcat/entity/E39PBJxhj66RChVq6RXtdJ4Xh3 Logic. http://id.loc.gov/authorities/subjects/sh85078106 Truth. http://id.loc.gov/authorities/subjects/sh85138279 Universalism. http://id.loc.gov/authorities/subjects/sh85141079 Vérité. Universalisme. truth. aat Logic fast Truth fast Universalism fast |
| topic_facet | Frege, Gottlob, 1848-1925. Frege, Gottlob, 1848-1925 Logic. Truth. Universalism. Vérité. Universalisme. truth. Logic Truth Universalism dissertations. Academic theses Academic theses. Thèses et écrits académiques. |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=3174175 |
| work_keys_str_mv | AT shiweijun thoughtslogicandmetalogicaninvestigationinfregesphilosophy |