User:Chalst/tasks

1. Finish Draft:John Yates (Culadasa) and promote. — Apr 2025
2. Explain distinction between internal and external nodes in the article 2-3-4 tree before the two sorts are used — Mar 2025
3. Put in refs on Talk:Randal Rauser#Canaanite genocide. — Charles Stewart (talk) 18:34, 1 February 2022 (UTC)
4. Create article Lawverean set theory covering ETCS and Leinster's and link to it from William Lawvere; cf. [https://arxiv.org/abs/1212.6543 Rethinking set theory] ([https://www.maa.org/programs-and-communities/member-communities/maa-awards/writing-awards/chauvenet-prizes Chauvenet prize]). -- Mar 2020
5. Write history section for First-order logic -- Apr 2017
6. Explain significance of Gaussian copula function in the financial meltdown -- Mar 2017
7. Flesh out Roger Salmon (banker) and ensure that it is appropriately linked to -- Mar 2017
8. Promote use of Wikipedia:WikiProject Logic/To do as way of coordinating work on logic tasks -- Mar 2017
9. Nominate best articles in scope of Boolean algebra taskforce for good article status. Need to fix Boolean algebra (structure) -- May 2016
10. Fix the mess that is Principle of bivalence -- May 2016
11. Create article Vending machine (process theory), cf. Process theory -- Jun 2009
12. Linear logic - semantics section, Hopf algebra and [http://www.site.uottawa.ca/~phil/papers/catsurv.web.pdf Category Theory for Linear Logicians] -- Jul 2009
13. Second-order logic: change talk of standard semantics to set-theoretic semantics, and contrast to the dependence of Henkin semantics on simply-typed lambda-calculus -- Apr 2009
14. Another round of surgery on Paradoxes of material implication‎, see Talk:Paradoxes of material implication‎. -- Mar 2009
15. Add discussion of fan theorem to bar induction, cf. [http://www.maths.leeds.ac.uk/pure/staff/rathjen/CZF_BID.pdf Rathjen] -- Mar 2009
16. Alasdair Macintyre: fact check [http://www.londonsocialisthistorians.org/newsletter/articles.pl/noframes/read/151 londonsocialisthistorians.org], look for other accts. Mar 2009
17. Sort out intensional logic, start Imre Rusze [http://philosophy.elte.hu/logic/nekrolog.html (obit)], ask User:Physis -- May 2009
18. Add institute to Robert von Ostertag -- May 2009

And see Wikipedia:WikiProject Logic/To do

• Resources
• #Corrado Böhm

• Troelstra, 1992, [http://staff.science.uva.nl/~anne/hhhist.pdf Hist. of constructivisms in C20th]: talks of 4 schools, success of Bishop's school 'winning'.
• Refs
• Terwijn, 2006, [http://staff.science.uva.nl/~terwijn/publications/ndjflplain.pdf Constructive logic and the Medvedev lattice]
• Kolmogorov, 1932, 'On the interpretation of intuitionistic logic'
• Yuri Medvedev, 1955, 'Degrees of difficulty of mass problems' (Doklady Akademii Nauk SSSR, 104/4:501--504),
• Yuri Medvedev, 1962, 'Finite problems' (Doklady Akademii Nauk SSSR, 142:1015--1018)

• Sort out mess per Talk:Hilbert system
• Integrate discussion of key applications of HSs:
• #equational logic & quantification per [http://www.cse.yorku.ca/techreports/1998/CS-1998-09.pdf Basic formal equational predicate logic], and interaction with Uniform Substitution
• #Modal logic & Hilbert-Lewis systems
• #"Natural" deduction, based on metarules

• Integrate discussion of Hilbert's finitism into Hilbert's second problem, based on (Zach 2009). -- Feb 2009
• Improve discussion in finitism -- Feb 2009
• Resources
• #(Zach 2001) http://www.ucalgary.ca/~rzach/static/hilbert.pdf
• #Talk:Hilbert's problems/Archive1 - discussion about Hilbert's 2nd with User:Trovatore

• Key figures before Tarski: Alexander Bain, George Boole, Hugh MacColl, Ernst Schröder, Charles S. Pierce, Christine Ladd-Franklin, William Stanley Jevons, John Venn, Platon Sergeevich Poretskii, John Stuart Mill, Robert Grassmann
• Resources
• [http://www.hf.uio.no/filosofi/njpl/vol3no1/algbrlog/algbrlog.html Hugh MacColl and the German Algebra of Logic] Volker Peckhaus

• Merge Boole's syllogistic into LoT. Points from Talk:Boole's syllogistic:
• # Boole did not propose a separate syllogistic calculus, rather what he proposed was an interpretation of syllogistic into his algebra. There are a few accounts of the interpretation on the web, of which (Burris 2001) is perhaps the best.
• # The current article is talking about how this interpretation proposes a resolution to the problem of existential import (see square of opposition), one incompatible with Aristotle assertions. One of the many problems with the article as it stands is that it isn't clear that that is what it is doing. I suppose no one else is going to fix it but me: I'll get around to it...
• # Naturally this calculus is propositional logic and not predicate logic. The embedding of syllogistic into propositional logic shows that syllogistic corresponds to a very weak fragment of predicate logic.
• Resources
• #Boole, G. (1850). [http://www.gutenberg.org/etext/15114 Gutenberg text of Laws of Thought]
• #Burris, Stanley (2000). [http://www.math.uwaterloo.ca/~snburris/htdocs/MYWORKS/PREPRINTS/aboole.pdf The Laws of Boole's Thought].
• #Burris, Stanley (2001). [http://www.math.uwaterloo.ca/~snburris/htdocs/MYWORKS/SYLL/syll.pdf A Fragment of Boole's Algebraic Logic Suitable for Traditional Syllogistic Logic].
• #Hailperin, T. (1976/1986). Boole's Logic and Probability. North Holland.
• #Hailperin, T. (1981). Boole’s algebra isn’t Boolean algebra. Mathematics Magazine 54:172–184. Reprinted in A Boole Anthology, ed. by James Gasser. Synthese Library volume 291. Springer 2000.
• Stanley Burris' [http://www.math.uwaterloo.ca/~snburris/htdocs/history.html bibliography on the history of mathematical logic].

• [http://logicae.usal.es/mara/ Maria Manzano] (2005). Extensions of first-order logic. In Cambridge Tracts in Theoretical Computer Science 19, CUP.
• [http://www.pms.ifi.lmu.de/mitarbeiter/ohlbach/homepage/publications/MISC/manzano/manzano.pdf Review (1998) in JoLLI] by Hans Jürgen Ohlbach.
• [http://www.cs.nyu.edu/pipermail/fom/2000-August/004209.html Book recommendation] by Joe Shipman, on FOM.
• Meinke & Tucker's "Many Sorted Logic and Its Applications"
• [http://www.cs.nyu.edu/pipermail/fom/2006-March/010213.html John Tucker's post on FOM] on the reduction of many-sorted to first-order logic.

1. Farm out Stoic logic from history of logic
2. Summarise Sect 3.5 of [http://plato.stanford.edu/entries/lvov-warsaw/ SEP:lvon-warsaw] Lukasiewicz on Stoic logic as a system of rules, and section 3.3 on bivalence.
3. Refs
4. * [http://plato.stanford.edu/entries/logic-ancient/#Sto SEP article on ancient logic]

• Do something about the mess in validity and soundness --- 28 Oct 2004
• Mass and count constructons needed in Quantification ---- 20 Nov 2004
• Sort out Principle of bivalence -- Mar 2009

• Hartman's "The Structure of Value", axiom of value;
• Rebuschi (2008). Czeżowski's axiological concepts as full-fledged modalities:
• http://hal.archives-ouvertes.fr/docs/00/35/17/29/PDF/Rebuschi08_Czezowski_sAxiologicalConcepts.pdf

• Literary section on logic (date=June 2009)

• Kripke semantics: canonical model constructions due to (Makinson 1970) "On some completeness theorems in modal logic"
• Neighbourhood models

• Add pages subformula property -- 18 Aug 2004
• Harmony:
• #Add pages logical harmony and verificationist/verificationism ---- 19 Aug 2004
• #Incorporate [http://tar.weatherson.net/archives/004211.html] [http://www.weatherson.net/mt/bjw-comments.cgi?entry_id=4211]

• Integrate overlap between game semantics, logical argument, and semantics of logic ---- 30 Aug 2004
• Geometric logic, Boolean relation theory, Stone spaces, and Equilogical spaces ---- 17 Nov 2004
• Equational logic, order-sorted logic, and rewriting logic ---- 7 Dec 2004

• Make dynamic logic intelligible. ---- 12 Nov 2004
• Branching quantifier

1. Make list of logic articles of joint concern to maths & philosophy, reply to GregBard -- Feb 2009
2. Start with: modal logic, predicate logic, soundness, completeness, Hilbert system
3. What standards do we want for these articles? How about elementary formal reasoning, sufficient for detailed discussion of soundness theorem & deduction theorem, but not as much as needed for completeness theorem?

1. Raph Levien: incorporate material on remailers (see talk) --- Mar 2007

• Representation theorem: From [http://www.cs.vu.nl/res/theses/bonsangue_thesis.ps Topological Dualities in Semantics] (Marcello M. Bonsangue):

:In order to show that the axioms of the class of algebras we consider capture exactly the collection of predicates we have in mind, a representation theorem is necessary. A representation theorem is a correspondence between an abstract algebra and its set-theoretical model. The first representation theorem is due to Cayley [Cay78] showing that every abstract group is isomorphic to a concrete group of permutations. A representation theorem for the algebra of all predicates was first proved by Lindenbaum and Tarski [Tar35]. They proved that a Boolean algebra is isomorphic to the collection of all subsets of some set if and only if it is complete and atomic. This general result restricts the class of Boolean algebras for which a concrete representation exists. It was Stone [Sto36] who first saw a connection between algebra and topology. He constructed from a Boolean algebra a set of points using prime ideals which can be made into a topological space in a natural way. Conversely, using a topology on a set of points he was able to construct a Boolean algebra. For certain topological spaces (later called Stone spaces) these constructions give an isomorphism. In a later paper [Sto37], Stone generalized this correspondence from Stone spaces to spectral spaces and from Boolean algebras to distributive lattices. Hofmann and Keimel [HK72] described the Stone representation theorem in a categorical framework showing a duality between the category of Boolean algebras and a sub-category of topological spaces. A representation theorem for Boolean algebras with operators has been considered by J'onsson and Tarski [JT51, JT52]. By means of an extension theorem they proved that operators on a Boolean algebra can be naturally extended to completely additive operators on a complete and atomic Boolean algebra.

:Stone's representation theorem leaves open the problem of finding an abstract characterization of topological spaces. For every topological space, its lattice of open sets forms a frame. This fact leads Papert and Papert [PP58] to a representation theorem between spatial frames and sober spaces. Even further, Isbell [Isb72a] gives an adjunction between the category of topological spaces with continuous functions and the opposite category of frames with frame homomorphisms. This adjunction yields a duality between the category of sober spaces and the category of spatial frames.

• LISPy things:
• #LISP macro systems: namespace issues from [http://www.nhplace.com/kent/Papers/Technical-Issues.html RPG's Technical Issues of Separation] paper, history of macros (MacLisp, etc.), CL macros (DEFMACRO, FLET), Hygiene (Kohlbecker's algorithm, syntactic closures, macros that work, R4RS syntax-rules, syntax-case) ---- 15 Dec 2004
• #LISP object systems: message passing vs. generic functions, MOPs (see [http://www2.parc.com/csl/groups/sda/projects/mops/existing-mops.html list of current MOPs]), Flavors, CommonLOOPS, RPG's CLOS paper [http://www.complang.org/Stklos_clos-9005455-5361-a.html Alex Shinn's summary], SICP objects are closures approach, scheme object systems (see [http://www-2.cs.cmu.edu/Groups/AI/lang/scheme/oop/0.html CMU Scheme OO directory]), Dylan's object system (see [http://www.gwydiondylan.org/gdref/tutorial/ Kidd's tutorial], multiple inheritance [http://www.webcom.com/haahr/dylan/linearization-oopsla96.html superclass linearization proposal], compilation issues ---- 15 Dec 4004

• User:Chalst/Classical Curry Howard
• User:Chalst/islamofascism