New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add introduction to "First-order Logic" part #69

Open
rzach opened this Issue Oct 17, 2015 · 8 comments

Comments

Projects
None yet
3 participants
@rzach
Member

rzach commented Oct 17, 2015

First-order logic gets right to it with formal definitions of languages, terms, formulas. Write an introductory chapter.

@rzach rzach added the addition label Oct 17, 2015

@GillRussell

This comment has been minimized.

Show comment
Hide comment
@GillRussell

GillRussell Oct 17, 2015

Hard part about that will be writing an introductory chapter that doesn't introduce a lot of really bad philosophy of logic. (Not that you would do that, but lots of textbooks do.)

Hard part about that will be writing an introductory chapter that doesn't introduce a lot of really bad philosophy of logic. (Not that you would do that, but lots of textbooks do.)

@rzach

This comment has been minimized.

Show comment
Hide comment
@rzach

rzach Oct 17, 2015

Member

Maybe you would like to write it then? Just to be sure, you know?

Member

rzach commented Oct 17, 2015

Maybe you would like to write it then? Just to be sure, you know?

@GillRussell

This comment has been minimized.

Show comment
Hide comment
@GillRussell

GillRussell Oct 17, 2015

I'd love to, but the introduction is really important - it's the first (and sometimes the only) part many people will read. Maybe I could write an outline and run it past you, and you could tell me whether it's the kind of thing you want?

I'd love to, but the introduction is really important - it's the first (and sometimes the only) part many people will read. Maybe I could write an outline and run it past you, and you could tell me whether it's the kind of thing you want?

@rzach rzach added this to the 1.0-b Beta milestone Oct 17, 2015

@rzach

This comment has been minimized.

Show comment
Hide comment
@rzach

rzach Oct 17, 2015

Member
Member

rzach commented Oct 17, 2015

@GillRussell

This comment has been minimized.

Show comment
Hide comment

OK!

@rzach

This comment has been minimized.

Show comment
Hide comment
@rzach

rzach Aug 29, 2016

Member

I wrote no an intro chapter but an intro section to the syntax-and-semantics part; see commit f905776.

I don't know if that's enough. I hope I didn't " introduce a lot of really bad philosophy of logic."

Member

rzach commented Aug 29, 2016

I wrote no an intro chapter but an intro section to the syntax-and-semantics part; see commit f905776.

I don't know if that's enough. I hope I didn't " introduce a lot of really bad philosophy of logic."

@rzach

This comment has been minimized.

Show comment
Hide comment
@rzach

rzach Nov 12, 2016

Member

@GillRussell should I close this or do you want it open for a longer chapter still to be written by you?

Member

rzach commented Nov 12, 2016

@GillRussell should I close this or do you want it open for a longer chapter still to be written by you?

@nicolewyatt

This comment has been minimized.

Show comment
Hide comment
@nicolewyatt

nicolewyatt May 23, 2017

Contributor

I think a longer intro chapter would still be desirable. @GillRussell if you have time to put together an outline perhaps we could still aim for one, but not for this fall?

Contributor

nicolewyatt commented May 23, 2017

I think a longer intro chapter would still be desirable. @GillRussell if you have time to put together an outline perhaps we could still aim for one, but not for this fall?

@rzach rzach removed this from the Fall 2017 Sets, Logic, Computation milestone Aug 22, 2017

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment