Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Logic of language experience

2011/03/B/HS1/04580

Keywords:

logic philosophy of logic description language description equivalence

Descriptors:

  • HS1_4: Logic, science methodology, philosophy of science
  • HS1_3: Epistemology (incl. sources of knowledge, criteria of truth, philosophy of language)

Panel:

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

Host institution :

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

woj. mazowieckie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr Konrad Zdanowski 

Number of co-investigators in the project: 6

Call: OPUS 2 - announced on 2011-09-15

Amount awarded: 94 800 PLN

Project start date (Y-m-d): 2013-06-21

Project end date (Y-m-d): 2014-12-20

Project duration:: 18 months (the same as in the proposal)

Project status: Project settled

Information in the final report

  • Publication in academic press/journals (5)
  • Articles in post-conference publications (1)
  • Book publications / chapters in book publications (1)
  1. Non-Fregean logics of analytic equivalence (I)
    Authors:
    Andrzej Biłat
    Academic press:
    Bulletin of the Section of Logic (rok: 2015, tom: 44, strony: 53-68), Wydawca: Lodz University Press
    Status:
    Published
  2. On the minimal non-Fregean Grzegorczyk logic
    Authors:
    Joanna Golińska-Pilarek
    Academic press:
    Studia Logica (rok: 2015, tom: Online First, strony: 45317), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s11225-015-9635-y - link to the publication
  3. Polish notation
    Authors:
    Taneli Huuskonen
    Academic press:
    Formalized Mathematics. Mizar Mathematical Library (rok: 2015, tom: 23, strony: 161-176), Wydawca: University of Bialystok
    Status:
    Published
    DOI:
    10.1515/forma-2015-0014 - link to the publication
  4. Grzegorczyk's logics. Part 1
    Authors:
    Taneli Huuskonen
    Academic press:
    Formalized Mathematics. Mizar Mathematical Library (rok: 2015, tom: 23, strony: 177-187), Wydawca: University of Bialystok
    Status:
    Published
    DOI:
    10.1515/forma-2015-0015 - link to the publication
  5. Non-Fregean logics of analytic equivalence (II)
    Authors:
    Andrzej Biłat
    Academic press:
    Bulletin of the Section of Logic (rok: 2015, tom: 44, strony: 69-79), Wydawca: Lodz University Press
    Status:
    Published
  1. Grzegorczyk's non-Fregean logics
    Authors:
    Joanna Golińska-Pilarek, Taneli Huuskonen
    Conference:
    Trends in Logic XIV. Entia et NominA Workshop: The Road Less Travelled, Off-stream applications of formal methods (rok: 2014, ), Wydawca: Ghent University
    Data:
    konferencja 8-11 lipiec 2014
    Status:
    Published
  1. Grzegorczyk's non-Fregean logics and their formal properties
    Authors:
    Joanna Golińska-Pilarek, Taneli Huuskonen
    Book:
    Applications of Formal Philosophy (rok: 2015, ), Wydawca: Springer
    Status:
    Accepted for publication