Home > Uncategorized > Dirk Schlimm – Dirk Schlimm (McGill): Frege’s Begriffsschrift notation: Design principles and trade-offs

Dirk Schlimm – Dirk Schlimm (McGill): Frege’s Begriffsschrift notation: Design principles and trade-offs

September 12, 2017 Leave a comment Go to comments

The Montreal Inter-University Workshop on the History and Philosophy of
Mathematics presents:

Dirk Schlimm (McGill):
Frege’s Begriffsschrift notation: Design principles and trade-offs

Friday, September 15, 2017
McGill University, Leacock Building, Room 927. 11:30am-1:00pm

Abstract: Well over a century after its introduction, Frege’s two-dimensional Begriffsschrift notation is still considered mainly a curiosity that stands out more for its clumsiness than anything else. This talk focuses mainly on the propositional fragment of the Begriffsschrift, because it embodies the characteristic features that distinguish it from other expressively equivalent notations. I argue for the perspicuity and readability of the Begriffsschrift by discussing several idiosyncrasies of the notation, which allow an easy conversion of logically equivalent formulas, and presenting the notation’s close connection to syntax trees. Moreover, Frege’s considerations regarding the design principles underlying the Begriffsschrift are presented. Frege was quite explicit about these in his replies to early criticisms and unfavorable comparisons with Boole’s notation for propositional logic. This discussion reveals that the Begriffsschrift is in fact a well thought-out and carefully crafted notation that intentionally exploits the possibilities afforded by the two-dimensional medium of writing like none other.     

For more information, please contact:Gregory Lavers (Concordia), Mathieu

Marion (UQÀM), Jean-Pierre Marquis (UdM), Dirk Schlimm (McGill).
Website: http://www.cs.mcgill.ca/~dirk/workshop

Advertisements
  1. No comments yet.
  1. No trackbacks yet.

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 )

Twitter picture

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

Facebook photo

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

Google+ photo

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

Connecting to %s

%d bloggers like this: