Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "Wójtowicz, Krzysztof" wg kryterium: Autor


Wyświetlanie 1-6 z 6
Tytuł:
O uzasadnianiu w matematyce
On justification in mathematics
Autorzy:
Wójtowicz, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/2015959.pdf
Data publikacji:
2002
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
filozofia matematyki
formalizm
instrumentalizm
konceptualizm
realizm
philosophy of mathematics
formalism
instrumentalism
conceptualism
realism
Opis:
In this article the problem of justification of mathematical axioms (in the context of traditional standpoints in the philosophy of mathematics) is discussed. Stress is laid on the methodological analysis, which concerns the notion of “justification” itself. Concrete choices, known from mathematical practice are not discussed here. In the process of formulating an axiomatic theory, the problem of the choice of the appropriate axiom system and of the justification of this choice emerges. In particular, the following problems are connected with it:(1) The problem of the relation between the concept of “justification” and “truth” of mathematical sentences (when the classical definition of truth is assumed).(2) The problem which criteria of justification can be considered appropriate, and whether the problem of justification is well-posed.(3) The problem, whether these criteria can be applied only to axioms, in the process of constructing an axiomatic theory, or also to independent sentences (after their metamathematical status has been settled. In that case, extending a theory T by an independent sentence φ or ¬φ cannot be justified by a formal proof.) (4) The problem, whether the choice of a particular justificatory procedure is motivated philosophically; in particular, whether the problem of justification is considered well-posed. These questions are analysed in the context of classical philosophical standpoints in the philosophy of mathematics, such as: (1) strict formalism; (2) Hilbert's formalism; (3) mathematical instrumentalism; (4) intuitionism; (5) Quine's realism; (6) Gödel's realism. The standpoint of the “working mathematician” is also discussed.
Źródło:
Roczniki Filozoficzne; 2002, 50, 1; 527-551
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dowód matematyczny – argumentacja czy derywacja? – część II
Mathematical Proof – Argumentation or Derivation? – Part II
Autorzy:
Wójtowicz, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/691020.pdf
Data publikacji:
2011
Wydawca:
Copernicus Center Press
Tematy:
philosophy of mathematics
mathematical proof
formal derivation
derivation-indicator view
philsophy of science
Opis:
In the first part of the paper, Azzouni’s derivation–indicator view was presented. In the second part it is analyzed in a detailed way. It is shown, that many problems arise, which cannot be explained in a satisfactory way in Azzouni’s theory, in particular the problem of the explanatory role of proof, of its epistemic role; the relationship between first–order and second–order versions of proofs is also not clear. It is concluded, that Azzouni’s theory does not provide a satisfactory account of mathematical proof, but inspires an interesting discussion. In the article, some of the mentioned problems are discussed.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2011, 49; 81-97
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Rozumienie dowodu matematycznego a zagadnienie wyjaśnienia w matematyce
The Notion of Mathematical Proof and the Problem of Explanation in Mathematics
Autorzy:
Wójtowicz, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/690770.pdf
Data publikacji:
2015
Wydawca:
Copernicus Center Press
Tematy:
philosophy of mathematics
mathematical proof
explanation in mathematics
explanatory proofs
mathematical intuition
Opis:
In the article, I present two possible points of view concerning mathematical proofs: (a) the formal view (according to which the formalized versions of mathematical proofs reveal their “essence”); (b) the semantic view (according to which mathematical proofs are sequences of intellectual acts, and a form of intuitive “grasp” is crucial). The problem of formalizability of mathematical proofs is discussed, as well as the problem of explanation in mathematics – in particular the problem of explanatory versus non-explanatory character of mathematical proofs. I argue, that this problem can be analyzed in a fruitful way only from the semantic point of view.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2015, 58; 89-114
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dowód matematyczny – argumentacja czy derywacja? – część I
Mathematical Proof – Argumentation or Derivation? – Part I
Autorzy:
Wójtowicz, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/691022.pdf
Data publikacji:
2011
Wydawca:
Copernicus Center Press
Tematy:
philosophy of mathematics
mathematical proof
formal derivation
derivation-indicator view
philsophy of science
Opis:
The article is devoted to the problem of status of mathematical proofs, in particular it tries to capture the relationship between the real, „semantic” notion of mathematical proof, and its formal (algorithmic) counterpart. In the first part, Azzouni’s derivation–indicator view is presented in a detailed way. According to the DI view, there is a formal derivation underlying every real proof.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2011, 49; 63-80
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Matematyka - nauka o fikcjach?
Mathematics - science about fictions...?
Autorzy:
Wójtowicz, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/691150.pdf
Data publikacji:
2009
Wydawca:
Copernicus Center Press
Tematy:
fictionalism
field
mathematical realism
Quine's indispensability argument
philosophy of mathematics
Opis:
According to mathematical realism, mathematics describes an abstract realm of mathematical entities, and mathematical theorems are true in the classical sense of this term. In particular, mathematical realism is claimed to be the best theoretical explanation of the applicability of mathematics in science. According to Quine's indispensability argument, applicability is the best argument available in favor of mathematical realism. However, Quine's point of view has been questioned several times by the adherents of antirealism. According to Field, it is possible to show, that - in principle - mathematics is dispensable, and that so called synthetic versions of empirical theories are available. In his 'Science Without Numbers' Field follows the 'geometric strategy' - his aim is to reconstruct standard mathematical techniques in a suitable language, acceptable from the point of view of the nominalist. In the first part of the article, the author briefly presents Field's strategy. The second part is devoted to Balaguer's fictionalism, according to which mathematics is indispensable in science, but nevertheless can be considered to be a merely useful fiction.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2009, 45; 3-26
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kilka uwag o (meta)filozofii matematyki
A few remarks on the (meta)philosophy of mathematics
Autorzy:
Wójtowicz, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/691184.pdf
Data publikacji:
2007
Wydawca:
Copernicus Center Press
Tematy:
philosophy of mathematics
Opis:
The present essay deals with the problem of how to choose the correct method of doing philosophy of mathematics taking into account the importance of technical mathematical results for philosophical analysis. After a short historical introduction presenting the formation of the present mathematical paradigm, it is pointed out that the current mathematical praxis has, in principle, no connection with philosophical investigations. Two radically different approaches to philosophy of mathematics are outlined. Basing on selected examples it is argued that the correct method of doing philosophy of mathematics should take into account both technical results obtained by mathematicians (which often throw a new light on old philosophical questions) and the autonomy of philosophical method.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2007, 40; 12-29
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-6 z 6

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies