Holdings: Zagadnienie konstrukcji ontologii formalnej

Zagadnienie konstrukcji ontologii formalnej:

Saved in:

Bibliographic Details
Main Author:	Kmiecik, Andrzej (Author)
Format:	Book
Language:	Polish
Published:	Bydgoszcz Wydawn. Uniw. Kazimierza Wielkiego 2009
Subjects:	Ontologie Logik
Online Access:	Inhaltsverzeichnis
Physical Description:	308 S.
ISBN:	9788370966874

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV036104381
003	DE-604
005	20100609
007	t
008	100331s2009 \|\|\|\| 00\|\|\| pol d
020			\|a 9788370966874 \|9 978-83-7096-687-4
035			\|a (OCoLC)634299742
035			\|a (DE-599)BVBBV036104381
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a pol
049			\|a DE-29
084			\|a CC 6000 \|0 (DE-625)17650: \|2 rvk
084			\|a 5,1 \|2 ssgn
100	1		\|a Kmiecik, Andrzej \|e Verfasser \|4 aut
245	1	0	\|a Zagadnienie konstrukcji ontologii formalnej \|c Andrzej Kmiecik
264		1	\|a Bydgoszcz \|b Wydawn. Uniw. Kazimierza Wielkiego \|c 2009
300			\|a 308 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
650	0	7	\|a Ontologie \|0 (DE-588)4075660-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logik \|0 (DE-588)4036202-4 \|2 gnd \|9 rswk-swf
689	0	0	\|a Ontologie \|0 (DE-588)4075660-9 \|D s
689	0	1	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	0		\|5 DE-604
856	4	2	\|m Digitalisierung UB Erlangen \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018994677&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-018994677

Record in the Search Index

_version_	1804141175617093632
adam_text	SPIS TRESCI PRZEDMOWA 9 WST~P 11 PRZEDMIOT I CEL BADANIA 11 AKTUALNY STAN BADAN 12 METODA BADAN 13 KRYTERIA DOBORU LITERATURY 14 STRUKTURA PRACY 14 ROZDZIAL1. OD STOSOWANLA LOGIK! W ONTOLOGII DO ONTOLOGII FORMALNE] 17 1. ZWIQZEK MI~DZY LOGIKQ A FLLOZOFIQ 19 2. RODZAJE STOSOWANIA LOGIKI W FLLOZOFII 19 3. ZAGADNIENIA ONTOLOGICZNE BADANE Z UZYCIEM LOGIKI 20 3.1. POJ~CIA ONTOLOGICZNE 22 3.1.1. POJ~CIE BYTU I ZWIQZANE Z NIM POJ~CIE ANALOGII 22 3.1.2. POJ~CIE PRZEDMIOTU 24 3.1.3. POJ~CIE SUBSTANCJI 26 3.1.4. POJ~CIE ISTOTY 28 3.1.4.1. ISTOTA PRZEDMIOT6W INDYWIDUOWYCH 31 3.1.5. ZAGADNIENIE ISTNIENIA 37 3.2. TEZY ONTOLOGICZNE 40 3.3. TEORIE ONTOLOGICZNE 43 4. PROBLEMY FLLOZOFICZNE ZWIQZANE ZE STOSOWANIEM LOGIKI 47 4.1. PROBLEM ZAANGAZOWANIA ONTOLOGICZNEGO LOGIKI 48 4.2. ZAANGAZOWANIE ONTOLOGICZNE LOGIKI MODALNEJ 49 4.2.1. POJ~CIE MOZLIWYCH SWIAT6W 50 4.3. ZOBOWIQZANIA ONTOLOGICZNE A ONTOLOGIA I ONTOLOGIA FORMAL NA 52 5. ONTOLOGIA FORMALNA JAKO REZULTAT STOSOWANIA LOGIKI DO ONTOLOGUE 53 ROZDZIAL II. PUNKT WY]SCIA ONTOLOGII FORMALNE], ]E] PRZEDMIOT I METODA 55 1. OKRESLENIE ONTOLOGII FORMALNEJ 55 2. PROBLEM PUNKTU WYJSCIA ONTOLOGUE FORMALNEJ 58 2.1. POJ~CIE PUNKTU WYJSCIA 59 2.2. ZDROWOROZSQDKOWY PUNKT WYJSCIA 60 2.2.1. ZDROWOROZSQDKOWY PUNKT WYJSCIA A EPISTEMOLOGIA GASTONA BACHELARDA 62 -5- 2.3. ONTOLOGIA A METAFIZYKA 64 2.3.1. PRZYJ~TE ROZUMIENIE ONTOLOGII 68 2.4. ONTOLOGIA A EPISTEMOLOGIA 69 2.5. ONTOLOGIA A NAUKA 71 2.6. ONTOLOGIA A LOGIKA 74 2.6.1. PROBLEM ZWIQZKU PRAW LOGIKI Z PORZQDKIEM ONTYCZNYM 76 2.6.2. STANOWISKO BOCHENSKIEGO 77 2.7. MOZLIWE PUNKTY WYJSCIA ONTOLOGII FORMALNEJ 79 3. ZALOZENIA ONTOLOGII FORMALNEJ 81 3.1. ZALOZENIA ONTOLOGICZNE 81 3.2. ZALOZENIA EPISTEMOLOGICZNE 82 3.3. PERSPEKTYWY DALSZYCH BADAN 86 4. PRZEDMIOT ONTOLOGII FORMALNEJ 86 4.1. PRZEDMIOT MATERIAL NY ONTOLOGII FORMALNEJ 87 4.2. ASPEKT BADANIA ONTOLOGII FORMALNEJ 87 5. METODA ONTOLOGII FORMALNEJ 88 5.1. POJ~CIE METODY FORMALNEJ W FILOZOFII 88 5.1.1. METODA DEDUKCYJNA W FILOZOFII 89 5.1.2. KONCEPCJA MATHESIS UNIVERSALIS 90 5.2. ZARYS METODY 91 5.2.1. OG6LNA IDEA METODY 91 5.2.2. METODA ONTOLOGII FORMALNEJ A METODA TRANSCENDENTALNA 93 5.3. ETAPY METODY ONTOLOGII FORMALNEJ 93 5.4. ANALITYCZNY I SYNTETYCZNY CHARAKTER METODY 94 5.5. USZCZEG610WIENIE ETAP6W METODY ONTOLOGII FORMALNEJ O ELEMENTY INNYCH METOD STOSOWANIA LOGIKI 95 5.5.1. METODA PERZANOWSKIEGO 96 5.5.2. METODA LUKASIEWICZA 98 5.5.3. LOGIKA STOSOWANA WEDLUG LESNIEWSKIEGO 99 5.5.4. METODA ONTOLOGII FORMALNEJ W SWIETLE CHARAKTERYSTYKI ONTOLOGII A.B. ST~PNIA 100 5.5.5. ELEMENTY METODY KARTEZJANSKIEJ W PRZYJ~TEJ METODZIE ONTOLOGII FORMALNEJ 100 5.6. PROBLEM UPRAWOMOCNIENIA METODY 102 6. PODSUMOWANIE I PERSPEKTYWY DALSZYCH BADAN 103 ROZDZIAL III. ]F;ZYK ONTOLOGII FORMALNE] 105 1. NATURA J~ZYKA 106 2. ZAGADNIENIE ORZEKANIA 108 2.1. NATURA ORZEKANIA 109 2.1.1. ORZEKANIE UJ~TE BEZPOSREDNIO, CZYLI OD STRONY OPERACJI UMYSLU 110 2.1.2. ORZEKANIE UJ~TE POSREDNIO 111 2.2. STANOWISKO PETERA F. STRAWSONA W KWESTII NATURY ORZEKANIA 112 2.3. ORZEKANIE A SQD 113 2.4. GOTTLOB FREGE A SCHOLASTYKA 114 2.5. PODSUMOWANIE 119 3. PODSTAWOWE STRUKTURY J~ZYKA 119 3.1. PROBLEM FORMY LOGICZNEJ 120 3.2. LQCZNIK W ZDANIU W SWIETLE TEORII CHARLESA KAHNA 124 4. ORZEKANIE A LOGIKA 129 4.1. PRAWDA A ORZEKANIE 130 4.2. PRAWDA A WARTOSC LOGICZNA 131 -6- 5. KONCEPCJA J~ZYKA IDEALNEGO JAKO KONCEPCJA J~ZYKA DIA ONTOLOGII FORMALNEJ 132 5.1. GOTTLOBA FREGEGO KONCEPCJA J~ZYKA IDEALNEGO 134 5.2. FREDERICA B. FITCHA KONCEPCJA J~ZYKA IDEALNEGO 138 5.3. LUDWIG WITTGENSTEIN I J~ZYK IDEALNY 139 5.4. LEONA CHWISTKA I MIECZYSLAWA LUBANSKIEGO KONCEPCJA J~ZYKA IDEALNEGO 142 5.5. J~ZYK IDEALNY WEDLUG RICHARDA M. MARTINA 144 5.6. J~ZYK IDEAL NY WEDLUG HASKELLA CURRY EGO 145 5.7. NOAM CHOMSKY A J~ZYK IDEALNY 146 6. ZOBOWI LZANIA ONTOLOGICZNE J~ZYKA IDEALNEGO 147 7. PROBLEM WYBORU J~ZYKA DLA ONTOLOGII FORMAINEJ 150 8. PODSUMOWANIE I PERSPEKTYWY DALSZYCH BADAN 152 ROZDZIAL IV. REAL A WAZ OSE ONTOLOGII FORMALNEJ 153 1. HEURYSTYCZNE ZNACZENIE TEORII WSZYSTKIEGO DIA ONTOLOGII FORMALNEJ 154 2. PROBLEM OKRESLENIA KATEGORII ONTOLOGICZNYCH 157 2.1. POJ~CIE KATEGORII W NURCIE FILOZOFII ARYSTOTELESOWSKIEJ 158 2.2. POJ~CIE KATEGORII W NURCIE FILOZOFII POKARTEZJANSKIEJ 161 2.3. POJ~CIE PRZEDRNIOTU 163 2.4. POJ~CIE DZIEDZINY PRZEDMIOT6W 166 2.5. WNIOSEK 167 3. ROLA MODELU W ONTOLOGII FORMAINEJ 167 3.1. DEFMICJA MODELU 168 3.2. MODELE W ONTOLOGUE FORMALNEJ 169 3.3. ZR6DLA EPISTEMOLOGICZNE I STATUS ONTOLOGICZNY MODE LU 172 4. TESTOWALNOSC ONTOLOGUE FORMALNEJ 173 4.1. PROBLEM SPRAWDZAINOSCI TEZ FILOZOFICZNYCH 173 4.2. KAR! POPPER 0 STATUSIE POZNAWCZYM ONTOLOGII 175 4.3. METODA ONTOLOGII FORMALNEJ A KONCEPCJA NAUKI U ARYSTOTELESA 176 4.4. METODA ONTOLOGII FORMALNEJ A METODA HIPOTETYCZNO-DEDUKCYJNA 178 5. PROBLEM KRYTERI6W DOBORU AKSJOMAT6W 180 6. OGRANICZENIA ONTOLOGII FORMALNEJ 183 7. PODSUMOWANIE 184 ROZDZIAL V. ZINTERPRETOWANE RACHUNKI LOGICZNE JAKO ONTOLOGIA FORMAL A 185 WST~P 185 1. RACHUNKI INDYWIDU6W ORAZ CZ~SCI I CALOSCI JAKO ONTOLOGIA FORMAL NA 187 1.1. INDYWIDUUM 188 1.2. ONTOLOGIA RUDOLFA CARNAPA 191 1.2.1 PUNKT WYJSCIA ONTOLOGII CARNAPA 192 1.2.2. J~ZYK SYSTEMU ONTOLOGICZNEGO 195 1.2.3. STRUKTURA SYSTEMU 198 1.2.4. EKSTENSJONALNY CHARAKTER ONTOLOGII CARNAPA 199 1.2.5. KRYTYKA SYSTEMU CARNAPA 200 1.2.6. PODSUMOWANIE I WNIOSKI 201 1.3. ONTOLOGIA ELSONA GOODMANA 202 1.3.1. PODSTAWY EPISTEMOLOGICZNE SYSTEMU GOODMANA 202 1.3.1.1. PUNKT WYJSCIA SYSTEMU GOODMANA 204 1.3.1.2. REALIZM SYSTEMU GOODMANA 205 1.3.2. J~ZYK A SWIAT 207 1.3.3. SPOSOBY ISTNIENIA SWIATA 209 -7- 1.3.4. STRUKTURA SYSTEMU GOODMANA A METODA ONTOLOGII FORMALNEJ . 1.3.5. KRYTYKA SYSTEMU GOODMANA ZE STRONY MICHAELA DUMMETTA . 1.4. PODSUMOWANIE I WNIOSKI . 2. ONTOLOGIA MODALNA ORAZ ZDARZENIOWA . 2.1. ONTOLOGIA MODALNA NICHOLASA RESCHERA . 2.1.1. PUNKT WYJSCIA ONTOLOGII POSYBILI6W . 2.1.2. KOHERENCYJNA TEORIA PRAWDY . 2.1.3. ZR6DLO ONTOLOGICZNEGO WYMIARU M6WIENIA O RZECZACH MOZLIWYCH . 2.1.4. STOPNIE MOZLIWOSCI . 2.1.5. NATURA PRZEDMIOT6W MOZLIWYCH . 2.1.6. KONSEKWENCJE PRZYJ~CIA POJ~CIOWEJ BAZY MOZLIWOSCI 2.1.7. PODSTAWOWE TEZY FILOZOFICZNE RESCHERA . 2.1.8. KONCEPCJA J~ZYKA PRZYJ~TA W ONTOLOGII RESCHERA . 2.1.9. CHARAKTERYSTYKA METODY ONTOLOGII POSYBILI6W . 2.1.10. CHARAKTERYSTYKA UZYTYCH NARZ~DZI FORMALNYCH . 2.1.10.1. TABLICE ONTOLOGICZNE . 2.1.11. PROBLEM INDYWIDUACJI . 2.1.12. PROBLEM ISTNIENIA . 2.1.13. PODSUMOWANIE I PERSPEKTYWY DALSZYCH BADAN . 2.2. ONTOLOGIA ZDARZEN ALFREDA N. WHITEHEADA W UJ~CIU FORMALNYM RICHARDA M. MARTINA I FREDERICA B. FITCHA . 2.2.1. SYSTEM METAFIZYCZNY . 2.2.1.1. PREHENSJA . 2.2.1.2. POJ~CIE ZDARZENIA . 2.2.1.3. POJ~CIE SUBSTANCJI . 2.2.2. KONCEPCJA J~ZYKA . 2.2.3. KONCEPCJA METODY FILOZOFOWANIA . 2.2.4. LOGIKA ZDARZEN R.M. MARTINA . 2.2.5. LOGIKA KOMBINATOR6W JAKO BAZA DIA TEORII PREHENSJI I WIECZNYCH PRZEDMIOT6W . 3. PODSUMOWANIE . ROZDZIAL VI. TYPY ONTOLOGII FORMALNE] . 1. TYPY ONTOLOGII FORMALNEJ WYMIENIANE W LITERATURZE . 2. PROBLEM NIEWSP6LMIERNOSCI ONTOLOGUE FORMALNYCH . 3. WARTOSC PRAKTYCZNA I TEORETYCZNA DOCIEKAN ONTOLOGII FORMALNEJ . ZAKONCZENIE BIBLIOGRAFIA . 1) ZR6DLA PIERWOTNE . 2) LITERATURA PODSTAWOWA . 3) LITERATURA POMOCNICZA . 4) ZR6DLA W INTERNECIE . 5) SLOWNIKI I ENCYKLOPEDIE . SUMMARY . INDEKS NAZWISK . -8- 212 213 214 214 215 215 217 218 219 221 222 223 224 224 225 229 230 232 234 235 236 237 238 238 240 242 242 248 253 255 255 257 259 263 267 267 267 293 296 296 299 301
any_adam_object	1
author	Kmiecik, Andrzej
author_facet	Kmiecik, Andrzej
author_role	aut
author_sort	Kmiecik, Andrzej
author_variant	a k ak
building	Verbundindex
bvnumber	BV036104381
classification_rvk	CC 6000
ctrlnum	(OCoLC)634299742 (DE-599)BVBBV036104381
discipline	Philosophie
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01280nam a2200349 c 4500</leader><controlfield tag="001">BV036104381</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100609 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100331s2009 \|\|\|\| 00\|\|\| pol d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9788370966874</subfield><subfield code="9">978-83-7096-687-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)634299742</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036104381</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">pol</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 6000</subfield><subfield code="0">(DE-625)17650:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kmiecik, Andrzej</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Zagadnienie konstrukcji ontologii formalnej</subfield><subfield code="c">Andrzej Kmiecik</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Bydgoszcz</subfield><subfield code="b">Wydawn. Uniw. Kazimierza Wielkiego</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">308 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ontologie</subfield><subfield code="0">(DE-588)4075660-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Ontologie</subfield><subfield code="0">(DE-588)4075660-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Erlangen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018994677&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018994677</subfield></datafield></record></collection>
id	DE-604.BV036104381
illustrated	Not Illustrated
indexdate	2024-07-09T22:11:42Z
institution	BVB
isbn	9788370966874
language	Polish
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-018994677
oclc_num	634299742
open_access_boolean
owner	DE-29
owner_facet	DE-29
physical	308 S.
publishDate	2009
publishDateSearch	2009
publishDateSort	2009
publisher	Wydawn. Uniw. Kazimierza Wielkiego
record_format	marc
spelling	Kmiecik, Andrzej Verfasser aut Zagadnienie konstrukcji ontologii formalnej Andrzej Kmiecik Bydgoszcz Wydawn. Uniw. Kazimierza Wielkiego 2009 308 S. txt rdacontent n rdamedia nc rdacarrier Ontologie (DE-588)4075660-9 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Ontologie (DE-588)4075660-9 s Logik (DE-588)4036202-4 s DE-604 Digitalisierung UB Erlangen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018994677&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Kmiecik, Andrzej Zagadnienie konstrukcji ontologii formalnej Ontologie (DE-588)4075660-9 gnd Logik (DE-588)4036202-4 gnd
subject_GND	(DE-588)4075660-9 (DE-588)4036202-4
title	Zagadnienie konstrukcji ontologii formalnej
title_auth	Zagadnienie konstrukcji ontologii formalnej
title_exact_search	Zagadnienie konstrukcji ontologii formalnej
title_full	Zagadnienie konstrukcji ontologii formalnej Andrzej Kmiecik
title_fullStr	Zagadnienie konstrukcji ontologii formalnej Andrzej Kmiecik
title_full_unstemmed	Zagadnienie konstrukcji ontologii formalnej Andrzej Kmiecik
title_short	Zagadnienie konstrukcji ontologii formalnej
title_sort	zagadnienie konstrukcji ontologii formalnej
topic	Ontologie (DE-588)4075660-9 gnd Logik (DE-588)4036202-4 gnd
topic_facet	Ontologie Logik
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018994677&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT kmiecikandrzej zagadnieniekonstrukcjiontologiiformalnej

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items