* Logika i artefakty *

Książki mogą mieć uszkodzenia mechaniczne (zabrudzenia/zagięcia okładki lub grzbietu).


Paweł Garbacz
ISBN: 83-7363-425-8
Stron: 298
Format: B5
Rok wydania: 2006

Książka podejmuje problematykę logicznych podstaw filozofii artefaktów. Punktem wyjścia są cztery specyficzne zagadnienia: struktury wiedzy o artefaktach, demarkacji zakresu pojęcia „artefakt”, kryteriów identyczności dla artefaktów oraz ich struktury mereologicznej. Korzystając z analiz dokonanych na gruncie filozofii, teorii projektowania inżynierskiego oraz informatyki, autor konstruuję teorię formalną, która z jednej strony dostarcza rozwiązań owych problemów, a z drugiej prezentuje spójną wizję świata ludzkich wytworów. W świetle tej wizji artefakty są przedmiotami o czterech specyficznych wymiarach: teleologicznym, związanym z celami artefaktów prakseodeskryptywnym, determinującym ich istotne aspekty gnozeologicznym, dotyczącym ugruntowania poznawczego procesów projektowania i produkcji oraz eksploratywnym, który określa sposób użytkowania artefaktów.


SPIS TREŚCI

Wstęp

Rozdział I. Zarys problematyki
§ 1. Preliminaria metalogiczne
§ 2. Wyodrębnienie problematyki logicznej
§ 3. Problem struktury wiedzy o artefaktach
§ 4. Problem demarkacji
§ 5. Problemy tożsamości
§ 6. Problem mereologiczny

Rozdział II. Dotychczasowe rozwiązania problemów logicznych
§ 1. Randalla Diperta teoria artefaktów
§ 2. Romana Ingardena koncepcja przedmiotów kulturowych
§ 3. Podejście Functional Representation
§ 4. Vladimira Hubki i Ernsta Edera teoria systemów technicznych
§ 5. Biologiczne koncepcje funkcji artefaktów
§ 6. Kryteria identyczności dla artefaktów
6.1. Ogólne kryteria identyczności oparte na logice klasycznej
6.2. Szczegółowe kryteria identyczności oparte na logice klasycznej
6.3. Kryteria identyczności w logikach nieklasycznych
§ 7. Athanassiosa Tzouvarasa mereologia dla artefaktów

Rozdział III. W kierunku formalnej teorii artefaktów
§ 1. Uwagi metateoretyczne
§ 2. Minimalna teoria stanów rzeczy
§ 3. Zarys teorii artefaktów
3.1. Wymiar teleologiczny
3.2. Wymiar prakseodeskryptywny
3.3. Wymiar gnozeologiczny
3.4. Wymiar eksploatatywny
3.5. Dowód niesprzeczności FTA
§ 4. Nowe rozwiązania problemów logicznych
4.1. Problem struktury wiedzy o artefaktach
4.2. Problem demarkacji
4.3. Problemy tożsamości
4.4. Problem mereologiczny

Zakończenie

Aneks I. FTA - komponent formalny
Aneks II. FTA-OWL
Bibliografia
Indeks rzeczowy