List: One deep issue regarding CSP’s works is the relevance of his writings to today’s world and the decaying intellectual climate that is often exemplified in today’s writings in the philosophical and mathematical communities.
At least one group of logicians is facing these issues head-on, as illustrated by call for papers given below. Because of the extreme focus of this list on “firstness”, “secondness" and “thirdness”, I would challenge the list members to organize the names of logics such that the categories of logic are arranged in a way consistent with CSP’s thinking. Cheers Jerry > On Sep 28, 2017, at 6:18 AM, Manuel Gustavo Isaac > <isaac.manuelgust...@gmail.com> wrote: > > NAMING LOGICS II > > Workshop Organized @ UNILOG'2018 > http://www.uni-log.org/vichy2018 <http://www.uni-log.org/vichy2018> > > By > Jean-Yves Béziau > (University of Brazil, Rio de Janeiro) > and > Manuel Gustavo Isaac > (Swiss National Science Foundation / University of Amsterdam) > > Follow up of > Naming Logic(s) organized at the LMPS, in Helsinki, 2015 > https://clmps2015.sched.com/event/31PW > <https://clmps2015.sched.com/event/31PW> > > ---------------------------------------------------------------------------- > > Blaise Pascal famously claimed: “Je ne dispute jamais du nom pourvu qu’on > m’avertisse du sens qu’on lui donne” (I never quarrel about a name, provided > I am apprised of the sense it which it is understood), Les Provinciales. > However to find the right word for the right thing is a sophisticated art. > > Modern logic has been qualified by various expressions: “symbolic logic”, > “formal logic”, “mathematical logic”, “metamathematics”. What does all this > mean? For example “mathematical logic” is typically an ambiguous expression > since it can mean both logic treated in a mathematical way or/and the logic > of mathematics. “Symbolic logic” is also a mixture of different things, it > can make reference to the use of some formal mathematical signs, or some true > symbols, like Venn’s diagrams. “Formal logic” is an expression put forward by > Kant but ironically it has been often used to denote modern mathematical > logic by opposition to traditional logic. “Metamathematics” was coined by > Hilbert and he used it as synonymous to “Proof theory” (Beweistheorie) for > him the. Although it has been quite popular, cf. the classical book of Kleene > Introduction to metamathematics is not much used today probably because too > much related with a speficic approach to logic. > > Concerning the names of systems of logic, there is also a lot of ambiguity. > In which sense “classical logic” is classical, “Intuitionistic logic” is > intuitive, “linear logic” is linear, “relevant” logic is relevant, “free > logic” is free, “intensional logic” is intensional? “Modal logic” encompasses > many different systems, in which sense are they all dealing with modalities > and what is a modality? “First-order logic” and “second order logic” are > expression which are often used. What do they mean exactly, are the involved > qualifiers appropriate? Do they make sense in relation to “third-order > logic”? The expression “zero-order logic” is not much used. Does it make > sense to use it to qualify propositional logic, or does it correspond to > something else? > > A careful analysis of names used in logic can provide a fresh look at the > different logical systems and/or the concepts and methodologies used to study > and develop them. It can clarify what has been done and give some clues for > new developments. This is a follow up of the workshop Naming Logic(s) > organized at the LMPS, in Helsinki, 2015. > > ---------------------------------------------------------------------------- > > We invite contributions discussing logical terminology, such as: > In which sense symbolic logic is symbolical? > In which sense mathematical logic is mathematical? > In which sense formal logic is formal? > In which sense classical negation is classical? > In which sense intensional logic is intensional? > In which sense minimal logic is minimal? > In which sense free logic is free? > In which sense relevant logic is relevant? > Are many truth values values for truth? > Can we put truth in a table? > > Abstracts (one page) should be sent by October 5, 2017 via e-mail to: > isaac.manuelgust...@gmail.com <mailto:isaac.manuelgust...@gmail.com> > > -- > For questions about HOPOS-g, email the list master David Stump: > davidjamesst...@gmail.com > --- > You received this message because you are subscribed to the Google Groups > "hopo...@vt.edu" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to hopos-g+unsubscr...@vt.edu <mailto:hopos-g+unsubscr...@vt.edu>. > To post to this group, send email to hopo...@vt.edu <mailto:hopo...@vt.edu>.
----------------------------- PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . To UNSUBSCRIBE, send a message not to PEIRCE-L but to l...@list.iupui.edu with the line "UNSubscribe PEIRCE-L" in the BODY of the message. More at http://www.cspeirce.com/peirce-l/peirce-l.htm .
