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-15 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ł
Tytuł:
O warunkach formalizacji ontologii stanów rzeczy. Studium przypadku
On the Conditions of the Formalisation of the Ontology of the State of Affairs. A Case Study
Autorzy:
Garbacz, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/2013210.pdf
Data publikacji:
2008
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
stan rzeczy
ontologia
formalizacja
Roman Ingarden
state of affairs
ontology
formalisation
Opis:
These considerations seek to show whether it is possible to build a formal theory of the state of affairs, which would be sufficiently well founded in philosophy. Our analysis focuses on a case study in the form of the ontology of the state of affairs proposed by Roman Ingarden. The principal part of this analysis is devoted to Ingarden’s exposition. As its result, the author formulates a list of conditions that should be fulfilled by a formal theory, so that it could aspire to be called “Ingarden’s ontology of the state of affairs.”
Źródło:
Roczniki Filozoficzne; 2008, 56, 1; 61-83
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Uwagi o genezie współczesnej logiki modalnej
Remarks on the Origin of the Contemporary Modal Logic
Autorzy:
Garbacz, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/2016233.pdf
Data publikacji:
2000
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Opis:
In the article a justification is presented of introducing the logics of strict implication that can be reconstructed from the works of Clarence Irving Lewis who created them. It turns out that besides the commonly mentioned arguments concerning inadequacy of the implication of the classical logic for expressing the relation of implication Lewis also gave two other motivations. Namely, he claimed that classical logic is not able to formulate the intensional meaning that he ascribed to some alternative statements of current language and that classical logic involves ontological determinism. An analysis of these arguments also supported the conclusion concerning a metalinguistic character of functors of logics of strict implication drawn on the basis of the way Lewis understood expressions of formal logic. Hence the need was emphasised of caution in applying the discussed systems for formalising philosophical reasoning. Attention was also paid to the fact that only systems S I -S3 are entirely originated by C. I. Lewis, and Oscar Becker made a major contribution towards logics S4-S5. Different origins of these systems seem to be a certain explanation for their semantic heterogeneity.
Źródło:
Roczniki Filozoficzne; 2000, 48, 1; 169-194
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metody sztucznej inteligencji w digitalizacji filozofii
Artificial Intelligence Methods in Digital Philosophy
Autorzy:
Garbacz, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/1807180.pdf
Data publikacji:
2020-01-03
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
humanistyka cyfrowa
inżynieria ontologii
logika
reprezentacja wiedzy
digital humanities
logic
knowledge representation
ontological engineering
Opis:
Artykuł jest poświęcony możliwości digitalizacji filozofii przy użyciu formalnologicznych narzędzi wypracowanych w badaniach nad sztuczną inteligencją. Do takich narzędzi zaliczam przede wszystkim artefakty pojęciowe stworzone w inżynierii ontologii oraz metody ich zastosowań. W szczególności omawiam ontologie fundacjonalne, podklasę tzw. ontologii stosowanych, którą uważam za podstawową formę zdigitalizowanej filozofii.
The paper discusses the perspectives of digital philosophy in the context of the formal tools available in Artificial Intelligence. These include, first and foremost, engineering ontologies and the methods of their application. In particular I discuss foundational ontologies, a type of engineering ontologies, which I consider as the basic form of digital philosophy.
Źródło:
Roczniki Kulturoznawcze; 2016, 7, 1; 57-81
2082-8578
Pojawia się w:
Roczniki Kulturoznawcze
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On the Representation if States of Affairs in the Antinomy of Future Contingents
O REPREZENTACJI STANÓW RZECZY W ANTYNOMII FUTURA CONTINGENTIA
Autorzy:
GARBACZ, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/488377.pdf
Data publikacji:
2018-11-04
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
antinomy
future contigents
formalization
classical predicate calculus
formal semantics
ontology
antynomia
futura contingentia
formalizacja
semantyka formalna
ontologia
Opis:
The paper is a comment on the formalization of the antinomy of futura contigentia in the form of a (inconsistent) theory formulated by Marcin Tkaczyk in the language of classical pre-dicate calculus. I argue that some features of the formalization in question are contro¬versial from the viewpoint of formal semantics and ontology, and suggest two ways of removing some of those controversies.
Artykuł jest komentarzem do formalizacji antynomii futura contigentia w postaci (sprzecz-nej) teorii sformułowanej przez Marcina Tkaczyka w języku klasycznej logiki predykatów. Argu¬men¬tuję w nim, że formalizacja ta posiada pewne kontrowersyjne, z punktu widzenia ontologii i semantyki formalnej, własności oraz sugeruję dwa sposoby melioracji niektórych z tych kontrowersji.
Źródło:
Roczniki Filozoficzne; 2018, 66, 4; 55-80
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Bity i byty. O pewnym mało znanym zastosowaniu ontologii
Bits and Entities: On an Unnoticed Application of Ontology
Autorzy:
Trypuz, Robert
Garbacz, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/963981.pdf
Data publikacji:
2007-09-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
In this paper we are focused on the relation between an Ontology (with the capital "O") qua philosophical discipline and an ontology (with the lowercase "o") qua branch of Computer Science. In our view "Ontology" refers to all philosophical groups or schools which take some position on the reality. The meaning of 'ontology' in the second case is not that easy to grasp because of the variety of artefacts which are called 'ontologies' and many activities - aiming at creating the ontologies - called ontological engineering. In general we could state that an ontology is something what is called "ontology" beyond Philosophy, mostly in the Knowledge Management, Artificial Intelligence, Conceptual Modelling or Ontological Engineering and what refers to an engineering artefact describing certain aspect of reality. So understood ontology is always tied to certain language (preferably a logical one) or more precisely to the set of the sentences of this language. It is said that these sentences constitute an ontology and specify the intended meaning of the terms used in these sentences. The ontologists usually focus on describing their conceptualization of the relevant for them aspects of reality. In their ontologies only these properties of reality are taken into account, which are considered as important for the sake of the application. In this sense ontological engineering may ignore Ontologically essential properties, i.e. the ones important from the purely philosophical perspective. The simplest ontologies are catalogues - the list of terms or numbers denoting certain object, glossaries - containing additionally the definitions of the terms, thesauri - the glossaries in which the hierarchy of the terms appear and taxonomies - in which the primitives are hierarchically structured in order to enabling the properties' inheritance. The most sophisticated ontologies are called formal ontologies and they are logical theories fully axiomatized. Ontologies are also divided on the top-level ontologies concerning very general and mostly abstract entities (e.g. property, agent, time) and the domain ontologies dealing with some small domains (e.g. car's parts). For a better understanding of the wide variety of ontologies we give an example of three ontologies: WordNet (thesaurus-like ontology), Cyc (top-level, formal ontology) and Enterprise Ontology (domain ontology). The Ontology plays an important role in ontological engineering. We notice that the ontological engineers more and more often rely on the philosophical literature looking for the solutions of the ontological problems. It is especially visible in the top-ontologies where many Ontological distinctions have been directly adopted. On the other hand we must sadly stress that philosophers seem to be not interested in the ontological engineering at all. We'd like to introduce ontology to t
Źródło:
Filozofia Nauki; 2007, 15, 3; 121-140
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 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