[OpenLogic] Open Logic Project Update

[Richard Zach]

PS: Was just told that I'll have to manually add accounts for the 
non-Calgary people, which I will do. -R

On 11/05/2013 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