Birth Control And Aging

Glossary First Order Logic

A highly recommended resource, Glossary of First-Order Logic : "This glossary is limited to September basic theory, basic recursive function theory, two branches of logic (truth-functional propositional logic and first-order predicate logic) and Their metatheory. "

The author of this glossary of terms,

Peter Suber, teaches in the Department of Philosophy of Earlham College ( U.S. ) Logical Systems course (on formal logical systems, standard first order logic, and Theory of computing, mainly), from whose website can be accessed, under the heading "Hand-outs, a good number of texts in relation to the topics covered in the course. The "hand outs" are materials (booklets with texts and exercises), generally schematic, but not necessarily, delivered to participants of a course. Besides the aforementioned course, P. Suber also developed considerable activity around the open access movement ( Open Access Movement, see your personal page

, and to highlight something about it, for example your blog

monographic on the subject, and the

Guide to the Open Access Movement

, among others). It also maintains an extensive directory of links to web Philosophy in : Guide to Philosophy on the Internet . And since we are engaged in logic and philosophy, to recommend Read the following test: Philosophical Logic and Computational Constraints (2002), John L. Taylor, author likewise an interesting blog, Johnny Logic . There is extensive and the reading is quite affordable, providing an overview of the item contained in the title. Through his blog I was able to find some other way on issues of Logic and Philosophy of Logic, for example LogBlog maintained by Richard Zach ( Professor of Philosophy at the University of Calgary, Canada). In turn, the links section (

Blogroll

) of the latter gives us the opportunity to meet other thematically related: That Logic Blog

,

Epistemic Frontiers Project,

Logic and Language, etc.