skip to content
Types, tableaus, and Gödel's God Preview this item
ClosePreview this item
Checking...

Types, tableaus, and Gödel's God

Author: Melvin Fitting
Publisher: Dordrecht ; Boston : Kluwer Academic, ©2002.
Series: Trends in logic, v. 12.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:

Godel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. This title presents classical type theory, introduces tableau rules for it and gives the proof  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Named Person: Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Melvin Fitting
ISBN: 1402006047 9781402006043
OCLC Number: 49719340
Description: xv, 180 pages : illustrations ; 25 cm.
Contents: 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.
Series Title: Trends in logic, v. 12.
Responsibility: Melvin Fitting.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


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

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.