Professional Documents
Culture Documents
exposure to
couple of other
before, but
again!
Categorical Grammar was influenced both directly via the text, which
shared similar goals, and probably also via the influence of Tarski
and Quine who made use of it (if not for precisely the same purposes)
in their own work.
Categorical Grammar is primarily concerned with matters of natural
language, but Joachim Lambek's work on the [Lambek Calculus][LC] drew
it somewhat back towards mathematics and logic. Lambek Calculus
resembles in some ways Alonzo Church's Lambda Calculus (of the simply
typed variety), Quine's Functor Predicate Logic, and combinatory
logic.
Of parenthetical interest is the fact that the logicians of the
Lvov-Warsaw school preferred to place their functors at the front of
their arguments; by this practice they allowed expressions to be
unambiguous without parentheses. This practice became known as "Polish
Notation", which is familiar to many users of Hewlett Packard
calculators by way of its similarly bracketless Reverse Polish
Notation.
Functors in Programming
----------------------The use of functor via its Category Theory interpretation is familiar
to many functional programmers today. It has a direct, though not
all-encompassing, presence in Haskell via the Functor type class.
Perhaps not quite so familiar is the linguistic interpretation as used
by [Prolog][PRO]. And the SML Module language uses the term functor;
although this can be interpreted in the categorical sense, it also
makes sense from the perspective of Quine's Predicate Functor
Logic. C++'s use of functor to mean "function-like object" seems to be
another repurposing of the word along the lines of Mac Lane's.
[RC]: http://www.iep.utm.edu/carnap/ "IEP: Rudolf Carnap"
[VC]: http://www.iep.utm.edu/viennacr/ "IEP: Vienna Circle"
[AT]: http://plato.stanford.edu/entries/tarski/ "SEP: Alfred Tarski"
[LW]: http://plato.stanford.edu/entries/lvov-warsaw/ "SEP: Lvov-Warsaw School"
[WQ]: http://plato.stanford.edu/entries/quine/ "SEP: Willard van Orman Quine"
[CTQ]: http://d-scholarship.pitt.edu/7768/ "Carnap, Tarski, and Quine's Year Tog
ether: Logic, Science, and Mathematics"
[LSL]: http://books.google.com/books?id=3e3gAwAAQBAJ&lpg=PP1&dq=rudolf%20carnap&
pg=PA14#v=onepage&q=functor&f=false "Google Books: Logical Syntax of Language"
[SM]: http://www-news.uchicago.edu/releases/05/050421.maclane.shtml "Saunders Ma
c Lane, Mathematician, 1909-2005"
[TO]: http://books.google.com/books?id=41bHxtHxjUAC&lpg=PA69&ots=Vj9lsB_gf2&dq=c
arnap%20functor&pg=PA70#v=snippet&q=%22metamathematical%20expression%22&f=false
"Tool and Object: A History and Philosophy of Category Theory"
[CCC]: http://books.google.com/books?id=DR5DAwAAQBAJ&lpg=PA197&ots=hUJG4tMAo7&dq
=carnap%20logische%20syntax%20der%20sprache%20english&pg=PA197#v=onepage&q=funct
or&f=false "The Cambridge Companion to Carnap"
[CTQ]: http://books.google.com/books?id=s14AAwAAQBAJ&lpg=PA139&ots=-2_K3d7uP-&dq
=quine%20carnap%20functor&pg=PA145#v=snippet&q=Quine%20statement%20composition&f
=false "Carnap, Tarski, and Quine at Harvard"
[ALP]: http://books.google.com/books?id=YReOv31gdVIC&lpg=PA283&dq=%22Algebraic%2
0Logic%20and%20Predicate%20Functors%22&pg=PA283#v=onepage&q=%22Algebraic%20Logic
%20and%20Predicate%20Functors%22&f=false "Algebraic Logic and Predicate Functors
"
[ML]: http://books.google.com/books?id=liHivlUYWcUC&lpg=PP1&dq=quine&pg=PA129#v=
onepage&q=functor&f=false "Methods of Logic"
[CG]: http://books.google.com/books?id=iVVAAAAAQBAJ&lpg=PA234&ots=P6VDNfpt8Q&dq=