20
$\begingroup$

Recently I read the chapter "Doctrines in Categorical Logic" by Kock, and Reyes in the Handbook of Mathematical Logic. And I was quite impressed with the entire chapter. However it is very short, and considering that this copy was published in 1977, possibly a bit out of date.

My curiosity has been sparked (especially given the possibilities described in the aforementioned chapter) and would like to know of some more modern texts, and articles written in this same style (that is to say coming from a logic point of view with a strong emphasis on analogies with normal mathematical logic.)

However, that being said, I am stubborn as hell, and game for anything.

So, Recommendations?

Side Note: More interested in the preservation of structure, and the production of models than with any sort of proposed foundational paradigm

$\endgroup$
2
  • 1
    $\begingroup$ Decided to not select an answer because so many of them are really good, and I'm having a great time going over some of the texts recommended thus far. $\endgroup$
    – Not Mike
    Jan 27, 2011 at 9:31
  • $\begingroup$ Are there any indecent texts on categorical logic? $\endgroup$ Oct 16, 2019 at 11:24

8 Answers 8

20
$\begingroup$

Might I recommend Sheaves in Geometry and Logic by MacLane and Moerdijk. To quote bits from the blurb:

Sheaves also appear in logic as carriers for models of set theory as as for the semantics of other types of logic.

The applications to axiomatic set theory and the use in forcing ...are then described.

...the construction of topoi related to geometric languages and logic.

(Edit: Ed Dean beat me to it, but only just)

$\endgroup$
15
$\begingroup$

Well, for the record, there is also my Practical Foundations of Mathematics (CUP, 1999).

$\endgroup$
2
  • 2
    $\begingroup$ For those like the OP whose curiosity is sparked by doctrines of categorical logic, I think your book provides quite a lot of thought-provoking material. Another thing I like about it is the wealth of eye-opening exercises. My own experience was that the book required repeated and persistent efforts to get 'underneath', so to speak, but if the OP is "game for anything and stubborn as hell" as he says, then he could surely get a lot out of it, and he may find himself returning to it again and again. $\endgroup$
    – Todd Trimble
    Mar 19, 2011 at 19:23
  • 3
    $\begingroup$ I still understand only a fraction of this book, but it's already one of the most well-thumbed books in my library. Every time I come to it, I find something new there. $\endgroup$ Mar 20, 2011 at 17:05
8
$\begingroup$

Introduction to Higher Order Categorical Logic by Lambek and Scott might fit the bill.

$\endgroup$
5
$\begingroup$

Just as technical texts, Acessible Categories by Makkai and Paré and Locally Presentable and Accessible Categories by Adamek and Rosicky are extremely useful even for non-logicians (they are a natural extension of the material in SGA4.1.i on colimits of functors indexed by "ensembles ordonné grand devant $\alpha$", which are now called $\alpha$-filtered colimits), but additionally, they cover a categorical approach to model theory that is also supposed to be pretty interesting (although I haven't read those parts of the books, I've heard good things from a number of people, including François Dorais (indirectly), who is one of our benevolent moderators).

$\endgroup$
4
$\begingroup$

For a introduction:

1) Notes on Logic and Set theory (cap. 1, cap 3) P.T. Johnstone.

2) Locally Presentable And Accessible Categories by J Adamek J Rosicky (Cap. 3 & cap. 5)

FOr a comprehensive view:

1) Sketches of an Elephant: A Topos Theory Compendium (VOl 2, cap D1)

3) B. Jacobs, Categorical Logic and Type Theory, Studies in Logic and the Foundations of Mathematics 141

$\endgroup$
2
$\begingroup$

I'd like to add Carsten Butz' "Regular categories and regular logic". It is available online in the BRICS lecture series, and is very accessible. Though perhaps a bit too basic at times for readers with some background knowledge, it is very suitable for a first introduction before jumping into texts on toposes.

$\endgroup$
0
$\begingroup$

http://en.wikipedia.org/wiki/Categorical_logic has more refs. That's a sufficiently obvious place to look that maybe someone can move this "answer" to a comment.

$\endgroup$
0
$\begingroup$

My answer here has a number of good references: Resources for learning practical category theory

I don't recommend Goldblatt. Here is an article that elaborates on why:

Colin Mclarty, The Uses and Abuses of the History of Topos Theory, Brit. J. Phil. Sci. 41 (1990) pp 351–375, doi:10.1093/bjps/41.3.351, JSTOR.

$\endgroup$
1

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.