LF : A foundational higher-order logic

Journal article

Goodsell, Zachary and Yli-Vakkuri, Tuomo Juhani. (2024). LF : A foundational higher-order logic. PsyArXiv Preprints. 1, pp. 1-21. https://doi.org/10.48550/arXiv.2401.11050
AuthorsGoodsell, Zachary and Yli-Vakkuri, Tuomo Juhani
Abstract

This paper presents a new system of logic, LF, that is intended to be used as the foundation of the formalization of science. That is, deductive validity according to LF is to be used as the criterion for assessing what follows from the verdicts, hypotheses, or conjectures of any science. In work currently in progress, we argue for the unique suitability of LF for the formalization of logic, mathematics, syntax, and semantics. The present document specifies the language and rules of LF, lays out some key notational conventions, and states some basic technical facts about the system.

KeywordsLF; Formalization of science; Logic; Syntax; Mathematics; Semantics
Year01 Jan 2024
JournalPsyArXiv Preprints
Journal citation1, pp. 1-21
PublisherCornell University Press
ISSNPsyA-rXiv
Digital Object Identifier (DOI)https://doi.org/10.48550/arXiv.2401.11050
Web address (URL)https://arxiv.org/abs/2401.11050
Open accessOpen access
Research or scholarlyResearch
Page range1-21
Publisher's version
License
All rights reserved
File Access Level
Open
Output statusPublished
Publication dates
Online19 Jan 2024
Publication process dates
Deposited09 May 2024
Additional information

arXiv.org perpetual, non-exclusive license 1.0
This license gives limited rights to arXiv to distribute the article, and also limits re-use of any type from other entities or individuals.

Place of publicationUnited States
Permalink -

https://acuresearchbank.acu.edu.au/item/90626/lf-a-foundational-higher-order-logic

Log in to edit

Download files

Publisher's version
OA_Yli-Vakkuri_2024_LF_A_foundational_higher_order_logic.pdf
License: All rights reserved
File access level: Open

  • 57
    total views
  • 19
    total downloads
  • 0
    views this month
  • 0
    downloads this month
These values are for the period from 19th October 2020, when this repository was created.

Export as

Related outputs

Challenges for an experimentalist's skepticism about cases
Strohminger, Margot and Yli-Vakkuri, Juhani. (2023). Challenges for an experimentalist's skepticism about cases. In In Vaidya, Anand and Prelević, Duško (Ed.). Epistemology of modality and philosophical methodology pp. 338-358 Routledge. https://doi.org/10.4324/9781003002192-19
Counterpart theory and counterfactuals
Hawthorne, John and Yli-Vakkuri, Juhani. (2023). Counterpart theory and counterfactuals. In In Bennett, Karen and Zimmerman, Dean W. (Ed.). Oxford studies in metaphysics ; volume 13 pp. 129-165 Oxford University Press. https://doi.org/10.1093/oso/9780192886033.003.0005
Intensionalism and propositional attitudes
Yli-Vakkuri, Juhani and Hawthorne, John. (2022). Intensionalism and propositional attitudes. In In Kriegel, Uriah (Ed.). Oxford studies in philosophy of mind ; volume 2 pp. 114-174 Oxford University Press. https://doi.org/10.1093/oso/9780192856685.003.0005
Reply to Bourget and Mendelovici
Yli-Vakkuri, Tuomo Juhani and Hawthorne, John Patrick. (2022). Reply to Bourget and Mendelovici. Inquiry. pp. 1-11. https://doi.org/10.1080/0020174X.2022.2129485
Being in a position to know
Yli-Vakkuri, Juhani and Hawthorne, John. (2022). Being in a position to know. Philosophical Studies. 179, pp. 1323-1339. https://doi.org/10.1007/s11098-021-01709-x
The bounds of possibility : Puzzles of modal variation
Dorr, Cian, Hawthorne, John and Yli-Vakkuri, Juhani. (2021). The bounds of possibility : Puzzles of modal variation Oxford University Press. https://doi.org/10.1093/oso/9780192846655.001.0001
Reply to Speaks
Yli-Vakkuri, Juhani and Hawthorne, John. (2021). Reply to Speaks. Philosophical Studies. 178(9), pp. 3061-3065. https://doi.org/10.1007/s11098-020-01553-5
Reply to Pietroski
Yli-Vakkuri, Juhani and Hawthorne, John. (2021). Reply to Pietroski. Philosophical Studies. 178(9), pp. 3055-3059. https://doi.org/10.1007/s11098-020-01552-6
Reply to Byrne
Yli-Vakkuri, Juhani and Hawthorne, John. (2021). Reply to Byrne. Philosophical Studies. 178(9), pp. 3049-3054. https://doi.org/10.1007/s11098-020-01551-7
Indexicality, de re belief, and narrow content : A reply to Sawyer
Yli-Vakkuri, Juhani and Hawthorne, John. (2020). Indexicality, de re belief, and narrow content : A reply to Sawyer. Inquiry. pp. 1-11. https://doi.org/10.1080/0020174X.2020.1831852
The necessity of mathematics
Yli-Vakkuri, Juhani and Hawthorne, John. (2020). The necessity of mathematics. Noûs. 54(3), pp. 549 - 577. https://doi.org/10.1111/nous.12268
Knowledge of objective modality
Strohminger, Margot and Yli-Vakkuri, Juhani. (2019). Knowledge of objective modality. Philosophical Studies. 176(5), pp. 1155 - 1175. https://doi.org/10.1007/s11098-018-1052-4
Operator arguments revisited
Fritz, Peter, Hawthorne, John and Yli-Vakkuri, Juhani. (2019). Operator arguments revisited. Philosophical Studies. 176(11), pp. 2933 - 2959. https://doi.org/10.1007/s11098-018-1158-8
Narrow content
Yli-Vakkuri, Juhani and Hawthorne, John. (2018). Narrow content Oxford University Press. https://doi.org/10.1093/oso/9780198785965.001.0001
Narrow content and ur-content
Yli-Vakkuri, Juhani and Hawthorne, John. (2018). Narrow content and ur-content. In Narrow Content pp. 72 - 105 Oxford University Press. https://doi.org/10.1093/oso/9780198785965.003.0004
Quasi-internalism
Yli-Vakkuri, Juhani and Hawthorne, John. (2018). Quasi-internalism. In Narrow Content pp. 158 - 175 Oxford University Press. https://doi.org/10.1093/oso/9780198785965.003.0006
Rationality and narrow content
Yli-Vakkuri, Juhani and Hawthorne, John. (2018). Rationality and narrow content. In Narrow Content pp. 130 - 157 Oxford University Press. https://doi.org/10.1093/oso/9780198785965.003.0005
Moderate modal skepticism
Strohminger, Margot and Yli-Vakkuri, Juhani. (2018). Moderate modal skepticism. In In M. A. Benton, J. Hawthorne and D. Rabinowitz (Ed.). Knowledge, Belief, and God: New Insights in Religious Epistemology pp. 302 - 321 Oxford University Press. https://doi.org/10.1093/oso/9780198798705.003.0016
Truth-conditionality
Yli-Vakkuri, Juhani and Hawthorne, John. (2018). Truth-conditionality. In Narrow Content pp. 63 - 97 Oxford University Press. https://doi.org/10.1093/oso/9780198785965.003.0003
Semantic externalism without thought experiments
Yli-Vakkuri, Juhani. (2018). Semantic externalism without thought experiments. Analysis. 78(1), pp. 81 - 89. https://doi.org/10.1093/analys/anx127
What is narrow content?
Yli-Vakkuri, Juhani and Hawthorne, John. (2018). What is narrow content? In Narrow Content pp. 1 - 46 Oxford University Press. https://doi.org/10.1093/oso/9780198785965.003.0002
The epistemology of modality
Strohminger, Margot and Yli-Vakkuri, Juhani. (2017). The epistemology of modality. Analysis. 77(4), pp. 825 - 838. https://doi.org/10.1093/analys/anx058
Epistemicism and modality
Yli-Vakkuri, Juhani. (2016). Epistemicism and modality. Canadian Journal of Philosophy. 46(4-5), pp. 803 - 835. https://doi.org/10.1080/00455091.2016.1201878
Vagueness and modality - An ecumenical approach
Litland, Jon Erling and Yli-Vakkuri, Juhani. (2016). Vagueness and modality - An ecumenical approach. Philosophical Perspectives. 30(1), pp. 229 - 269. https://doi.org/10.1111/phpe.12088