Superclassical

Random notes on logic, philosophy, and other, assorted interests. My working notes will go here rather than being stuffed into endless \(\LaTeX\) files; there will thus be errors. I invite anyone stumbling across this to offer criticisms of anything I've written. I make ample use of MathJax. For best results, let the module load before clicking on stuff.

[superclassical]

“Logic and Nonsense” at UNILOG

Logic and Nonsense ~ Thomas Ferguson @UNILOG2015 #unilog2015 pic.twitter.com/YyW6keGSBf

— Neşeli (@tugcediyebiri) June 22, 2015

[superclassical]

“On Arithmetic Formulated Connexively” at UNILOG

"On Arithmetic Formulated Connexively" T. M. Ferguson @UNILOG2015 pic.twitter.com/qz2Tktnxnk

— fatih kök (@arjant) June 26, 2015

[superclassical]

Mohamed Khaled “Decidable Fragments Of First Order Logic”

Mohamed Khaled "Decidable Fragments Of First Order Logic" #UNILOG2015 pic.twitter.com/IVmkydk9YT

— Neşeli (@tugcediyebiri) June 30, 2015

[superclassical]

[superclassical]

Tutorial Schedule: 

[superclassical]

[superclassical]

If only more philosophy books contained comic strips...

[engineeringhistory]

Diagram of the Leibniz calculating machine mechanisms, 1727. First invented in 1671, the calculating machine used a stepped drum, a major advancement for mechanical calculating devices.

[superclassical]

Two Paradoxes of Semantic Information, Synthese

http://link.springer.com/article/10.1007/s11229-015-0717-1

[superclassical]

ISMVL 2015 Program

[superclassical]

Oh, and right now it is an "Editor's Choice" article, meaning it is freely accessible.

http://doi.org/10.1080/11663081.2014.980116

[crisisaftercrisis]

[superclassical]

Visit Original Link

This summarizes everything that is wrong with my generation.

[superclassical]

Which proof system do you think would be best to first teach to undergraduates just starting logic? Would it differ for teaching undergraduates in mathematics, linguistics or computer science?

Hi!

If you're teaching undergraduates of virtually any stripe, natural deduction systems or tableaux methods are the way to go (in my opinion). I tend to lean towards the former for instilling a sense of how logic operates, in that one can generally concoct a strategy for proving such-and-such a theorem in advance. While tableaux are a bit more mechanistic, they, too, have a certain salience that Hilbert-style proofs and Gentzen sequent calculi lack.

I suspect that after a first course the distinct needs of mathematics students, linguistics students, computer science students, and philosophy students become apparent. I've taken "intermediate logic" courses hosted in all four departments and the distinction is quite clear.

In computer science, for example, logic becomes less about how one can prove a particular theorem, and how proof in general operates. Gentzen calculi are suitable in this context.

As a mathematician, one will probably study Goedel's work quite a bit, in which one is less concerned with the feasibility of proof than the very possibility. Although Hilbert-style proofs are a pain in the toches, they make arithmetization of logic very easy.

As for philosophers, well, I don't know what to say about *those* people...

But yeah, start with natural deduction. It's the gateway drug of logic.

[superclassical]

Sam Baron, An Ikea-Priest Axiomatization of Mereology

From Proceedings of the Society of Drinking a lot of Cough Syrup:

I argue that standard mereological axioms are incomplete and must be supplemented with the Ikea axiom: for any entity E composed of parts P1 … Pn, there is always some part P* that is left over. I demonstrate that P* both is and is not a part of E. I prove, as a theorem of the system, that only Graham Priest can assemble Ikea furniture.

http://fauxphilnews.wordpress.com/2014/10/17/proceedings-issue-2/

[mcachicago]

Bowie Film Fest: Sunday Lineup

Today at noon, the MCA will be continuing the celebration of our favorite David Bowie moments on film with screenings at the Edlis Neeson Theater. Today features the beloved classic Jim Henson movie Labyrinth, starring David Bowie as Jareth the Goblin King. Admission to the film fest is FREE and open to the public. Don’t forget to dress in your favorite Bowie-inspired costume!

Sunday’s Lineup:

Noon: Labyrinth (1986)

2:30 pm: Absolute Beginners (1986)

View the full weekend schedule here

[superclassical]

Chicago has some things going for it, after all.

[tuneup-media]

Visit Original Link