passa ai contenuti
Types, tableaus, and Gödel's God Anteprima di questo documento
ChiudiAnteprima di questo documento
Stiamo controllando…

Types, tableaus, and Gödel's God

Autore: Melvin Fitting
Editore: Dordrecht ; Boston : Kluwer Academic, ©2002.
Serie: Trends in logic, v. 12.
Edizione/Formato:   Libro a stampa : EnglishVedi tutte le edizioni e i formati
Sommario:

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  Per saperne di più…

Voto:

(non ancora votato) 0 con commenti - Diventa il primo.

Soggetti
Altri come questo

 

Trova una copia online

Collegamenti a questo documento

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Persona nominata: Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel
Tipo materiale: Risorsa internet
Tipo documento Libro, Risorsa Internet
Tutti gli autori / Collaboratori: Melvin Fitting
ISBN: 1402006047 9781402006043
Numero OCLC: 49719340
Descrizione: xv, 180 pages : illustrations ; 25 cm.
Contenuti: 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.
Titolo della serie: Trends in logic, v. 12.
Responsabilità: Melvin Fitting.
Maggiori informazioni

Commenti

Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.
Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

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

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.