Co napisał(-a) Melvin Fitting?

Zobacz ostatnio wydane książki autora: First-Order Modal Logic

Szukasz cytatów z książek Melvin Fitting?

Cytaty z książek autora Melvin Fitting

Melvin Fitting

Źródło: http://melvinfitting.org/index.html

9,0/10

Pisze książki: filozofia, etyka

Urodzony: 24.01.1942

First-Order Modal Logic

9,0 z 1 ocen

3 czytelników 1 opinia

Research Interests

Applications of logic to computer science and to philosophy
Modal Logics
Theory of Truth
I have developed tableau methods for many modal logics, which have been successfully implemented on computers. My work on Kripke-like theories of truth has also been applied to provide semantics for certain programming languages. Some of this work has also found application in non-monotonic reasoning. Recently I have been interested in first- and higher-order modal logics. Applications here range from an explication of Goedel's ontological argument, to semantics for databases of a rather complex sort. My current research involves adding or removing various features from quantified modal logics, to see what the formal consequences are.

- See more at: http://www.gc.cuny.edu/Page-Elements/Academics-Research-Centers-Initiatives/Doctoral-Programs/Philosophy/Faculty-Bios/Melvin-Fitting#sthash.EzHuEAVG.dpufhttp://melvinfitting.org/

Wszystkie
Książki
Czasopisma

Sortuj od:

1998

First-Order Modal Logic

Melvin Fitting, Richard L. Mendelsohn

9,0 z 1 ocen

3 czytelników 1 opinia

1998

Dodaj na półkę

Najnowsze opinie o książkach autora

First-Order Modal Logic Melvin Fitting

Andrzej Bułeczka

ocenił(a) na 98 lata temu

Najlepsze wprowadzenie do logiki modalnej z perspektywy filozofa jakie spotkałem (a trochę już tego było). Autorzy świetnie poradzili sobie z balansem między materiałem technicznym (definicjami, twierdzeniami, dowodami) a kontekstem zastosowania w praktyce filozoficznej, zwłaszcza w filozofii języka i metafizyce. Dzięki temu każdy może znaleźć coś dla siebie. Niektóre sekcje komentarzy to prawdziwe perełki, np. tekst na temat logicznej niespójności deflacyjnych koncepcji istnienia (Russell, Quine) to istny majstersztyk. Szczerze polecam!

Przeczytaj