A brief note on logical constants.

Most of my logic this year has been modern rather than medieval, but a few nights ago while reading up on intuitionism for this morning’s seminar, I came across an interesting comment on Dummett’s semantic molecularism:

Dummett’s proposal is that at least some crucial parts of language can be understood independently of any other parts. This applies, first and foremost, to the logical terminology: connectives such as negation, conjunction, disjunction, and ‘if-then’, and quantifiers like ‘there is’ and ‘for all’ [Shapiro, Thinking About Mathematics, pp. 193-194, emphasis added].

What struck me is that these things, these first and foremost examples of what “can be understood independently” of anything else, are exactly those things which the medieval logicians insisted could not be understood independently of anything else.

Do philosophy long enough, and for any person who argues for φ, eventually you’ll find someone who’ll argue just as strenuously for ~φ

This entry was posted in Uncategorized and tagged , , . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s

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