pular para conteúdo
Types, tableaus, and Gödel's God Ver prévia deste item
FecharVer prévia deste item
Checando...

Types, tableaus, and Gödel's God

Autor: Melvin Fitting
Editora: Dordrecht ; Boston : Kluwer Academic, ©2002.
Séries: Trends in logic, v. 12.
Edição/Formato   Print book : InglêsVer todas as edições e formatos
Base de Dados:WorldCat
Resumo:

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  Ler mais...

Classificação:

(ainda não classificado) 0 com críticas - Seja o primeiro.

Assuntos
Mais como este

 

Encontrar uma cópia on-line

Links para este item

Encontrar uma cópia na biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que possuem este item...

Detalhes

Pessoa Denominada: Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel; Kurt Gödel
Tipo de Material: Recurso Internet
Tipo de Documento: Livro, Recurso Internet
Todos os Autores / Contribuintes: Melvin Fitting
ISBN: 1402006047 9781402006043
Número OCLC: 49719340
Descrição: xv, 180 pages : illustrations ; 25 cm.
Conteúdos: 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.
Título da Série: Trends in logic, v. 12.
Responsabilidade: Melvin Fitting.
Mais informações:

Críticas

Críticas contribuídas por usuários
Recuperando críticas GoodReas...
Recuperando comentários DOGObooks

Etiquetas

Seja o primeiro.
Confirmar esta solicitação

Você já pode ter solicitado este item. Por favor, selecione Ok se gostaria de proceder com esta solicitação de qualquer forma.

Dados Ligados


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

Por favor, conecte-se ao WorldCat 

Não tem uma conta? Você pode facilmente criar uma conta gratuita.