Matches in SemOpenAlex for { <https://semopenalex.org/work/W2986705004> ?p ?o ?g. }
- W2986705004 endingPage "146" @default.
- W2986705004 startingPage "137" @default.
- W2986705004 abstract "Modern logic emerged in the period from 1879 to the Second World War. In the post-war period what we know as classical first-order logic largely replaced traditional syllogistic logic in introductory textbooks, but the main development has been simply enormous growth: The publications of the Association for Symbolic Logic, the main professional organization for logicians, became ever thicker. While 1950 saw volume 15 of the Journal of Symbolic Logic, about 300 pages of articles and reviews and a six‑page member list, 2000 saw volume 65 of that journal, over 1,900 pages of articles, plus volume 6 of the Bulletin of Symbolic Logic, 570 pages of reviews and a sixty‑page member list. Of so large a field, the present survey will have to be ruthlessly selective, with no coverage of the history of informal or inductive logic, or of philosophy or historiography of logic, and slight coverage of applications. Remaining are five branches of pure, formal, deductive logic, four being the branches of mathematical logic recognized in Barwise 1977, first of many handbooks put out by academic publishers: set theory, model theory, recursion theory, proof theory. The fifth is philosophical logic, in one sense of that label, otherwise called non-classical logic, including extensions of and alternatives to textbook logic. For each branch, a brief review of pre‑war background will be followed by a few highlights of subsequent history. The references will be a mix of primary and secondary sources, landmark papers and survey articles." @default.
- W2986705004 created "2019-11-22" @default.
- W2986705004 creator A5081572957 @default.
- W2986705004 date "2019-11-21" @default.
- W2986705004 modified "2023-09-24" @default.
- W2986705004 title "Logic in the Second Half of the Twentieth Century" @default.
- W2986705004 cites W100795840 @default.
- W2986705004 cites W105331553 @default.
- W2986705004 cites W107842537 @default.
- W2986705004 cites W112549473 @default.
- W2986705004 cites W1130813267 @default.
- W2986705004 cites W113267838 @default.
- W2986705004 cites W115574310 @default.
- W2986705004 cites W1221281049 @default.
- W2986705004 cites W1242949352 @default.
- W2986705004 cites W136104088 @default.
- W2986705004 cites W138675467 @default.
- W2986705004 cites W1411059525 @default.
- W2986705004 cites W1448371773 @default.
- W2986705004 cites W1452948294 @default.
- W2986705004 cites W145296456 @default.
- W2986705004 cites W1479729289 @default.
- W2986705004 cites W1481693384 @default.
- W2986705004 cites W1481747966 @default.
- W2986705004 cites W1482831994 @default.
- W2986705004 cites W148297009 @default.
- W2986705004 cites W1483388411 @default.
- W2986705004 cites W1490353381 @default.
- W2986705004 cites W1493389450 @default.
- W2986705004 cites W1494117082 @default.
- W2986705004 cites W1494406788 @default.
- W2986705004 cites W1495358526 @default.
- W2986705004 cites W1495704559 @default.
- W2986705004 cites W1496452623 @default.
- W2986705004 cites W1498220451 @default.
- W2986705004 cites W1500458205 @default.
- W2986705004 cites W1501167482 @default.
- W2986705004 cites W150163802 @default.
- W2986705004 cites W1501648173 @default.
- W2986705004 cites W1501715376 @default.
- W2986705004 cites W1504354224 @default.
- W2986705004 cites W1504553351 @default.
- W2986705004 cites W1504816070 @default.
- W2986705004 cites W1504902748 @default.
- W2986705004 cites W1508544290 @default.
- W2986705004 cites W1508586537 @default.
- W2986705004 cites W1511918851 @default.
- W2986705004 cites W1512021950 @default.
- W2986705004 cites W1513317208 @default.
- W2986705004 cites W1514428340 @default.
- W2986705004 cites W1521895194 @default.
- W2986705004 cites W1522563101 @default.
- W2986705004 cites W1523997631 @default.
- W2986705004 cites W1529185139 @default.
- W2986705004 cites W1532394113 @default.
- W2986705004 cites W1533431876 @default.
- W2986705004 cites W1536327852 @default.
- W2986705004 cites W1542354743 @default.
- W2986705004 cites W1545288704 @default.
- W2986705004 cites W1548209426 @default.
- W2986705004 cites W1550777435 @default.
- W2986705004 cites W1550931295 @default.
- W2986705004 cites W1551233295 @default.
- W2986705004 cites W1551421493 @default.
- W2986705004 cites W1553393160 @default.
- W2986705004 cites W1556096785 @default.
- W2986705004 cites W1557283853 @default.
- W2986705004 cites W1560005003 @default.
- W2986705004 cites W1561689556 @default.
- W2986705004 cites W1565867458 @default.
- W2986705004 cites W1567396583 @default.
- W2986705004 cites W1570047706 @default.
- W2986705004 cites W1570481974 @default.
- W2986705004 cites W1572451808 @default.
- W2986705004 cites W1573673847 @default.
- W2986705004 cites W1577603283 @default.
- W2986705004 cites W1577632295 @default.
- W2986705004 cites W1579460974 @default.
- W2986705004 cites W1580149392 @default.
- W2986705004 cites W1582720929 @default.
- W2986705004 cites W158359155 @default.
- W2986705004 cites W1584783881 @default.
- W2986705004 cites W1585167623 @default.
- W2986705004 cites W1586002242 @default.
- W2986705004 cites W15885624 @default.
- W2986705004 cites W1593971581 @default.
- W2986705004 cites W1598845287 @default.
- W2986705004 cites W1600723512 @default.
- W2986705004 cites W1606469184 @default.
- W2986705004 cites W1636507682 @default.
- W2986705004 cites W1642558449 @default.
- W2986705004 cites W164446361 @default.
- W2986705004 cites W1655780134 @default.
- W2986705004 cites W168967832 @default.
- W2986705004 cites W1706576215 @default.
- W2986705004 cites W1717065353 @default.
- W2986705004 cites W178384805 @default.
- W2986705004 cites W179876105 @default.