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ę "dedukcja" wg kryterium: Temat


Wyświetlanie 1-3 z 3
Tytuł:
Myśl jako ‘kyklos’ (DK 28 B 5) – aspekt refleksji epistemologiczno-metodologicznej Parmenidesa z Elei
The Idea of Circular Thought in the Philosophy of Parmenides of Elea (DK 28 B 5)
Autorzy:
Marcinkowska-Rosół, Maria
Powiązania:
https://bibliotekanauki.pl/articles/2013174.pdf
Data publikacji:
2008
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
Parmenides
myśl
koło
poznanie
dedukcja
circular thought
epistemology
deduction
Opis:
The article deals with the Greek idea of circular thought and especially with the question of its presence and meaning in the philosophy of Parmenides of Elea. A new interpretation of the fragment DK 28 B 5, which is crucial to this issue, is proposed. It is suggested that the circularity of thought refers to the deductive mode of the arguments in the “Aletheia” and to the proleptic character of some of the Parmenidean statements. Both fragment B 5 (to be placed probably at the beginning of the deduction of the “Aletheia”) and B 8.50-51 (the end of the “Aletheia”) may be successfully interpreted on the basis of this idea. The proposed interpretation makes clear why the circularity of thought does not oppose the linearity of the reasoning and why the logical character of cognition does not contradict its immediacy for Parmenides.
Źródło:
Roczniki Filozoficzne; 2008, 56, 2; 321-341
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Założeniowe systemy normalnych logik modalnych
Natural Deduction Systems of Normal Modal Logics
Autorzy:
Tkaczyk, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/2013342.pdf
Data publikacji:
2007
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika modalna
normalna logika modalna
dedukcja naturalna
system założeniowy
modal logic
normal modal logic
natural deduction
Opis:
Most normal modal logics have been constructed as axiomatic systems rather than natural deduction. However, a lot of them have Gentzen-style or Kalish-Montague-style counterparts. Unfortunately, very few systems have Słupecki-Borkowski-style natural deduction counterparts. To fill in the gap is an aim of the present paper. The system K is developed as a Leśniewski-Borkowski-style natural deduction system in two ways. Equivalence of the systems is proved. A way is described to develop other normal systems beginning with the given system K.
Źródło:
Roczniki Filozoficzne; 2007, 55, 1; 219-228
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Strukturalność a dedukcyjność matematyki: współczesny strukturalizm w filozofii matematyki
Structurality and Deductivity of Mathematics: Contemporary Structuralism in the Philosophy of Mathematics
Autorzy:
Czakon, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/1791181.pdf
Data publikacji:
2021-06-28
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
filozofia matematyki
strukturalizm matematyczny
struktura
dedukcja
strukturalność matematyki
dedukcyjność matematyki
strukturalizm sui generis
teoria mnogości
metodologia matematyki
philosophy of mathematics
mathematical structuralism
structure
deduction
structurality of mathematics
deductivity of mathematics
structuralism sui generis
set theory
methodology of mathematics
Opis:
Wspólne dla różnego typu strukturalizmów matematycznych jest stwierdzenie, że dla matematyki jako nauki prawdziwa jest koniunkcja: a) matematyka jest nauką o strukturach oraz b) matematyka jest nauką dedukcyjną. Przedstawiane są odmienne argumenty na rzecz tych dwóch własności matematyki i różnie rozumiane są pojęcia strukturalności i dedukcyjności, co skutkuje powstawaniem różnego rodzaju strukturalizmów. Twierdzimy, że przy pewnym ustalonym sposobie rozumienia tych pojęć możliwa jest ich równoważność. Argumentujemy na rzecz takiego rozumienia strukturalizmu, które streszcza się w stwierdzeniu: a) matematyka jest nauką o strukturach wtedy i tylko wtedy, gdy b) matematyka jest nauką dedukcyjną.
It is common for different types of mathematical structuralism that the conjunction of two statements ( a) mathematics is science about structures and b) mathematics is deductive science) is true, Distinct arguments for this two features of mathematics are exanimated therefore the main concepts (structurality and deductivity) are understood differently, the results are various types of structuralism. We claim that it is possible to establish the way of understood of this two concepts in witeh they are equivalent. We argue that can interpret mathematical structuralism as equivalence: a) mathematics is science about structures if and only, if b) mathematics is deductive science
Źródło:
Roczniki Filozoficzne; 2021, 69, 2; 241-268
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-3 z 3

    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