Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Extremal axioms: logical, mathematical and cognitive aspects

2015/17/B/HS1/02232

Keywords:

extremal axiom intended model mathematical intuition categoricity completeness limitative theorem

Descriptors:

  • HS1_4: Logic, science methodology, philosophy of science

Panel:

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

Host institution :

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

woj. wielkopolskie

Other projects carried out by the institution 

Principal investigator (from the host institution):

prof. Jerzy Pogonowski 

Number of co-investigators in the project: 3

Call: OPUS 9 - announced on 2015-03-16

Amount awarded: 317 446 PLN

Project start date (Y-m-d): 2016-01-25

Project end date (Y-m-d): 2020-03-24

Project duration:: 50 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]

  1. Komputer przenośny (laptop) (3 000 PLN)
  2. Komputer stacjonarny z monitorem (4 000 PLN)
  3. Oprogramowanie Mathematica (6 000 PLN)
  4. Urządzenie wielofunkcyjne (4 000 PLN)

Information in the final report

  • Publication in academic press/journals (13)
  • Articles in post-conference publications (2)
  • Book publications / chapters in book publications (9)
  1. "Mathematics is the logic of the Infinite": Zermelo's project of infinitary logic
    Authors:
    Jerzy Pogonowski
    Academic press:
    Studies in Logic, Grammar and Rhetoric (rok: 2021, tom: 66, strony: 673-708), Wydawca: University of Białystok
    Status:
    Published
    DOI:
    10.2478/slgr-2021-0042 - link to the publication
  2. An investigation into intuitionistic logic with identity
    Authors:
    Szymon Chlebowski, Dorota Leszczyńska-Jasion
    Academic press:
    Bulletin of the Section of Logic (rok: 2019, tom: 48/4, strony: 259-283), Wydawca: Uniwersytet Łódzki
    Status:
    Published
    DOI:
    10.18778/0138-0680.48.4.02 - link to the publication
  3. Natural deduction systems for intuitionistic logic with identity
    Authors:
    Szymon Chlebowski, Agata Tomczyk, Marta Gawek
    Academic press:
    Studia Logica (rok: 2022, tom: online-first articles, strony: 12785), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s11225-022-09995-0 - link to the publication
  4. Remarks on the principle of permanence of forms
    Authors:
    Jerzy Pogonowski
    Academic press:
    Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia (rok: 2019, tom: 11, strony: 105-119), Wydawca: Wydawnictwo Naukowe UP
    Status:
    Published
    DOI:
    10.24917/20809751.11.6 - link to the publication
  5. Kontekst Przekazu w Matematyce
    Authors:
    Jerzy Pogonowski
    Academic press:
    Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia (rok: 2016, tom: VIII, strony: 119-137), Wydawca: Wydawnictwo Naukowe UP
    Status:
    Published
  6. On the invention-discovery dilemma
    Authors:
    Jerzy Pogonowski
    Academic press:
    Philosophy of Mathematics Education Journal (rok: 2021, tom: 38, strony: 45314), Wydawca: School of Education, University of Exeter
    Status:
    Published
  7. Intuitive explanations in mathematical education
    Authors:
    Jerzy Pogonowski
    Academic press:
    Journal of Humanistic Mathematics (), Wydawca: Claremont McKenna College
    Status:
    Submitted
  8. On conceptual metaphors in mathematics
    Authors:
    Jerzy Pogonowski
    Academic press:
    Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia (rok: 2017, tom: 9, strony: 85-98), Wydawca: Wydawnictwo Naukowe UP
    Status:
    Published
    DOI:
    10.24917/20809751.9.4 - link to the publication
  9. Oswajanie patologii matematycznych
    Authors:
    Jerzy Pogonowski
    Academic press:
    Principia (rok: 2020, tom: 67, strony: 45310), Wydawca: Instytut Filozofii UJ
    Status:
    Accepted for publication
    DOI:
    10.4467/20843887PI.20.004.13834 - link to the publication
  10. Domestication of mathematical pathologies
    Authors:
    Jerzy Pogonowski
    Academic press:
    Studies in Logic, Grammar and Rhetoric (rok: 2021, tom: 66, strony: 709-720), Wydawca: University of Białystok
    Status:
    Published
    DOI:
    10.2478/slgr-2021-0043 - link to the publication
  11. On the axiom of canonicity
    Authors:
    Jerzy Pogonowski
    Academic press:
    Logic and Logical Philosophy (rok: 2022, tom: Online First Articles, strony: 45320), Wydawca: Uniwersytet Mikołaja Kopernika
    Status:
    Published
    DOI:
    10.12775/LLP.2022.022 - link to the publication
  12. Intuitive explanations of mathematical ideas
    Authors:
    Jerzy Pogonowski
    Academic press:
    Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia (rok: 2018, tom: 10, strony: 123-137), Wydawca: Wydawnictwo Naukowe UP
    Status:
    Published
  13. Obraz pojęcia ciągłości funkcji - wyniki badania przeprowadzonego wśród studentów
    Authors:
    Barbara Borkowicz
    Academic press:
    Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia (rok: 2020, tom: 12, strony: 89-107), Wydawca: Wydawnictwo Naukowe UP
    Status:
    Published
    DOI:
    10.24917/20809751.12.4 - link to the publication
  1. Extremal axioms in mathematics
    Authors:
    Jerzy Pogonowski
    Conference:
    IX Conference of the Spanish Society of Logic, Methodology and Philosophy of Science (rok: 2018, ), Wydawca: Sociedad de Lógica, Metodología y Filosofia de la Ciencia en Espana
    Data:
    konferencja 13-16 listopada 2018
    Status:
    Published
  2. Intuicja w dydaktyce matematyki
    Authors:
    Jerzy Pogonowski
    Conference:
    Myślenie matematyczne. Podstawy, rozwój, edukacja (rok: 2020, ), Wydawca: Akademicka Oficyna Wydawnicza EXIT
    Data:
    konferencja 24-26 stycznia 2019
    Status:
    Published
  1. Seweryna Łuszczewska-Romahnowa
    Authors:
    Roman Murawski, Jerzy Pogonowski
    Book:
    The Lvov-Warsaw School. Past and Present (rok: 2018, tom: 1, strony: 241-247), Wydawca: Birkhauser
    Status:
    Published
  2. Extremal axioms. Logical, mathematical and cognitive aspects
    Authors:
    Jerzy Pogonowski
    Book:
    Extremal axioms. Logical, mathematical and cognitive aspects (rok: 2019, tom: I, strony: 1-319), Wydawca: Wydawnictwo Nauk Społecznych i Humanistycznych UAM
    Status:
    Published
  3. Intuicje a nabywanie wiedzy matematycznej
    Authors:
    Jerzy Pogonowski
    Book:
    Problemy filozofii matematyki i informatyki (red. Roman Murawski, Jan Woleński) (rok: 2018, tom: 1, strony: 145-152), Wydawca: Wydawnictwo Naukowe UAM
    Status:
    Published
  4. Postulaty i metafory. Dwie wizje podstaw matematyki
    Authors:
    Jerzy Pogonowski
    Book:
    Postulaty i metafory. Dwie wizje podstaw matematyki (rok: 2021, tom: I, strony: 1-154), Wydawca: Wydawnictwo Nauk Społecznych i Humanistycznych UAM
    Status:
    Published
  5. Jak nauczać logiki formalnej?
    Authors:
    Jerzy Pogonowski
    Book:
    Logika (rok: 2018, tom: II, strony: 281-295), Wydawca: Wydawnictwo KUL
    Status:
    Published
  6. Essays on Mathematical Reasoning. Cognitive Aspects of Mathematical Research and Education
    Authors:
    Jerzy Pogonowski
    Book:
    Essays on Mathematical Reasoning. Cognitive Aspects of Mathematical Research and Education (rok: 2020, tom: 17, strony: 1-114), Wydawca: LIT Verlag
    Status:
    Published
  7. Językowy obraz świata: języki logiki formalnej
    Authors:
    Jerzy Pogonowski
    Book:
    Filozof w krainie umysłów. Profesorowi Andrzejowi Klawiterowi w darze (rok: 2018, tom: 1, strony: 79-91), Wydawca: Wydawnictwo Naukowe Wydziału Nauk Społecznych UAM
    Status:
    Published
  8. Myślenie matematyczne. Drobne eseje przedemerytalne
    Authors:
    Jerzy Pogonowski
    Book:
    Myślenie matematyczne. Drobne eseje przedemerytalne (rok: 2020, tom: I, strony: 1-153), Wydawca: Wydawnictwo Nauk Społecznych i Humanistycznych UAM
    Status:
    Published
  9. 1. Three worlds of mathematics 2. Basic ideas of intuitionism 3. The brave mathematical ant 4. Degrees of accessibility of mathematical objects
    Authors:
    Barbara Borkowicz, Szymon Chlebowski, Jerzy Pogonowski
    Book:
    Szymon Chlebowski (ed.): Glimpses into the World of Mathematics. A Cognitive Perspective (rok: 2020, tom: 18, strony: 1-142), Wydawca: LIT Verlag
    Status:
    Published