Informacja

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

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "GARBACZ, Paweł" wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
Wyświetlanie 1-10 z 16
Tytuł:
Digitalizacja filozofii formalnej
Digitalization of Formal Philosophy
Autorzy:
Garbacz, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/966751.pdf
Data publikacji:
2016-12-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
The paper presents a case study of digitalisation of formal philosophy. Using the theorem provers available at www.cs.miami.edu/~tptp/cgi-bin/SystemOnTPTP, I show that the formal ontology presented in (Nieznański 2007) is inconsistent. I also discuss some ways to avoid this inconsistency.
Źródło:
Filozofia Nauki; 2016, 24, 4; 27-47
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zagadnienie istnienia artefaktów. Głos w dyskusji
Problem of Artefactss Existence. A Discussion Note
Autorzy:
Garbacz, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/965676.pdf
Data publikacji:
2010-09-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
In this paper I discuss the arguments against the existence of artefacts, which were propounded by Mariusz Grygianiec in his book Identyczność i trwanie. I show that all of these arguments are inconclusive or are in the need of further elaboration. Therefore, I conclude that the the metaphysical thesis to the effect that artefacts do not exist remains unsupported.
Źródło:
Filozofia Nauki; 2010, 18, 3; 121-134
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Filozoficzne motywacje logiki trójwartościowej Jana Łukasiewicza
Philosophical Motivations of Jan Łukasiewicz’s Three-valued Logic
Autorzy:
Garbacz, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/1917762.pdf
Data publikacji:
2020-11-16
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Opis:
The paper seeks to reconstruct the philosophical genesis of Jan Łukasiewicz’s three-valued logic. The assumptions that have explicitly been given by Łukasiewicz have been supplemented by the author’s hypotheses, put forward on the basis of the logician’s works. It has turned out that a rich and complicated structure of ontological, semiotic, and metascientific statements make up that system. Owing to incoherence of some of them, however, they cannot play the role of being a reason for logic Ł3.
Źródło:
Roczniki Filozoficzne; 1997, 45, 1; 75-100
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
W stronę Łukasiewicza
Towards Łukasiewicz
Autorzy:
Garbacz, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/968460.pdf
Data publikacji:
2000-03-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
The paper contains an attempt at formulating the project of logic comprised in Jan Łukasiewicz's article „On determinism” and a construction of a logic which would realise this project. Such a logic consists of three consequence-operations build upon a four-element algebra. The values of the algebra have been defined by means of the following set of sentences: true and true today, true but not true today, false but not false today and false and false today. It turns out that only one of the consequences is different from the classical consequence and all of them are logically two-valued. It is proved moreover, that the assumption that tautologies consists of sentences-forms which are „always” true today, results in the non-existence of such tautologies.
Źródło:
Filozofia Nauki; 2000, 8, 1; 73-83
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Uogólniona opozycja monizm-pluralizm
Generalized Opposition Monism-Pluralism
Autorzy:
Garbacz, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/2012835.pdf
Data publikacji:
2011
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
metafilozofia
monizm
pluralizm
formalizacja
relacja
metaphilosophy
monism
pluralism
formalisation
relation
Opis:
The article concerns the distinction between monistic and pluralistic positions in philosophical ontology. I present a formal scheme, which, on the one hand, consistently describes historically recognised versions of this distinction, and which, on the other hand, shows some conceptual perspectives for new versions thereof.
Źródło:
Roczniki Filozoficzne; 2011, 59, 2; 91-102
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Co to jest kryterium identyczności?
What is the Criterion of Identity?
Autorzy:
Garbacz, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/2015849.pdf
Data publikacji:
2003
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
kryterium identyczności
zbiór
kołowacizna
criterion of identity
set
circularity
Opis:
The article contains the reporting definition for the criterion of identity, a classification of criteria of identity and the general conditions that criteria of identity should meet. The author suggests replacing the binary division of criteria of identity into one- and two-level ones with a ternary division into one level, mixed and two-level criteria. In this suggestion the key role is played by the definition of the range of relation. The article is concluded with a partial solution to the dispute between T. Williamson and E. Lowe over the value of one-level criteria of identity.
Źródło:
Roczniki Filozoficzne; 2003, 51, 1; 53-66
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Próba rekonstrukcji systemu Z i jego podstaw filozoficznych
An Attempt at the Reconstruction of System Z and Its Philosophical Foundations
Autorzy:
Garbacz, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/1917763.pdf
Data publikacji:
2020-11-16
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Opis:
The paper shows an attempt at a matrix reconstruction of the system of Zygmunt Zawirski’s many-valued logic, as well as at making the philosophical foundations of that system precise. The evolution of Zawirski’s standpoints has been underlined. Due to their general character and ambiguity many conclusions in the work are hypothetical.
Źródło:
Roczniki Filozoficzne; 1997, 45, 1; 101-118
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-10 z 16

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