From rzach at ucalgary.ca Fri Jan 15 23:02:18 2016 From: rzach at ucalgary.ca (Richard Zach) Date: Fri Jan 15 23:04:43 2016 Subject: [OpenLogic] Logic II text Message-ID: <5699DCEA.3050301@ucalgary.ca> I think I'm finished with the text for my Logic II class this term. It's also something of a beta test version of making it into an actual book. Have a look. Let me know if you want me to order you a printed paperback to look at. -R -- Richard Zach ...... http://www.ucalgary.ca/rzach/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada -------------- next part -------------- A non-text attachment was scrubbed... Name: phil379-screen.pdf Type: video/x-flv Size: 2522003 bytes Desc: not available Url : http://mailman.ucalgary.ca/pipermail/openlogic-l/attachments/20160115/f8ad7854/phil379-screen.bin From rzach at ucalgary.ca Tue Jan 19 09:47:33 2016 From: rzach at ucalgary.ca (Richard Zach) Date: Tue Jan 19 09:48:00 2016 Subject: [OpenLogic] Illustrations/Photos In-Reply-To: References: Message-ID: <569E68A5.2090801@ucalgary.ca> Our illustrator/graphic designer is sending the final drafts of 10 logicians for comments. https://dl.dropboxusercontent.com/u/4684248/DigitalPortraits1.pdf > I just want some feedback for this lot and then ill fix their shoulder > parts and make sure they have a circle version and just a regular flat > bottom version. > > Some things to note > > - Kripke's smile might be a bit extreme here > - After looking at it after not seeing it for a while i quite like it, > but wondered how you felt about Tarski's hair. Anything I should pass on? I also have actual photos which will in the first instance be included in short biographies that Samara has been preparing. People seem to want to have them included in the main repository -- making sure with you all if that's ok with you. -R From rzach at ucalgary.ca Fri Jan 22 18:08:27 2016 From: rzach at ucalgary.ca (Richard Zach) Date: Fri Jan 22 18:08:39 2016 Subject: [OpenLogic] OLP Illustrations In-Reply-To: <565F5352.4080307@ucalgary.ca> References: <564A4D28.2010005@ucalgary.ca> <564B8B10.4030805@ucalgary.ca> <564BDB0C.9090101@ucalgary.ca> <564C0A15.1000906@ucalgary.ca> <565F5352.4080307@ucalgary.ca> Message-ID: <56A2D28B.2070208@ucalgary.ca> I ended up requesting Carnap, Dedekind, and Post. They should all be done Very Soon. But! we have money left over and so we can afford another 10! Here are some suggestions: Antonelli! Carp Boolos Ladd-Franklin D. Lewis Henkin Kolmogorov Lovelace Heyting Curry Bernays Kleene Brouwer -R On 2015-12-02 01:23 PM, Richard Zach wrote: > I have an illustrator working on stylized portraits of logicians to > use for chapter headings and book covers. He will do 20, of which 5 > will be done in full color & more detail. Below is the list I sent > him. There are 3 more we can ask him to do. Now's the time to send me > requests! > > Here's an initial list: > > 1. Barcan > 2. Boole > 3. Cantor* > 4. Church > 5. Frege > 6. Gentzen > 7. G?del* > 8. Hilbert > 9. Kripke > 10. Noether* > 11. P?ter > 12. Julia Robinson > 13. Russell > 14. Skolem* > 15. Tarski > 16. Turing* > 17. Zermelo > > The *'s are the "do this nice & in color" choices. > > Here are images to work from: > https://www.dropbox.com/sh/58q53ott55ke51g/AADPz0MTnfB4rSd2fB9bO8m0a?dl=0 > > > > > _______________________________________________ > This message was sent to all subscribers of openlogic-L > To unsubscribe, see instructions at: > http://www.ucalgary.ca/it/email/mailman > > E-mail: openlogic-L@mailman.ucalgary.ca > Homepage: http://mailman.ucalgary.ca/mailman/listinfo/openlogic-l -- Richard Zach ...... http://www.ucalgary.ca/rzach/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/openlogic-l/attachments/20160122/93fa9f4b/attachment.html From rzach at ucalgary.ca Sat Jan 23 11:22:47 2016 From: rzach at ucalgary.ca (Richard Zach) Date: Sat Jan 23 11:22:57 2016 Subject: [OpenLogic] OLP Illustrations In-Reply-To: <56A2D28B.2070208@ucalgary.ca> References: <564A4D28.2010005@ucalgary.ca> <564B8B10.4030805@ucalgary.ca> <564BDB0C.9090101@ucalgary.ca> <564C0A15.1000906@ucalgary.ca> <565F5352.4080307@ucalgary.ca> <56A2D28B.2070208@ucalgary.ca> Message-ID: <56A3C4F7.2070809@ucalgary.ca> PS: It would be nice to have at least one non-white logician.... Wang? Takeuti? On 2016-01-22 06:08 PM, Richard Zach wrote: > I ended up requesting Carnap, Dedekind, and Post. They should all be > done Very Soon. > > But! we have money left over and so we can afford another 10! > > Here are some suggestions: > > Antonelli! > Carp > Boolos > Ladd-Franklin > D. Lewis > Henkin > Kolmogorov > Lovelace > Heyting > Curry > Bernays > Kleene > Brouwer > > -R > > > On 2015-12-02 01:23 PM, Richard Zach wrote: >> I have an illustrator working on stylized portraits of logicians to >> use for chapter headings and book covers. He will do 20, of which 5 >> will be done in full color & more detail. Below is the list I sent >> him. There are 3 more we can ask him to do. Now's the time to send >> me requests! >> >> Here's an initial list: >> >> 1. Barcan >> 2. Boole >> 3. Cantor* >> 4. Church >> 5. Frege >> 6. Gentzen >> 7. G?del* >> 8. Hilbert >> 9. Kripke >> 10. Noether* >> 11. P?ter >> 12. Julia Robinson >> 13. Russell >> 14. Skolem* >> 15. Tarski >> 16. Turing* >> 17. Zermelo >> >> The *'s are the "do this nice & in color" choices. >> >> Here are images to work from: >> https://www.dropbox.com/sh/58q53ott55ke51g/AADPz0MTnfB4rSd2fB9bO8m0a?dl=0 >> >> >> >> >> _______________________________________________ >> This message was sent to all subscribers of openlogic-L >> To unsubscribe, see instructions at: >> http://www.ucalgary.ca/it/email/mailman >> >> E-mail:openlogic-L@mailman.ucalgary.ca >> Homepage:http://mailman.ucalgary.ca/mailman/listinfo/openlogic-l > > -- > Richard Zach ......http://www.ucalgary.ca/rzach/ > Professor, Department of Philosophy > University of Calgary, Calgary AB T2N 1N4, Canada > > > _______________________________________________ > This message was sent to all subscribers of openlogic-L > To unsubscribe, see instructions at: > http://www.ucalgary.ca/it/email/mailman > > E-mail: openlogic-L@mailman.ucalgary.ca > Homepage: http://mailman.ucalgary.ca/mailman/listinfo/openlogic-l -- Richard Zach ...... http://www.ucalgary.ca/rzach/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/openlogic-l/attachments/20160123/d9ae010f/attachment.html From rzach at ucalgary.ca Mon Jan 25 10:08:15 2016 From: rzach at ucalgary.ca (Richard Zach) Date: Mon Jan 25 10:08:24 2016 Subject: [OpenLogic] OLP Illustrations In-Reply-To: <56A3C4F7.2070809@ucalgary.ca> References: <564A4D28.2010005@ucalgary.ca> <564B8B10.4030805@ucalgary.ca> <564BDB0C.9090101@ucalgary.ca> <564C0A15.1000906@ucalgary.ca> <565F5352.4080307@ucalgary.ca> <56A2D28B.2070208@ucalgary.ca> <56A3C4F7.2070809@ucalgary.ca> Message-ID: <56A6567F.1040505@ucalgary.ca> Or, should we do a poll? -R On 2016-01-23 11:22 AM, Richard Zach wrote: > PS: It would be nice to have at least one non-white logician.... Wang? > Takeuti? > > On 2016-01-22 06:08 PM, Richard Zach wrote: >> I ended up requesting Carnap, Dedekind, and Post. They should all be >> done Very Soon. >> >> But! we have money left over and so we can afford another 10! >> >> Here are some suggestions: >> >> Antonelli! >> Carp >> Boolos >> Ladd-Franklin >> D. Lewis >> Henkin >> Kolmogorov >> Lovelace >> Heyting >> Curry >> Bernays >> Kleene >> Brouwer >> >> -R >> >> >> On 2015-12-02 01:23 PM, Richard Zach wrote: >>> I have an illustrator working on stylized portraits of logicians to >>> use for chapter headings and book covers. He will do 20, of which 5 >>> will be done in full color & more detail. Below is the list I sent >>> him. There are 3 more we can ask him to do. Now's the time to send >>> me requests! >>> >>> Here's an initial list: >>> >>> 1. Barcan >>> 2. Boole >>> 3. Cantor* >>> 4. Church >>> 5. Frege >>> 6. Gentzen >>> 7. G?del* >>> 8. Hilbert >>> 9. Kripke >>> 10. Noether* >>> 11. P?ter >>> 12. Julia Robinson >>> 13. Russell >>> 14. Skolem* >>> 15. Tarski >>> 16. Turing* >>> 17. Zermelo >>> >>> The *'s are the "do this nice & in color" choices. >>> >>> Here are images to work from: >>> https://www.dropbox.com/sh/58q53ott55ke51g/AADPz0MTnfB4rSd2fB9bO8m0a?dl=0 >>> >>> >>> >>> >>> _______________________________________________ >>> This message was sent to all subscribers of openlogic-L >>> To unsubscribe, see instructions at: >>> http://www.ucalgary.ca/it/email/mailman >>> >>> E-mail:openlogic-L@mailman.ucalgary.ca >>> Homepage:http://mailman.ucalgary.ca/mailman/listinfo/openlogic-l >> >> -- >> Richard Zach ......http://www.ucalgary.ca/rzach/ >> Professor, Department of Philosophy >> University of Calgary, Calgary AB T2N 1N4, Canada >> >> >> _______________________________________________ >> This message was sent to all subscribers of openlogic-L >> To unsubscribe, see instructions at: >> http://www.ucalgary.ca/it/email/mailman >> >> E-mail:openlogic-L@mailman.ucalgary.ca >> Homepage:http://mailman.ucalgary.ca/mailman/listinfo/openlogic-l > > -- > Richard Zach ......http://www.ucalgary.ca/rzach/ > Professor, Department of Philosophy > University of Calgary, Calgary AB T2N 1N4, Canada -- Richard Zach ...... http://www.ucalgary.ca/rzach/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/openlogic-l/attachments/20160125/ad85d796/attachment.html From rzach at ucalgary.ca Wed Jan 27 13:46:38 2016 From: rzach at ucalgary.ca (Richard Zach) Date: Wed Jan 27 13:46:51 2016 Subject: [OpenLogic] OLP Illustrations In-Reply-To: <56A2D28B.2070208@ucalgary.ca> References: <564A4D28.2010005@ucalgary.ca> <564B8B10.4030805@ucalgary.ca> <564BDB0C.9090101@ucalgary.ca> <564C0A15.1000906@ucalgary.ca> <565F5352.4080307@ucalgary.ca> <56A2D28B.2070208@ucalgary.ca> Message-ID: <56A92CAE.9070102@ucalgary.ca> a) I have all of the first 20, which I'll be posting on the OLP facebook/twitter/Google+ accounts over the next week, without names and am making people guess. Perhaps you want to join in the fun. b) For the next 10 I propose the following, after talking with Nicole. I will request the following five: Antonelli Craig Curry Heyting Kleene For the last five I'll do a poll, listing the others as options but allowing for write-ins. If you have any other suggestions, please let me know. Names already mention in addition to the ones below were Beth, von Neumann, Kreisel, Zilber, Friedman (Harvey) The latter two would stand out for being alive -- currently the only active logician on our list of illustrations is Kripke. Remember, too, that it is easy to add biographies/portraits for people. Ok? -R On 2016-01-22 06:08 PM, Richard Zach wrote: > I ended up requesting Carnap, Dedekind, and Post. They should all be > done Very Soon. > > But! we have money left over and so we can afford another 10! > > Here are some suggestions: > > Antonelli! > Carp > Boolos > Ladd-Franklin > D. Lewis > Henkin > Kolmogorov > Lovelace > Heyting > Curry > Bernays > Kleene > Brouwer > > -R > > > On 2015-12-02 01:23 PM, Richard Zach wrote: >> I have an illustrator working on stylized portraits of logicians to >> use for chapter headings and book covers. He will do 20, of which 5 >> will be done in full color & more detail. Below is the list I sent >> him. There are 3 more we can ask him to do. Now's the time to send >> me requests! >> >> Here's an initial list: >> >> 1. Barcan >> 2. Boole >> 3. Cantor* >> 4. Church >> 5. Frege >> 6. Gentzen >> 7. G?del* >> 8. Hilbert >> 9. Kripke >> 10. Noether* >> 11. P?ter >> 12. Julia Robinson >> 13. Russell >> 14. Skolem* >> 15. Tarski >> 16. Turing* >> 17. Zermelo >> >> The *'s are the "do this nice & in color" choices. >> >> Here are images to work from: >> https://www.dropbox.com/sh/58q53ott55ke51g/AADPz0MTnfB4rSd2fB9bO8m0a?dl=0 >> >> >> >> >> _______________________________________________ >> This message was sent to all subscribers of openlogic-L >> To unsubscribe, see instructions at: >> http://www.ucalgary.ca/it/email/mailman >> >> E-mail:openlogic-L@mailman.ucalgary.ca >> Homepage:http://mailman.ucalgary.ca/mailman/listinfo/openlogic-l > > -- > Richard Zach ......http://www.ucalgary.ca/rzach/ > Professor, Department of Philosophy > University of Calgary, Calgary AB T2N 1N4, Canada -- Richard Zach ..... http://www.ucalgary.ca/~rzach/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/openlogic-l/attachments/20160127/9edba06c/attachment.html From rzach at ucalgary.ca Wed Jan 27 14:23:44 2016 From: rzach at ucalgary.ca (Richard Zach) Date: Wed Jan 27 14:23:56 2016 Subject: [OpenLogic] OLP Illustrations In-Reply-To: <56A92CAE.9070102@ucalgary.ca> References: <564A4D28.2010005@ucalgary.ca> <564B8B10.4030805@ucalgary.ca> <564BDB0C.9090101@ucalgary.ca> <564C0A15.1000906@ucalgary.ca> <565F5352.4080307@ucalgary.ca> <56A2D28B.2070208@ucalgary.ca> <56A92CAE.9070102@ucalgary.ca> Message-ID: <56A93560.7000501@ucalgary.ca> PS: You can help by sharing/+1'ing/retweeting those pictures! On 2016-01-27 01:46 PM, Richard Zach wrote: > a) I have all of the first 20, which I'll be posting on the OLP > facebook/twitter/Google+ accounts over the next week, without names > and am making people guess. Perhaps you want to join in the fun. > > b) For the next 10 I propose the following, after talking with > Nicole. I will request the following five: > > Antonelli > Craig > Curry > Heyting > Kleene > > For the last five I'll do a poll, listing the others as options but > allowing for write-ins. If you have any other suggestions, please let > me know. Names already mention in addition to the ones below were > > Beth, von Neumann, Kreisel, Zilber, Friedman (Harvey) > > The latter two would stand out for being alive -- currently the only > active logician on our list of illustrations is Kripke. > > Remember, too, that it is easy to add biographies/portraits for people. > > Ok? > > -R > > On 2016-01-22 06:08 PM, Richard Zach wrote: >> I ended up requesting Carnap, Dedekind, and Post. They should all be >> done Very Soon. >> >> But! we have money left over and so we can afford another 10! >> >> Here are some suggestions: >> >> Antonelli! >> Carp >> Boolos >> Ladd-Franklin >> D. Lewis >> Henkin >> Kolmogorov >> Lovelace >> Heyting >> Curry >> Bernays >> Kleene >> Brouwer >> >> -R >> >> >> On 2015-12-02 01:23 PM, Richard Zach wrote: >>> I have an illustrator working on stylized portraits of logicians to >>> use for chapter headings and book covers. He will do 20, of which 5 >>> will be done in full color & more detail. Below is the list I sent >>> him. There are 3 more we can ask him to do. Now's the time to send >>> me requests! >>> >>> Here's an initial list: >>> >>> 1. Barcan >>> 2. Boole >>> 3. Cantor* >>> 4. Church >>> 5. Frege >>> 6. Gentzen >>> 7. G?del* >>> 8. Hilbert >>> 9. Kripke >>> 10. Noether* >>> 11. P?ter >>> 12. Julia Robinson >>> 13. Russell >>> 14. Skolem* >>> 15. Tarski >>> 16. Turing* >>> 17. Zermelo >>> >>> The *'s are the "do this nice & in color" choices. >>> >>> Here are images to work from: >>> https://www.dropbox.com/sh/58q53ott55ke51g/AADPz0MTnfB4rSd2fB9bO8m0a?dl=0 >>> >>> >>> >>> >>> _______________________________________________ >>> This message was sent to all subscribers of openlogic-L >>> To unsubscribe, see instructions at: >>> http://www.ucalgary.ca/it/email/mailman >>> >>> E-mail:openlogic-L@mailman.ucalgary.ca >>> Homepage:http://mailman.ucalgary.ca/mailman/listinfo/openlogic-l >> >> -- >> Richard Zach ......http://www.ucalgary.ca/rzach/ >> Professor, Department of Philosophy >> University of Calgary, Calgary AB T2N 1N4, Canada > > -- > Richard Zach .....http://www.ucalgary.ca/~rzach/ > Professor, Department of Philosophy > University of Calgary, Calgary AB T2N 1N4, Canada -- Richard Zach ..... http://www.ucalgary.ca/~rzach/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/openlogic-l/attachments/20160127/9fdbbd4b/attachment.html