Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

Ontologia formalna. Przykład: ontologia w Polsce

Tytuł:
Ontologia formalna. Przykład: ontologia w Polsce
Autorzy:
Kaczmarek, Janusz
Data publikacji:
2012-09-01
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
ontologia
ontologia formalna
twierdzenia formalne
twierdzeniainterpretacyjne
parafraza
hermeneutyka logiczna
Język:
angielski
Prawa:
Wszystkie prawa zastrzeżone. Swoboda użytkownika ograniczona do ustawowego zakresu dozwolonego użytku
Źródło:
Przegląd Filozoficzny. Nowa Seria; 2012, 3; 165-175
1230-1493
Dostawca treści:
Biblioteka Nauki
Artykuł
  Przejdź do źródła  Link otwiera się w nowym oknie
Na przykładzie ontologii uprawianej w Polsce podjęta zostaje próba określenia, czym jest ontologia formalna. Wskazane zostają typy twierdzeń wypracowanych w ramach ontologii oraz podane są przykłady twierdzeń, które tu nazywamy twierdzeniami formalnymi i twierdzeniami interpretacyjnymi. Dzięki temu można zrozumieć, czym jest ontologia formalna, oraz jaki jest jej stosunek do ontologii jako takiej. Temat tu podjęty jest fragmentem szerszego programu, którego celem jest prezentacja podstawowych koncepcji i problemów opracowanych bądź analizowanych w dziedzinie formalnej ontologii w Polsce.

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

Prześlij opinię

Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.

Formularz