[OpenLogic] Open Logic Project Update

[Richard Zach]

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