Talk:Abstract algebraic logic

I question some of the history of ideas set out in this entry
Boole did not discover any isomorphism or model theoretic relation between the propositional connectives and his eponymous algebra, because those connectives were discovered only well after his lifetime. (Gergonne had something like the horseshoe for the conditional as early as 1815, but nobody noticed.) Peirce thought a lot about this topic, but almost no one read him. No one read Frege, period. Hugh McColl groped towards this connection, but he was poorly informed about Boolean algebra; he stumbled on sentential logic while investigating a problem in calculus! The connection may be in Schroeder, but even he did not have a clear idea of the connectives. Also, Schroeder's 3 volume treatise was published at his own expense, and intellectuals tend to discount strongly anything published by a vanity press.

I submit that Peano discovered the connectives, and Principia Mathematica made them well known. Hilbert's course on mathematical logic, 1917-22, which became the 1st ed. of Hilbert and Ackermann (1928), did much to make a variant of the PM notation known in central and eastern Europe. Hilbert and Ackermann was probably also the first undergraduate exposition of the connectives. When Quine began teaching intro undergrad logic in 1940, he could find no suitable text in English and so wrote the first edition of his Elementary Logic. The 1937 first edition of Suzanne Langer's logic text emphasized Boolean algebra over the notation of PM. Hilbert and Ackermann did not appear in English until 1950.

In any event, the masters of the connectives became the interwar Poles. A member of that schook, Tarski, was perhaps the first to be fully at ease with both the connectives and Boolean algebra. It was he and his student Adolf Lindenbaum that finally made the connection and the name Lindenbaum-Tarski algebra honors this fact.

It is insufficiently appreciated that Boole did not discover what we call Boolean algebra. The algebra of Boole is a muddle of only historical interest. For Boole, product and sum did not form a dual pair of operations, because he interpreted sum as exclusive OR. In the 1860s, Jevons and the young Charles Peirce both saw that interpreting sum as inclusive OR resulted in a much neater algebra, because in that case sum and product formed what we now call a dual pair of operations. Appreciation of the resulting Boolean algebra was slow in coming, with Schroeder probably being the first. Some years later, Peano, the British logician William Johnson (the author of 3 masterly articles in the 1892 Mind on algebraic logic), and A. N. Whitehead who wrote the 1898 treatise Universal Algebra all saw the light. In 1904, Huntington's postulates finally set this house in order.

The more I read about mathematical logic, the greater my admiration for Alfred Tarski.

Source: Ivor Grattan-Guinness, 2000. The Search for Mathematical Roots. Princeton Univ. Press. Palnot (talk) 05:25, 21 January 2008 (UTC)
 * You seem to be confusing this topic with algebraic logic. Perhaps the article has been fixed with respect to most of the above since 2008 because I see no mention of Jevons, Peirce etc. in this article, as it should be. I wonder why Schröder is (still) mentioned though. Tijfo098 (talk) 09:04, 11 April 2011 (UTC)

AAL vs AAL
The entry in by Pigozzi on AAL in ISBN 1402001983 makes the following distinction:


 * Logistic abstract algebraic logic. This includes subsections on:
 * Algebraizable logics
 * The algebraic hierachy
 * Protoalgebraic logics
 * Second-order algebraizable logics
 * Semantics-based abstract algebraic logic: mainly the Hungarian school, main ref for this is ANDRÉKA, H., NÉMETI, I.: 'General algebraic logic: A perspective on "what is logic"', in D. GABBAY (ed.): What is a logical system?, Clarendon Press, 1994, pp. 485-569.

So perhaps the strange edit made two years ago can be clarified now. Tijfo098 (talk) 08:57, 11 April 2011 (UTC)

FYI
Andréka, Németi, and Ildikó have an upcoming book as well ISBN 3764385057, slated for Dec 2011. The new trendy thing is to use "universal" instead of "abstract". :-0 Tijfo098 (talk) 15:35, 12 April 2011 (UTC)

External links modified
Hello fellow Wikipedians,

I have just modified 1 one external link on Abstract algebraic logic. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:
 * Added archive https://web.archive.org/web/20100331085640/http://euclides.imub.ub.es/publications/preprints/pdf/font.pdf to http://euclides.imub.ub.es/publications/preprints/pdf/font.pdf

When you have finished reviewing my changes, please set the checked parameter below to true or failed to let others know (documentation at ).

Cheers.— InternetArchiveBot  (Report bug) 01:02, 3 October 2016 (UTC)