PL
 |
EN
Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 9

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available “Internal” Problems of Normative Theories of Thinking and Reasoning
100%
Urbańczyk P.
Zagadnienia Filozoficzne w Nauce
|
2016
|
nr 60
35-52
PL
This paper provides moderate criticism of so-called normative theories of thinking and reasoning. The discussion focuses on the problems of idealization, adequacy, inconsistent yet non-trivial logics, logical omniscience etc. I called them “internal” to the normative approach, because they stem from the very properties of formal systems used to model these two human activities. Some arguments, however, refer to the current theories in cognitive science, including those which are developed within “descriptive” framework.
2
Content available Koncepcja automatyzacji Leonarda Torresa y Quevedo jako przyczynek do rozwoju computer science
100%
Urbańczyk P.
Semina Scientiarum
|
2015
|
tom 14
EN
The aim of this article is to indicate that the ideas of Leonardo Torres y Que­vedo presented in his short Essays on Automatics constitute essential link between early Babbage’s concepts of analytical engine and modern computer science. These ideas include definition of automatics, classification of automata, theoretical basis for robotics, electromechanical engineering, modern concept of chatbot, the importance of algorithm and last but not least floating point arithmetic.
3
Content available Copernicus Festival 2016: Beauty
100%
Urbańczyk P.
Zagadnienia Filozoficzne w Nauce
|
2016
|
nr 61
201-210
EN
Copernicus Festival, held annually, aims to demonstrate various dimensions of the relationship between science and culture. The third edition of the festival was devoted to the concept of beauty. During the six days of the festival about 7 thousand people took part in lectures, debates, discussions, workshops, concerts and other events.
4
Content available 20th Cracow Methodological Conference: Philosophy in Science
100%
Urbańczyk P.
Zagadnienia Filozoficzne w Nauce
|
2016
|
nr 61
189-200
EN
The 20th Cracow Methodological Conference took place on May 30-31, 2016, at the Polish Academy of Arts and Sciences in Kraków. The meeting brought together physicists, cosmologists, mathematicians and philosophers interested in research program called philosophy in science started and popularized by Michał Heller. It is worth noting that the 20th Cracow Methodological Conference was dedicated to Professor Heller and can be considered as a contribution to the celebration of the 80th anniversary of his birthday.
5
Content available Logika i teologia
100%
Urbańczyk P.
Zagadnienia Filozoficzne w Nauce
|
2014
|
nr 57
143-151
PL
Recenzja książki Logic in Theology, red. B. Brożek, A. Olszewski, M. Hohol, Copernicus Center Press, Kraków 2013, ss. 290.
6
Content available Geneza intuicjonistycznego rachunku zdań i Twierdzenie Gliwienki
100%
Urbańczyk P.
Zagadnienia Filozoficzne w Nauce
|
2014
|
nr 56
33-56
PL
Among the non-classical logics, the intuitionistic one stands out in many ways. First of all, because of its properties, it is grateful subject of formal analysis. Moreover, there is small, but very significant group of mathematicians and philosophers who claim that intuitionistic logic captures the reasoning utilized in mathematics better than classical one. This article reveals the origins of intuitionistic propositional calculus – it was an outcome of formalization of certain ideas about foundations of mathematics. A large part of the article is devoted to Glivenko’s Theorem – somewhat forgotten, but extremely interesting formal result regarding the relationship between the two logical calculi: classical and intuitionistic propositional logic.
7
Content available What are the limits of mathematical explanation? Interview with Charles McCarty by Piotr Urbańczyk
63%
McCarty D. C. , Urbańczyk P.
Zagadnienia Filozoficzne w Nauce
|
2016
|
nr 60
119-137
EN
An interview with Charles McCarty by Piotr Urbańczyk concerning  mathematical explanation.
8
Content available Wstęp
38%
Polak P. , Mączka J. , Urbańczyk P.
Zagadnienia Filozoficzne w Nauce
|
2016
|
nr 60
5-6
9
Content available Copernicus Festival 2015: Geniusz
38%
Urbańczyk P.
Semina Scientiarum
|
2015
|
tom 14
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.