Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Philosophical and formal analysis of qualitative spatial logics

2017/26/D/HS1/00200

Keywords:

spatial logics philosophy of geometry Bertrand Russell

Descriptors:

  • HS1_4: Logic, science methodology, philosophy of science
  • ST1_1: Logic and foundations
  • ST6_4: Formal methods, foundations of computer science, including theoretical computer science, quantum algorithms

Panel:

HS1 - Fundamental questions of human existence and the nature of reality: philosophy, cognition, religious studies, theology

Host institution :

Uniwersytet Zielonogórski, Wydział Humanistyczny

woj. lubuskie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr Adam Trybus 

Number of co-investigators in the project: 1

Call: SONATA 13 - announced on 2017-06-14

Amount awarded: 202 996 PLN

Project start date (Y-m-d): 2018-03-27

Project end date (Y-m-d): 2022-09-26

Project duration:: 54 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.

Information in the final report

  • Publication in academic press/journals (5)
  1. On Jan Łukasiewicz's 'The Principle of Contradiction and Symbolic Logic'
    Authors:
    Adam Trybus, Bernard Linsky
    Academic press:
    History and Philosophy of Logic (rok: 2020, tom: 41, strony: 183-190), Wydawca: Taylor and Francis
    Status:
    Published
    DOI:
    10.1080/01445340.2019.1693245 - link to the publication
  2. Russell and the Foundations of Qualitative Spatial Reasoning: The First Steps
    Authors:
    Adam Trybus
    Academic press:
    Interdisciplinary Science Reviews (rok: 2021, tom: 46/4, strony: 591-608), Wydawca: Taylor and Francis
    Status:
    Published
    DOI:
    10.1080/03080188.2020.1865661 - link to the publication
  3. Three-Dimensional Affine Spatial Logics
    Authors:
    Adam Trybus
    Academic press:
    Logica Universalis (rok: 2022, tom: 16, strony: 603-620), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s11787-022-00313-9 - link to the publication
  4. Two Poles Worlds Apart. Chwistek, Ingarden and the Split Between Phenomenology and Analytic Philosophy
    Authors:
    Adam Trybus, Bernard Linsky
    Academic press:
    Journal for the History of Analytical Philosophy (rok: 2022, tom: 10(5), strony: 15342), Wydawca: McMaster University Library Press
    Status:
    Published
    DOI:
    10.15173/jhap.v10i5.4902 - link to the publication
  5. Two of a Kind: Setting the Record Straight on Russell's Exchange with Ladd-Franklin on Solipsism
    Authors:
    Adam Trybus
    Academic press:
    Russell: the Journal of Bertrand Russell Studies (rok: 2020, tom: 39, strony: 101-120), Wydawca: The Bertrand Russell Research Centre
    Status:
    Published
    DOI:
    10.15173/russell.v39i2.4206 - link to the publication