Logic100 - How the Usergroup unfolds in interest...

[Aetixintro]

The recommended reading to come here about plus some questions asked from interested people.

Shoot out! Just make write in the questions in here. To being with I'll take on most.

Welcome!


--------
(Edit:) Anybody who bothers to make this a "sticky" under/with Logic101?

[help3434]

[Replying to post 8 by Aetixintro]

The statement below is false.
The statement above is true.

[Aetixintro]

Modal logic: â—Š, possible, and â–¡, necessary, usually also entailing definite existence outside "theological reasoning", i.e., contingent and absolute existence plus possible world considerations, base to me, interesting for others...
One strong paper of learning, more than 20 pages: Saul Kripke, Naming and Necessity, 1972. Kripke has also written a book with this name. By this paper/book, Kripke has given the name to Kripkean logics, in refusing to "blend" modal logic with anything else (of modality, outside this paper/book).

The paper can be found in many books like this one, The Philosophy of Language by A. P. Martinich, 5th ed., Oxford Univ. Press, 2008.

A side note: A bit for the html-users: possible gives " &-#-9674-; " and necessary gives " &-#-9633-; " (minus the connectors).

[Aetixintro]

By the splendid "On Denoting" reading by B. Russell, a Nobel laureate in literature, I present some Quantification Logic

the marks: ∃, Existential mark, "one or several" (logical: inclusive "or"), and ∀, Universal mark, "for all, everyone of the set/group".

We can continue with a slight remark for "Quantification Logic" that has also be known as
Universal instantiation and
Existential generalization in combination.
See especially W. Goldfarb, Deductive Logic, Hackett, 2003, for this, rather than the better and, by recommendation, The Logic Book.

For Quantification Logic there's a fine, classical reading by B. Russell, outside his "Teapot", that's named "On Denoting", 1905, also in the above reference of A. P. Martinich.

Links:
http://en.wikipedia.org/wiki/On_Denoting
http://en.wikipedia.org/wiki/Universal_instantiation
http://en.wikipedia.org/wiki/Existential_generalization
http://en.wikipedia.org/wiki/Existential_quantification

as much as God, Cardinal Virtues and Logics for the above, then also a WARNING as Cardinal Sins below:

http://en.wikipedia.org/wiki/Existential_fallacy

Note on using Alt + [the numbers] for the decimal codes, so that, from above, "possible" is easily obtained as logical mark by Alt + 9674. Alt + 8707 for the Existential mark and Alt + 8704 for the Universal mark, converting them into decimal html-code easily. Enjoy.

----
(Edit:)
Martinich book with "On Denoting" in it, with Amazon "see inside": http://www.amazon.co.uk/The-Philosophy- ... 195188306/.