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
|