Locating Logical Necessity in Models or the Nature of Situations.

Logical necessity is a pivotal notion in accounting for logical consequence, while the source of logical necessity is not widely discussed. In this article I bring to attention one peculiar phenomenon that not only the model-theoretic tradition, but also the essentialist account regarding logical ne...

Descripción completa

Detalles Bibliográficos
Publicado en:Problems / Problemos pp. 78 - 94
Autor principal: Xianrui Liu
Formato: Artículo
Publicado: Vilnius University 2024 Supplement
Materias:
Acceso en línea:Ver este registro en EBSCOhost
fields @attributes:
  recordID: 1
pdfLink:
plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=182234866&site=ehost-live
header:
  @attributes:
    shortDbName: hlh
    uiTerm: 182234866
    longDbName: Humanities International Complete
    uiTag: AN
  controlInfo:
    bkinfo:
    jinfo:
      jid:
        13921126
        3D4C
      jtl: Problems / Problemos
      issn: 13921126
      maglogo: N
    pubinfo:
      dt: 2024 Supplement
      pid: 16037
      pub: Vilnius University
    artinfo:
      ui:
        182234866
        10.15388/Problemos.Priedas.24.6
      ppf: 78
      ppct: 16
      formats:
        fmt:
          @attributes:
            type: P
            size: 8.9MB
      tig:
        atl: Locating Logical Necessity in Models or the Nature of Situations.
      aug:
        au: Xianrui Liu
        affil: University of Bristol
      su:
        Essentialism (Philosophy)
        Accounting
      sug:
        subj:
          Essentialism (Philosophy)
          Accounting
      keyword:
        Essentialism
        Logical Consequence
        Logical Constants
        Logical Necessity
        Model-theoretic Account
        esencializmas
        loginės konstantos
        loginis būtinumas
        loginis sekmuo
        modelių teorija
      ab:
        Logical necessity is a pivotal notion in accounting for logical consequence, while the source of logical necessity is not widely discussed. In this article I bring to attention one peculiar phenomenon that not only the model-theoretic tradition, but also the essentialist account regarding logical necessity could locate the source of it in logical constants or logical notions. I argue that, under the former tradition, logical constants could be assimilated to restrictions of admissible models, and it is more plausible to locate the source of logical necessity in models; while, under the latter account, and borrowing ideas from the former, we should locate the source of logical necessity in the nature of what models represent, i.e., situations.
        Loginis būtinumas yra kertinė sąvoka interpretuojant loginį sekimą, tačiau diskusijos apie loginio būtinumo kilmę yra retos. Šiame straipsnyje atkreipiu dėmesį į vieną ypatingą reiškinį, kuris implikuoja, kad ne tik modelio teorijos tradicija, tačiau ir esencialistinis požiūris į loginį būtinumą gali jo kilmę sieti su loginėmis konstantomis ar loginėmis sąvokomis. Aš teigiu, kad, laikantis ankstesnės tradicijos, loginės konstantos galėtų būti asimiliuotos su priimtinų modelių apribojimais ir kad loginio būtinumo šaltinį yra labiau tikėtina aptikti modeliuose; laikantis antrojo požiūrio bei skolinantis idėjų iš pirmojo, loginio būtinumo kilmė turėtų būti aptikta prigimtyje to, kam modeliai atstovauja, t. y. situacijose.
      pubtype: Academic Journal
      doctype: Article
      src: R
    language: English
    refInfo:
    copyright:
      @attributes:
        flag: Y
      custom: Copyright of Problems / Problemos is the property of Vilnius University and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use.
      item: Problems / Problemos
      holder: Vilnius University
      dt:
        @attributes:
          year: 2024
    holdings:
      @attributes:
        islocal: N