Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Results found: 7

first rewind previous Page / 1 next fast forward last

Search results

help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1
Content available remote

O wymieraniu możliwości w teorii czasu rozgałęzionego

100%
Garbacz P.
Diametros
|
2005
|
issue 6
255-264
PL
Tekst jest polemiką z artykułem Mateusza Klinowskiego Możliwe zdarzenia w branching-time, który ukazał się w 3. numerze ICF Diametros.
2
Publication available in full text mode
Content available

Problem of Artefacts's Existence. A Discussion Note

100%
Garbacz P.
Filozofia Nauki
|
2010
|
vol. 18
|
issue 3
121-134
PL
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.
3
Publication available in full text mode
Content available

Towards Łukasiewicz

100%
Garbacz P.
Filozofia Nauki
|
2000
|
vol. 8
|
issue 1
73-83
PL
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.
4
Publication available in full text mode
Content available

Digitalization of Formal Philosophy

100%
Garbacz P.
Filozofia Nauki
|
2016
|
vol. 24
|
issue 4
27-47
PL
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.
5

Metody sztucznej inteligencji w digitalizacji filozofii

100%
Garbacz P.
Roczniki Kulturoznawcze
|
2016
|
vol. 7
|
issue 1
57-81
PL
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.
EN
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.
6
Publication available in full text mode
Content available

Bits and Entities: On an Unnoticed Application of Ontology

63%
Trypuz R., Garbacz P.
Filozofia Nauki
|
2007
|
vol. 15
|
issue 3
121-140
PL
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
7
Publication available in full text mode
Content available

The Relative Identity and Indifferentiality

63%
Garbacz P.
Filozofia Nauki
|
2002
|
vol. 10
|
issue 3-4
53-64
PL
   
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.