[OpenLogic] Open Logic Project Update

[Richard Zach]

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