Follow-up: conference “Height and Happiness”, by prof. Melvin Fitting, City University of New York (Faculty of Philosophy, University of Bucharest, 2014.03.27)

Thursday, March 27, 2014, 16:00, took place the conference “Height and Happiness”, by prof. Melvin Fitting, City University of New York, at the Faculty of Philosophy, University of Bucharest.


Below, photos and videos from the conference.

There are simple things like, “Alice might have been taller than she is,” whose formalization in modal logic is not so simple. Predicate abstraction provides minimal machinery that represents some of the ideas connecting intension and extension. It has been investigated and applied for many years now. We show how it applies to natural examples like the one just mentioned. This involves discussing syntax and a corresponding semantics. If time permits, we will also sketch a formal proof procedure for predicate abstraction, based on nested sequents, though there will not be time to discuss soundness or completeness.


The list of videos:


[alpine-phototile-for-picasa-and-google-plus src=”user_album” uid=”100050990853086188413″ ualb=”5996276491037328145″ imgl=”fancybox” style=”windows” shape=”rectangle” size=”640″ num=”100″ highlight=”1″ align=”center” max=”100″]

(Facebook album – conference “Height and Happiness”)

I am a Digital Marketing freelancer. My expertise is in SEO (Search Engine Optimization) / UX (user experience) / WordPress. Co-founder of (series of events on SEO & PPC) and (Book on branding for MDs). On a personal level, I like self-development - events, sports, healthy living, volunteering, reading, watching movies, listening to music.

No comments yet.

Leave a comment

Your email address will not be published.

This site uses Akismet to reduce spam. Learn how your comment data is processed.