Concept
Association for Symbolic Logic
Overview
The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Curt John Ducasse. The current president of the ASL is Natasha Dobrinen.
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Possible passages
Found by search and not yet checked by a person; they may only mention the idea in passing.
Until symbolic logic had acquired its present development, the principles upon which mathematics depends were always supposed to be philosophical, and discoverable only by the uncertain, unprogressive methods hitherto employed by philosophers. So long as this was thought, mathematics seemed to be not autonomous, but dependent upon a study which had quite other methods than its own.
Bertrand Russell, Mysticism and Logic and Other Essays
Close in meaning to Association for Symbolic Logic; the term itself is not named.
These admirable properties of the symbolical language of mathematics have made so strong an impression on the minds of many thinkers, as to have led them to consider the symbolical language in question as the ideal type of philosophical language generally; to think that names in general, or (as they are fond of calling them) signs, are fitted for the purposes of thought in proportion as they can be made to…
John Stuart Mill, A System of Logic, Ratiocinative and Inductive
Close in meaning to Association for Symbolic Logic; the term itself is not named.
The chief business of the logician is to classify arguments; for all testing clearly depends on classification. The classes of the logicians are defined by certain typical forms called syllogisms. For example, the syllogism called _Barbara_ is as follows: S is M; M is P: Hence, S is P.
Charles S. Peirce, Chance, Love, and Logic
States what Association for Symbolic Logic is.
Philosophers who discussed Association for Symbolic Logic
- Kurt Gödel
- Jaakko Hintikka
- Ruth Barcan Marcus
- Alfred Tarski
- Penelope Maddy
- Curt John Ducasse
- Greg Restall
- Mary Tiles
Related ideas
- Journal of Symbolic Logic
- American Philosophical Association
- Ernest Nagel
- Dana Scott
- Kurt Gödel
- Foundations of mathematics
- Per Martin-Löf
- Mathematical logic
- Model theory
- Stephen Cole Kleene
- Philosophical logic
- Willard Van Orman Quine
- George Boolos
- Löwenheim–Skolem theorem
- Solomon Feferman
- Ruth Barcan Marcus
- Martin Heidegger
- T. M. Scanlon
- Alfred Tarski
- Hilary Putnam
- Turing degree
- Penelope Maddy
- J. Barkley Rosser
- Harvey Friedman (mathematician)
Place in the tradition
Part of Dialetheism.
Explore Association for Symbolic Logic in the interactive graph →