[OpenLogic] Open Logic Project Update

[Nicole Wyatt]

> - Nicole is planning to add stuff from her first run of using the material over the winter break (typos, Turing machine examples), right? 


Right -- but not just typos and examples, also some more "wordy" at various places and some exercises. -- N

*************
Dr. Nicole Wyatt
Head
Department of Philosophy
University of Calgary

403-220-3166
nicole.wyatt at ucalgary.ca






On 2013-11-26, at 10:31 AM, Richard Zach <rzach at ucalgary.ca> wrote:

> Hi all,
> 
> - The website is nicer now! Have a look.
> - I added a milestone to the GitHub issue tracker with a deadline of mid-January.  I'm hoping to announce the project at that time.  If there are things you'd like the first release to contain/do, please add an issue in the issue tracker and mark it for milestone "Aristotle".
> - Nicole is planning to add stuff from her first run of using the material over the winter break (typos, Turing machine examples), right?  Dana is going to help with that (right?).
> - Aldo is planning to contribute notes on modallogic when he teaches it in the Spring term at Davis.
> - I'm teaching an advanced logic class in the Winter term (Jan-Apr) and plan to add material on proof theory, perhaps some extra model theory.
> - Andy & Audrey: are you thinking of using any part of it to teach soonish? Any other way(s) you're thinking of contributing either before Aristotle or after?
> - Would you like to involve more people either as contributors or as testers? If so, who?
> - I do need help with a list of tokenized words.
> 
> Best
> Richard
> 
> On 13-11-05 04:06 PM, Richard Zach wrote:
>> Hi,
>> 
>> I've also started a blog site for it so we have a place to point people to.  It's at
>> 
>> http://openlogicproject.org/
>> 
>> No content yet but I thought it would be useful for discussing broader issues with a broader audience (broader than people with github accounts), to announce releases more easily, and to let people access pre-built PDFs.  Would be great if you could sign up!
>> 
>> We've made a bit of further headway on the text itself. You can check the current PDFs here:
>> 
>> http://builds.openlogicproject.org
>> 
>> -rel is the "release" version: prettier, no links to github, etc. The -dev version is better for proof-reading etc.
>> 
>> Nicole's been using the text in our Logic II course this term; proof reading etc and more notes will be incorporated in December (right, Nicole?).  Our student assistant Dana may be able to do more work in December as well.  I've been working on a way to typeset problems at different spots (eg, at end of chapter).  A "tokenization" function is also implemented: it allows text to be automatically changed without search-and-replace (e.g., formulas/formulae etc.).
>> 
>> Which terms would you like "tokenized"?
>> 
>> Audrey: you're teaching advanced logic next term: are you thinking of using our text?
>> 
>> Hoping to go "public" in January with a first release.  What do you think should be in that release? Reply or file an issue on github! (githup has this neat feature where you can define milestones by a set of issues that have to be settled.)
>> 
>> I'll add a page to the site listing the "editorial board."  Are there people you think I should ask to join in?
>> 
>> Best
>> Richard
>> 
>> 
>> On 13-09-07 12:07 PM, Richard Zach wrote:
>>> Hi! We've made some great headway on the Open Logic project!
>>> 
>>> If you are wondering what you can do:
>>> 
>>> - Proofread. The whole thing is now precompiled for you:
>>> http://people.ucalgary.ca/~rzach/static/open-logic/open-logic-dev.pdf
>>> and you can edit the files directly in GitHub (or comment on lines that need fixing)
>>> 
>>> - Add exercises.  We don't have any yet (although Aldo's notes contain a whole bunch -- they need to be copied into the right places).  Use the prob environment, and put them where they belong thematically. I'll soon add the ability to collect them at the end of a chapter.
>>> 
>>> - Add content. Nicole is going to add stuff on functions and cardinality very soon, and I'll try to get some stuff on computability and Turing machines up. Everything else: go wild.
>>> 
>>> - Take on any of the issues in Trello.
>>> 
>>> Thanks!
>>> 
>> 
> 
> -- 
> 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 at mailman.ucalgary.ca
> Homepage: http://mailman.ucalgary.ca/mailman/listinfo/openlogic-l
> 
>