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


Wyświetlanie 1-2 z 2
Tytuł:
Elementy logiki w polskiej szkole matematycznej. Wkład Stanisława Leśniewskiego
Elements of Logic in the Polish School of Mathematics. The contribution of Stanisław Leśniewski
Autorzy:
Obojska, Lidia
Powiązania:
https://bibliotekanauki.pl/articles/690996.pdf
Data publikacji:
2013
Wydawca:
Copernicus Center Press
Tematy:
symbolic language
functors
antinomy
Leśniewski’s systems
Opis:
In the presented paper we would like to focus on the scientific activity of the one of the members of the Warsaw School of Logic. It is supposed that the world famous formalisms of Polish logicians were mainly stimulated by Stanisław Leśniewski. If this is true, Leśniewski can be considered as the main ideologist of Warsaw School. The first part of this paper is dedicated to a very brief presentation of the history of Polish logic in the period 1910-1939. Next, we present the main ideas of the Warsaw School of Logic and in particular the contribution of Stanisław Leśniewski: his original system of three theories: protothetics, ontology and mereology and their novelty in comparison with classical thought. Finally, we try to show the influence of Leśniewski’s innovative ideas on other members of the school.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2013, 53; 165-197
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Geneza niektórych systemów logiki temporalnej
The Origin of Some Systems of Temporal Logic
Autorzy:
Kozanecka-Dymek, Anna
Powiązania:
https://bibliotekanauki.pl/articles/2013059.pdf
Data publikacji:
2009
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
geneza
logika temporalna
zwroty czasowe
funktory czasowe
origin
temporal logic
tense clauses
temporal functors
Opis:
The article is devoted to the question of the origin of temporal logic. The aim of it is to answer to the question concerning the group of conditions and reasons of constructing such kinds of systems (especially of tense logic and G. H. von Wright’s temporal logic). As a result of conducted considerations, there is stated that there exist two reasons of arising some temporal systems. The first of them was the rebirth of interests of issues involving time in aspect of logic, the second (more essential) – insufficiency of the language of the classical logical calculus to give the formalization of tense clauses. In connection with this there was begun constructing temporal systems providing the linguistic and inferencional apparatus needed to control expressions and inferences containing such clauses. In the article there is also shown how there was led to formalize expressions including various tense clauses, and what follows, to introduce new functors to the language of logic.
Źródło:
Roczniki Filozoficzne; 2009, 57, 1; 75-90
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-2 z 2

    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