Welcome to a project in theoretical philosophy called 'pw'. The program 'pw' is an attempt to represent knowledge and solve theoretical philosophical problems with the computer.
The starting point are short natural language sentences in formated form where philosphical points of view are gathered into topics. Among these sentences, relations are systematically built up to compute their consistency on the set of user selected sentences. The user can evaluate the sentences according to their truth values and relations to other sentences. The program then computes the consistency of the selected set of sentences based on their chosen values and relations.
The goal of the project is to compare and compute complex philosophical viewpoints, so step by step possibly one gets a consistent 'whole'. This approach gets especially interesting when the amount of sentences and their relations gets large. It can help enlighten the user's understanding of his points of view and their consistency.
The final target will be to implement an open server to make a standard to:
- be able to compute different formalized versions of evaluated sentence sets according to their consistency into some kind of variable knowledge base
- be able to compare different kinds of 'philosophies'
- enable co-operation on a bigger philosophical project.
The program runs on Windows 95, NT4 or later. The program consists of a user menue where one can read texts and sentences to philosophical problems, set up their relations, save your settings and compute them concerning their consistency. You can add your own sentences and topics. Please refer to the readme.txt after You download and unzip pw for further instructions.
Introduction in base concepts
Download actual version
Notes to the new version
Discussion of current problems
Download the 1BR part sources
Misc. - topics in studying theoretical philsophy
Open source pw server development site or read discussion to pw Srv project here.
mirror site
For questions, comments or further ideas please mail to: eme37@lycos.com
Das Ziel des Projekts ist es, mithilfe des Rechners komplexe philosophische Fragen und Standpunkte zu vergleichen und auf ihre Konsistenz hin zu bearbeiten, sodass sich ggf. (Schrittweise) ein konsistentes 'Ganzes' erzielen laesst. Dieser Ansatz wird besonders hilfreich, wenn die Zahl der Annahmen (Saetze) und gegenseitigen Relationen gross wird. Die Erstellung sollte dem Benutzer auch die Klaerung seiner eigenen Standpunkte sowie deren Konsistenz pruefen helfen. Die perspektivische Idee des Projektes ist es, durch die Implementierung eines frei zugaenglichen (open sopurce) Servers einen offenen Standard dafuer zu schaffen, mit dem es moeglich ist, dass:
- verschiedene formalisierte Versionen von bewerteten Satzmengen auf Konsistenz geprueft werden koennen als eine Art variable 'Wissensdatenbank'
- verschiedene 'Philosophien' die in diesen Satzmengen eingearbeitet sind vergleichbar werden
- die Zusammenarbeit an einem gemeinsamen umfassenderen philosophischen Projekt zumindest ermoeglicht wird
Das Programm laeuft unter Windows 95, NT4 oder hoeher. Es besteht u.a. aus einer Benutzer-Oberflaeche, in der man die Saetze zu philosophischen Problemen nachlesen, Relationen zwischen ihnen aktivieren und diese berechnen lassen kann. Sie koennen auch eigene Saetze in die Berechung importieren. Nach dem Download und dem Endpacken lesen sie als erstes die Liesmich.txt fuer weitere Instruktionen.
'pw' Einfuehrung - Basiskonzepte
Herunterladen der aktuellen Version von pw
Anmerkungen zur aktuellen Version
Diskussion der Projektprobleme (Engl.)
Download des 1BR Codes
Misc. - Studienthemen in theoretischer Philosofie
Open source pw Server Entwicklungsseite oder lesen Sie die Diskussion zum pw Srv project hier.
siehe auch
Fuer (An-)Fragen, Kommentare oder weitere Vorschlaege bitte email an: eme37@lycos.com
Cilem projektu je pomoci pocitace srovnat komplexni filozoficke otazky a nazory a zpracovat je z hlediska jejich konzistence. Tim by se pripadne mohlo (postupne) docilit konzistentniho 'celku'. Tento pristup se ukazuje jako uzitecny predevsim tehdy, jestlize existuje velky pocet hypotez (vety) a jejich vzajemnych relaci. Prace s timto programem by mela uzivateli take pomoci vyjasnit si vlastni nazory a otestovat si jejich konzistenci. V delsi perspektive je tento projekt postaven na myslence, ze se pomoci implementace volne pristupneho open source serveru vytvori otevreny standard, jenz umozni:
- otestovat konzistenci ruznych formalizovanych verzi ohodnocenych mnozin vet, a to v podobe variabilni 'databanky znalosti'
- srovnatelnost ruznych 'filozofii', ktere jsou do techto mnozin vet zapracovany
- prinejmensim moznost spoluprace na spolecnem rozsahlejsim filozofickem projektu
Program bezi pod Windows 95, NT4 nebo vyssi. Program ma uzivatelske rozhrani, ve kterem uzivatele si mohou precist texty k dane problematice, ulozit nastaveni ke zvolene mnozine vet a nechat spocitat jejich konzistenci (hotove nebo vlastne vytvorene). Po stahovani a rozbalenim prosim prectete si nejdriv readme.txt pro dalsi instrukce.
'pw' uvod a prehled zakladnich vlastnosti
stahovani aktualni verze pw
Otazky a aktualni problematika teto verzi
Diskuze soucsnich projektovych problemu (Angl.)
Stahovani 1BR kodu
Ruzne - temata studiu teoreticke filozofie
vyvojarska stranka open source pw serveru nebo precte se diskuze o pw Server projektu zde.
totez i na
Pro otazky, nameti nebo dalsi navrhy poslete mail na: eme37@lycos.com
Last modified: 03/10