Model-theoretic methods in logic and the foundations of mathematics and science
2018/29/B/HS1/01832
Keywords
Descriptors
- HS1_4: Logika, metodologia nauk, filozofia nauki
Panel
HS1 – Fundamental questions of human existence and the nature of reality: philosophy, cognition, religious studies, theology
Host institution
Uniwersytet Warszawski, Wydział Filozofii
Voivodeship: mazowieckie
Principal investigator (from the host institution)
Number of co-investigators in the project: 1
Call
OPUS 15 – announced on 2018-03-15
- Amount awarded
- 441 200 PLN
- Project start date
- 2019-02-15
- Project end date
- 2021-02-14
- Project duration
- 24 months (the same as in the proposal)
- Project status
- Project settled
Project description
Download the project description in a pdf file
Note — project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.
Equipment purchased [PL]
- Licencja Office 2019 for Mac. Cost: 304 PLN
- komputer przenośny. Cost: 5 800 PLN
Information in the final report
Publication in academic press/journals (4)
-
Computation and Indispensability
- Authors:
- Jeffrey Ketland
- Academic press:
- Logic and Logical Philosophy (year: 2021, volume: 30, pages: 61–78), Publisher: Wydawnictwo Naukowe
- Status:
- Published
- DOI:
- 10.12775/LLP.2020.011 – link to the publication
-
Bases for Structures and Theories I
- Authors:
- Jeffrey Ketland
- Academic press:
- Logica Universalis (year: 2020, volume: 14, pages: 357–381), Publisher: Springer Nature
- Status:
- Published
- DOI:
- 10.1007/s11787-020-00257-y – link to the publication
-
Bases for Structures and Theories II
- Authors:
- Jeffrey Ketland
- Academic press:
- Logica Universalis (year: 2020, volume: 14, pages: 461–479), Publisher: Springer Nature
- Status:
- Published
- DOI:
- 10.1007/s11787-020-00261-2 – link to the publication
-
Foundations of applied mathematics I
- Authors:
- Jeffrey Ketland
- Academic press:
- Synthese (year: 2021, volume: Online first, pages: 15707), Publisher: Springer Nature
- Status:
- Published
- DOI:
- 10.1007/s11229-020-02973-w – link to the publication