컨텐츠로 이동
Types, tableaus, and Gödel's God 해당 항목을 미리보기
닫기해당 항목을 미리보기
확인중입니다…

Types, tableaus, and Gödel's God

저자: Melvin Fitting
출판사: Dordrecht ; Boston : Kluwer Academic, ©2002.
시리즈: Trends in logic, v. 12.
판/형식:   인쇄본 : 영어모든 판과 형식 보기
요약:

Godel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. Then modal machinery is added to produce a modified version of Montague/Gallin intensional  더 읽기…

평가:

(아무런 평가가 없습니다.) 0 리뷰와 함께 - 첫번째로 올려주세요.

주제
다음과 같습니다:

 

온라인으로 문서 찾기

이 항목에 대한 링크

도서관에서 사본 찾기

&AllPage.SpinnerRetrieving; 해당항목을 보유하고 있는 도서관을 찾는 중

상세정보

명시된 사람: Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel
자료 유형: 인터넷 자료
문서 유형 도서, 인터넷 자원
모든 저자 / 참여자: Melvin Fitting
ISBN: 1402006047 9781402006043
OCLC 번호: 49719340
설명: xv, 180 pages : illustrations ; 25 cm.
내용: pt. I. Classical Logic --
1. Classical Logic --
Syntax --
2. Classical Logic --
Semantics --
3. Classical Logic --
Basic Tableaus --
4. Soundness and Completeness --
5. Equality --
6. Extensionality --
pt. II. Modal Logic --
7. Modal Logic, Syntax and Semantics --
8. Modal Tableaus --
9. Miscellaneous Matters --
pt. III. Ontological Arguments --
10. Godel's Argument, Background --
11. Godel's Argument, Formally.
일련 제목: Trends in logic, v. 12.
책임: Melvin Fitting.
더 많은 정보

리뷰

사용자-기여 리뷰
GoodReads 리뷰 가져오는 중…
DOGObooks 리뷰를 가지고 오는 중…

태그

첫번째 되기
요청하신 것을 확인하기

이 항목을 이미 요청하셨을 수도 있습니다. 만약 이 요청을 계속해서 진행하시려면 Ok을 선택하세요.

링크된 데이터


Primary Entity

<http://www.worldcat.org/oclc/49719340> # Types, tableaus, and Gödel's God
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "49719340" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/39256364#Place/dordrecht> ; # Dordrecht
   library:placeOfPublication <http://dbpedia.org/resource/Boston> ; # Boston
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   schema:about <http://viaf.org/viaf/97851774> ; # Kurt Gödel
   schema:about <http://id.loc.gov/authorities/classification/BC199> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/39256364#Topic/modalite_logique> ; # Modalité (Logique)
   schema:about <http://experiment.worldcat.org/entity/work/data/39256364#Topic/typentheorie> ; # Typentheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/39256364#Topic/predicatenlogica> ; # Predicatenlogica
   schema:about <http://experiment.worldcat.org/entity/work/data/39256364#Topic/ontologisch_godsbewijs> ; # Ontologisch godsbewijs
   schema:about <http://id.worldcat.org/fast/1093763> ; # Religion
   schema:about <http://experiment.worldcat.org/entity/work/data/39256364#Topic/godelscher_unvollstandigkeitssatz> ; # Gödelscher Unvollständigkeitssatz
   schema:about <http://id.loc.gov/authorities/subjects/sh85055555> ; # God--Proof, Ontological
   schema:about <http://id.worldcat.org/fast/944109> ; # God--Proof, Ontological
   schema:about <http://experiment.worldcat.org/entity/work/data/39256364#Topic/ontologischer_gottesbeweis> ; # Ontologischer Gottesbeweis
   schema:about <http://experiment.worldcat.org/entity/work/data/39256364#Person/godel_kurt> ; # Kurt Gödel
   schema:about <http://experiment.worldcat.org/entity/work/data/39256364#Topic/dieu_existence_preuve_ontologique> ; # Dieu--Existence--Preuve ontologique
   schema:about <http://experiment.worldcat.org/entity/work/data/39256364#Topic/modale_logica> ; # Modale logica
   schema:about <http://id.worldcat.org/fast/1024350> ; # Modality (Logic)
   schema:about <http://experiment.worldcat.org/entity/work/data/39256364#Topic/modallogik> ; # Modallogik
   schema:about <http://dewey.info/class/160/e21/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "2002" ;
   schema:creator <http://viaf.org/viaf/46837603> ; # Melvin Fitting
   schema:datePublished "2002" ;
   schema:description "pt. I. Classical Logic -- 1. Classical Logic -- Syntax -- 2. Classical Logic -- Semantics -- 3. Classical Logic -- Basic Tableaus -- 4. Soundness and Completeness -- 5. Equality -- 6. Extensionality -- pt. II. Modal Logic -- 7. Modal Logic, Syntax and Semantics -- 8. Modal Tableaus -- 9. Miscellaneous Matters -- pt. III. Ontological Arguments -- 10. Godel's Argument, Background -- 11. Godel's Argument, Formally."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/39256364> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/39256364#Series/trends_in_logic> ; # Trends in logic ;
   schema:name "Types, tableaus, and Gödel's God"@en ;
   schema:productID "49719340" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/49719340#PublicationEvent/dordrecht_boston_kluwer_academic_2002> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/39256364#Agent/kluwer_academic> ; # Kluwer Academic
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy0826/2002070322-t.html> ;
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009883350&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=009883350&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:workExample <http://worldcat.org/isbn/9781402006043> ;
   umbel:isLike <http://d-nb.info/970529112> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA2X6508> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA242463> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/49719340> ;
    .


Related Entities

<http://dbpedia.org/resource/Boston> # Boston
    a schema:Place ;
   schema:name "Boston" ;
    .

<http://experiment.worldcat.org/entity/work/data/39256364#Agent/kluwer_academic> # Kluwer Academic
    a bgn:Agent ;
   schema:name "Kluwer Academic" ;
    .

<http://experiment.worldcat.org/entity/work/data/39256364#Person/godel_kurt> # Kurt Gödel
    a schema:Person ;
   schema:familyName "Gödel" ;
   schema:givenName "Kurt" ;
   schema:name "Kurt Gödel" ;
    .

<http://experiment.worldcat.org/entity/work/data/39256364#Series/trends_in_logic> # Trends in logic ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/49719340> ; # Types, tableaus, and Gödel's God
   schema:name "Trends in logic ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/39256364#Topic/dieu_existence_preuve_ontologique> # Dieu--Existence--Preuve ontologique
    a schema:Intangible ;
   schema:name "Dieu--Existence--Preuve ontologique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/39256364#Topic/godelscher_unvollstandigkeitssatz> # Gödelscher Unvollständigkeitssatz
    a schema:Intangible ;
   schema:name "Gödelscher Unvollständigkeitssatz"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/39256364#Topic/modalite_logique> # Modalité (Logique)
    a schema:Intangible ;
   schema:name "Modalité (Logique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/39256364#Topic/ontologisch_godsbewijs> # Ontologisch godsbewijs
    a schema:Intangible ;
   schema:name "Ontologisch godsbewijs"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/39256364#Topic/ontologischer_gottesbeweis> # Ontologischer Gottesbeweis
    a schema:Intangible ;
   schema:name "Ontologischer Gottesbeweis"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85055555> # God--Proof, Ontological
    a schema:Intangible ;
   schema:name "God--Proof, Ontological"@en ;
    .

<http://id.worldcat.org/fast/1024350> # Modality (Logic)
    a schema:Intangible ;
   schema:name "Modality (Logic)"@en ;
    .

<http://id.worldcat.org/fast/1093763> # Religion
    a schema:Intangible ;
   schema:name "Religion"@en ;
    .

<http://id.worldcat.org/fast/944109> # God--Proof, Ontological
    a schema:Intangible ;
   schema:name "God--Proof, Ontological"@en ;
    .

<http://viaf.org/viaf/46837603> # Melvin Fitting
    a schema:Person ;
   schema:birthDate "1942" ;
   schema:familyName "Fitting" ;
   schema:givenName "Melvin" ;
   schema:name "Melvin Fitting" ;
    .

<http://viaf.org/viaf/97851774> # Kurt Gödel
    a schema:Person ;
   schema:birthDate "1906" ;
   schema:deathDate "1978" ;
   schema:familyName "Gödel" ;
   schema:givenName "Kurt" ;
   schema:name "Kurt Gödel" ;
   schema:sameAs <http://d-nb.info/gnd/11869569X> ;
    .

<http://worldcat.org/isbn/9781402006043>
    a schema:ProductModel ;
   schema:isbn "1402006047" ;
   schema:isbn "9781402006043" ;
    .


Content-negotiable representations

윈도우 닫기

WorldCat에 로그인 하십시오 

계정이 없으세요? 아주 간단한 절차를 통하여 무료 계정을 만드실 수 있습니다.