Verfügbarkeit: Indywidua, idee, pojęcia

Indywidua, idee, pojęcia: badania z zakresu ontologii sformalizowanej

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Kaczmarek, Janusz (VerfasserIn)
Format:	Buch
Sprache:	Polish
Veröffentlicht:	Łódz Wydawn. Uniw. Łódzki 2008
Schlagworte:	Logika Ontologia Ontologie
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	282 S. graph. Darst.
ISBN:	9788375252071

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV035195081
003	DE-604
005	20090723
007	t
008	081203s2008 d\|\|\| \|\|\|\| 00\|\|\| pol d
020			\|a 9788375252071 \|9 978-83-7525-207-1
035			\|a (OCoLC)297734185
035			\|a (DE-599)BVBBV035195081
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 Kaczmarek, Janusz \|e Verfasser \|4 aut
245	1	0	\|a Indywidua, idee, pojęcia \|b badania z zakresu ontologii sformalizowanej \|c Janusz Kacmarek
264		1	\|a Łódz \|b Wydawn. Uniw. Łódzki \|c 2008
300			\|a 282 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
650		7	\|a Logika \|2 jhpk
650		7	\|a Ontologia \|2 jhpk
650	0	7	\|a Ontologie \|0 (DE-588)4075660-9 \|2 gnd \|9 rswk-swf
689	0	0	\|a Ontologie \|0 (DE-588)4075660-9 \|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=017001625&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-017001625

Datensatz im Suchindex

_version_	1804138444965806080
adam_text	SPIS TRESCI WSTLTP . ROZDZIALI CO TO JEST ONTOLOGIA? JEJ PRZEDMIOT I METODA I. BADANIE PRZYRODNICZE - BADANIE ONTOLOGICZNE . . . 2. PUNKT WYJSCIA ONTOLOGII: ATOM ONTOLOGICZNY . . . 3. POLE BADARL ONTOLOGII - CZYLI PODSTAWOWA SYTUACJA ONTOLOGICZNA 4. TYPY ONTOLOGII. . . . . . . . . . . . . . . . ROZDZIAL 11 CO TO JEST ONTOLOGIA? W KIERUNKU ONTOLOGII SFORMALIZOWANEJ I. MATEMATYCZNY TROP W ONTOLOGII I. I. ONTOLOGIA A MATEMATYKA . 1.2. TROP MATEMATYCZNY 1.2.1. ARYSTOTELES . 1.2.2. WOLFF . . . . 1.2.3. PLATON I RUSSELL 2. OKRESLENIE ONTOLOGII SFORMALIZOWANEJ 2.1. KWESTIE TERMINOLOGICZNE. ONTOLOGIA FORMALNA I SFORMALIZOWANA 2. I. I. HUSSERL . . 2.1.2. INGARDEN . . . . . . . 2.1.3. NURT ANALITYCZNY . . . . . . 2.2. PR6BA DEFINICJI: ONTOLOGIA SFORMALIZOWANA ROZDZIAL III WYBRANE ONTOLOGIE SFORMALIZOWANE 7 13 13 21 24 32 35 35 36 38 38 40 43 45 45 45 49 51 53 57 I. SUSZKO I WOLNIEWICZ. SFORMALIZOWANA ONTOLOGIA SYTUACJI . 57 2. PERZANOWSKI. KOMBINACYJNA ONTOLOGIKA MODALNA - CZYLI ONTOLOGIA KOMBINACYJNA 65 3. GOL - CZYLI PODSTAWOWY JLTZYK ONTOLOGII SFORMALIZOWANEJ 70 4. MEIXNER I AKSJOMATYCZNA ONTOLOGIA SFORMALIZOWANA (FORMALNA) 76 5. RAZJESZCZE: CO TO JEST ONTOLOGIA SFORMALIZOWANA? . . . . . 80 ROZDZIALIV PRELIMINARIA LOGICZNO-FIIOZOFICZNE . 85 I. RELACJE I STRUKTURY TEORIOMNOGOSCIOWE . 85 I. I. RELACJE I ZBIORY UPORZLLDKOWANE 85 4 1.2. PSEUDODRZEWA. DRZEWA 1.3. SYSTEMY RELACYJNE . . 1.4. KRATY . . . . . . 2. LOGIKA MODALNA. LOGIKA TEMPORALNA. 2.1. STANDARDOWY J.,:ZYK LOGIK ZDANIOWYCH 2.2. AKSJOMATYKA . . . . . . . . 2.3. SEMANTYKA . . . . . . . . . 2.3 .1. SEMANTYKA KLASYCZNEJ LOGIKI ZDANIOWEJ 2.3.2. SEMANTYKA MODALNEJ LOGIKI ZDANIOWEJ 2.3.3. SEMANTYKA TEMPORALNEJ LOGIKI ZDANIOWEJ . 2.4. ADEKWATNOSC LOGIKI. PRZYSTOSOWANIE I PELNOSC . 2.4.1. SZKIC DOWODU TWIERDZENIA 0 PRZYSTOSOWANIU 2.4.2. SZKIC DOWODU TWIERDZENIA 0 PEMOSCI . 3. PODSTAWOWE POJ.,:CIA ONTOLOGICZNE 3.1. POJ.,:CIA Z DZIEDZINY INDYWIDU6W 3.2. POJ.,:CIA Z DZIEDZINY UNIWERSALI6W 3.3. POJ.,:CIA Z DZIEDZINY POJ.,:C. ROZDZLAL V TRZY KLASY OBIEKT6W: PTS, U I ES . 1. DEFINICJE PTS, U, ES . . . . . . . 1.1. PTS - UOG61NIONA STRUKTURA PORFIRIUSZA 1.2. POJ.,:CIA. ZBI6R ES. . . . . . . 1.3. PRZEDMIOTY INDYWIDUALNE. INDYWIDUA 1.4. DLACZEGO INTERESUJE NAS RE1ACJA ~PTS W ZBIORZE PTS? CZYM ONA JEST? 2. PEWNE ONTOLOGICZNE I SEMANTYCZNE POJ.,:CIA 2.1. ZAKRES PRZEDMIOTU NIEZUPEMEGO, ZAKRES POJ.,:CIA 2.2. ADEKWATNOSC ZAKRESOWA I TRESCIOWA . . . . 2.3. WYR6ZNIONE TYPY (PTS, ~PTS) * * * . . . 3. WZAJEMNE ZALEZNOSCI MI.,:DZY SYSTEMAMI: PTS I ES 3.1. PEWNE TWIERDZENIA 0 ZALEZNOSCI MI.,:DZY STRUKTURLL.RODZAJ6W A STRUKTU~POJ.,:C 3.2. UWAGA 0 NIESKONCZONEJ PTS . . . . . . . . . . . . . . . ROZDZLAL VI ZASTOSOWANIA PTS, ES I U W LOGICE. LOGIKA MODALNA 084 . 1. LOGIKA MODALNA 084 2. J.,:ZYK LOGIKI MODALNEJ 084 . 3. SEMANTYKA. . . . . . 3.1. SYSTEM ES . . . . 3.2. STRUKTURA PTS DIA 084 3.3. ZBI6R U PTS * * * 3.4. MODEL DLAJ.,:ZYKAL 4. AKSJOMATY 084 . . . 5. PRZYSTOSOWANIE AKSJOMATYKI 6. PROBLEM: CZY AKSJOMATYKA DIA SYSTEMU 084 JEST PEMA? SPIS TRESCI 88 90 91 92 95 97 102 103 104 108 110 110 113 120 121 126 133 135 139 139 150 151 153 158 158 161 164 169 169 171 175 175 179 180 180 180 183 183 187 188 189 SPIS TRESCI ROZDZIAL VII ZASTOSOWANIA PTS, ES I U W LOGICE. LOGIKA TEMPORALNA. 1. ONTOLOGICZNA WERSJA LOGIKI TEMPORALNEJ 2. LOGIKA MOMENT6W CZASOWYCH 3. LOGIKAZMIAN . ROZDZIAL VIIL ZASTOSOWANIA ONTOLOGII SFORMALIZOWANEJ W FILOZOFII I. 0 STOSOWALNOSCI STRUKTUR FORMALNYCH W FILOZOFII. . . 1.1. METODA PARAFRAZ. HERMENEUTYKA LOGICZNA 1.2. TWIERDZENIA FORMALNE I TWIERDZENIA INTERPRETACYJNE 2. LNTERPRETAEJA MODALNEGO REALIZMU PLANTINGI 2.1. ALVINA PLANTINGI REALIZM MODALNY . 2.1.1. STOPIEIL PIERWSZY 2.1.2. STOPIEN DRUGI . . . . . 2.1.3. STOPIEN TRZECI . . . . . 2.2. POJ~CIA I TEZY REALIZMU MODALNEGO PLANTINGI 2.2.1. FENOMENY MODALNE W PTS. . . 2.2.2. TEZY REALIZMU MODALNEGO PLANTINGI 3. LOGIKA ISTOTY . . . . . . . . . 3.1. SFORMALIZOWANE UJ~CIE ISTOTY (FINE) 3.2. ISTOTA W STRUKTURZE PTS . . . . 4. SPOSOBY ORZEKANIA - ANALIZA TERMINUJEST 4.1. UJ~CIE KLASYCZNE . . . . . . 4.2.LNGARDENOWSKA INTERPRETACJA TERMINUJEST 4.3. HUSSERL I FUNKCJA PREDYKATYWNA WYRAI:EN 4.4. LNTERPRETACJAJEST W ONTOLOGII SFORMALIZOWANEJ BIBLIOGRAFIA . LNDEKS NAZWISK LNDEKS POJ~ I TWIERDZEN OD REDAKCJI . . . . 5 199 199 201 214 227 227 228 231 232 233 233 235 236 239 239 242 246 246 251 253 255 256 258 260 269 275 278 283
any_adam_object	1
author	Kaczmarek, Janusz
author_facet	Kaczmarek, Janusz
author_role	aut
author_sort	Kaczmarek, Janusz
author_variant	j k jk
building	Verbundindex
bvnumber	BV035195081
classification_rvk	CC 6000
ctrlnum	(OCoLC)297734185 (DE-599)BVBBV035195081
discipline	Philosophie
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01269nam a2200349 c 4500</leader><controlfield tag="001">BV035195081</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090723 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">081203s2008 d\|\|\| \|\|\|\| 00\|\|\| pol d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9788375252071</subfield><subfield code="9">978-83-7525-207-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)297734185</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035195081</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">Kaczmarek, Janusz</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Indywidua, idee, pojęcia</subfield><subfield code="b">badania z zakresu ontologii sformalizowanej</subfield><subfield code="c">Janusz Kacmarek</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Łódz</subfield><subfield code="b">Wydawn. Uniw. Łódzki</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">282 S.</subfield><subfield code="b">graph. Darst.</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=" " ind2="7"><subfield code="a">Logika</subfield><subfield code="2">jhpk</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ontologia</subfield><subfield code="2">jhpk</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="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=" "><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=017001625&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-017001625</subfield></datafield></record></collection>
id	DE-604.BV035195081
illustrated	Illustrated
indexdate	2024-07-09T21:28:18Z
institution	BVB
isbn	9788375252071
language	Polish
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-017001625
oclc_num	297734185
open_access_boolean
owner	DE-29
owner_facet	DE-29
physical	282 S. graph. Darst.
publishDate	2008
publishDateSearch	2008
publishDateSort	2008
publisher	Wydawn. Uniw. Łódzki
record_format	marc
spelling	Kaczmarek, Janusz Verfasser aut Indywidua, idee, pojęcia badania z zakresu ontologii sformalizowanej Janusz Kacmarek Łódz Wydawn. Uniw. Łódzki 2008 282 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Logika jhpk Ontologia jhpk Ontologie (DE-588)4075660-9 gnd rswk-swf Ontologie (DE-588)4075660-9 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=017001625&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Kaczmarek, Janusz Indywidua, idee, pojęcia badania z zakresu ontologii sformalizowanej Logika jhpk Ontologia jhpk Ontologie (DE-588)4075660-9 gnd
subject_GND	(DE-588)4075660-9
title	Indywidua, idee, pojęcia badania z zakresu ontologii sformalizowanej
title_auth	Indywidua, idee, pojęcia badania z zakresu ontologii sformalizowanej
title_exact_search	Indywidua, idee, pojęcia badania z zakresu ontologii sformalizowanej
title_full	Indywidua, idee, pojęcia badania z zakresu ontologii sformalizowanej Janusz Kacmarek
title_fullStr	Indywidua, idee, pojęcia badania z zakresu ontologii sformalizowanej Janusz Kacmarek
title_full_unstemmed	Indywidua, idee, pojęcia badania z zakresu ontologii sformalizowanej Janusz Kacmarek
title_short	Indywidua, idee, pojęcia
title_sort	indywidua idee pojecia badania z zakresu ontologii sformalizowanej
title_sub	badania z zakresu ontologii sformalizowanej
topic	Logika jhpk Ontologia jhpk Ontologie (DE-588)4075660-9 gnd
topic_facet	Logika Ontologia Ontologie
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017001625&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT kaczmarekjanusz indywiduaideepojeciabadaniazzakresuontologiisformalizowanej

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge