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ę "Trypuz, Robert" wg kryterium: Autor


Wyświetlanie 1-6 z 6
Tytuł:
"Setna" - prosta teoria norm i działań
'Setna' - Simple Theory of Norms and Actions
Autorzy:
Trypuz, Robert
Powiązania:
https://bibliotekanauki.pl/articles/968665.pdf
Data publikacji:
2008-09-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
In the first systems of deontic logic obligatoriness, prohibitiveness and permissibility were features of actions. It was a very natural choice, corresponding to the way in which these concepts were used not only in natural language but also in Law and Ethics. It's well known that contemporary systems of deontic logics do not deal with actions any more. They are simply deontic logics of propositions providing for deontic qualification of states of affairs. Such an approach, although might be useful for instance in Computer Science (especially in security applications, where there is a need of expressing that a certain state of machine is, say, permitted and the other is forbidden), is inadequate for modeling norms of Law and Ethics (and possibly norms of many other fields). In this paper the Simple Theory of Norms and Actions (in short: Setna) is proposed. It is inspired by the first deontic logics, i.e. it's deontic operators take names of actions as their arguments. Additionally this theory has as its part a theory of actions which has not been taken into account in deontic logic until now. Enriching deontic theory with a theory of action gives an account for expressing dependencies which hold between the deontic properties and some other properties of actions. For instance Setna states that two actions that cannot be carried out simultaneously in the same situation should not be both regulated as obligatory-an agent would not be able to follow such a law.
Źródło:
Filozofia Nauki; 2008, 16, 3-4; 155-175
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O NAZYWANIU PRZEDMIOTÓW – CZYLI JAK TADEUSZ KOTARBIŃSKI UCZY ROZUMIEĆ ONTOLOGIĘ STANISŁAWA LEŚNIEWSKIEGO
ABOUT THE PUTTING NAMES TO OBJECTS, I.E. HOW TADEUSZ KOTARBIŃSKI TEACHES UNDERSTAND STANISŁAW LEŚNIEWSKI’S ONTOLOGY
Autorzy:
Trypuz, Robert
Powiązania:
https://bibliotekanauki.pl/articles/488559.pdf
Data publikacji:
2014
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
Ontologia Leśniewskiego
denotacja
nazwa
Leśniewski’s Ontology
denotation
name
Opis:
This article presents an attempt to fund Ontology of StanisOaw Leeniewski on a simple theory with one primitive relation “being denoted by”. Developed theory shows that to the linguistic model of the Ontology can belong only such general names that in their extensions have at least two objects (references) denoted by individual names.
Artykuł jest próbą ufundowania małej, elementarnej Ontologii Stanisława Leśniewskiego na prostej teorii relacji „podpadania przedmiotu pod nazwę”. Skonstruowana teoria pokazuje, że do lingwistycznego modelu Ontologii mogą należeć tylko takie nazwy ogólne, które maja co najmniej dwa desygnaty mające swoje nazwy indywidualne.
Źródło:
Roczniki Filozoficzne; 2014, 62, 1; 37-51
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Przyczynek do analizy wartości poznawczej systemów logiki sprawczości
Contribution to the Cognitive Value of Systems of Logic of Agency
Autorzy:
Trypuz, Robert
Powiązania:
https://bibliotekanauki.pl/articles/2013047.pdf
Data publikacji:
2009
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
sprawczość
działanie
Davidson
Belnap
STIT
agency
action
Opis:
In this article the two approaches towards representation of action, namely the Anselmian and Davidsonian ones, are described and compared. Especially the ontological commitment of the two approaches are brought to light. The central problem of the paper is the question of adequacy of these approaches to representation of actions.
Źródło:
Roczniki Filozoficzne; 2009, 57, 1; 257-276
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Spór o wartość logiczną norm. Logika norm a logika deontyczna
The Discussion about the Truth Value of Norms. Logic of Norms and Deontic Logic
Autorzy:
Trypuz, Robert
Powiązania:
https://bibliotekanauki.pl/articles/2015662.pdf
Data publikacji:
2004
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika norm
logika deontyczna
prawda
logic of norms
deontic logic
truth
Opis:
The main purpose of this paper was the trial to answer the question if norms can function as premises or conclusions in logical inferences. According to definition of logical inference, the parts of its may be only sentences (in indicative mood) which are true or false. The logic, which accepts that norms are the true and false propositions, can be named the Logic of Norms. Otherwise the logic, which reject that norms are true and false propositions, we name Deontic Logic. The last one, in order to use the logical inference, changes each of norms N into normative sentences: ‘N exists’ or ‘N exists for the sake of set of norms’. The normative sentences are sentences in indicative mood and thereby are true or false. The whole consideration about two types aforementioned logic is preceded by some remarks about variety of the meanings of the word ‘norm’, the linguistic structures of norm and the views of the truth value of norms.
Źródło:
Roczniki Filozoficzne; 2004, 52, 1; 293-316
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ł
Tytuł:
Ontologia praw naukowych w kontekście reprezentacji i udostępniania wyników badań naukowych
Ontology of Scientific Laws in the Context of Representation and Sharing of Research Results
Autorzy:
Trójczak, Rafał
Trypuz, Robert
Kulicki, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/967894.pdf
Data publikacji:
2015-12-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
The aim of the paper is to present an ontology of scientific laws as a tool for presentation of results extracted from research articles. The way we represent scientific laws is founded on our classification of scientific laws, which is based on the works of Kazimierz Ajdukiewicz and Władysław Krajewski. The classification is described formally and complemented with the specification of requirements for each type of law, in order to obtain an ontology in the sense of ontological engineering. The ontology is used to represent research results from the domain of agri-food science. We give examples of representation of laws taken from scientific papers and reasoning algorithms that lead to automatic generation of new information and identification of conflicts in the literature.
Źródło:
Filozofia Nauki; 2015, 23, 4; 19-40
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-6 z 6

    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