User: Chalst

From open-encyclopedia.com - the free encyclopedia.

I'm Charles Stewart, but not the only one. I'm a logician, interested in proof theory, semantics of logic, modal logic and applications of logic to computer science and programming. Some of my home pages:

At wikimedia sites: wikisource, and meta-wiki;
At other wikis: CLiki, c2.com, The Scheme Wiliki at schemewiki.org;
Around the web: Advogato home or Academic home.

Hi to Rzach, CSTAR, siroχo, EJ, Leibniz, Dominus, The Cunctator, Kaustus, Charles Matthews and Cohesion.

I'm a participant in the excellent Wikipedia:WikiProject Mathematics, and the rather less successful Wikipedia:WikiProject Philosophy. I've begun the making of a case for a WikiProject Logic.

Contents

1 Main goals

2 Reminders list

3 Some major edits

3.1 Logic, mathematics, computer science and philosophy
3.2 Economics
3.3 Music
3.4 Miscellaneous

4 Snippets

Main goals

Sort out Logic, Proof theory, Structural proof theory and Modal logic pages;
Improve coherence and terminology across pages in Category:Logic, Category:Philosophical logic and especially Category:Mathematical logic categories and Category:Logic in computer science.

Reminders list

Anti-Islamism and Islamophobia: describe dispute on Wikipedia:Duplicate articles ---- 12 Nov 2004
Do something about the mess in validity and soundness ---- 28 Oct 2004

Add pages subformula property, interpolation theorem/Craig's interpolation lemma ---- 18 Aug 2004
Add pages logical harmony and verificationist/verificationism ---- 19 Aug 2004
Logic:
1. Figure out what to do with Dialectical logic ---- 26 Aug 2004;
2. Preamble&terminology ---- 31 Aug 2004;
3. Paradoxes of implication, monotonicity (logical) ---- 20 Oct 2004;
4. Philosophical realism and bivalence and realism ---- 14 Nov 2004
Integrate overlap between game semantics, logical argument, and semantics of logic ---- 30 Aug 2004
Make dynamic logic intelligible. ---- 12 Nov 2004
Template for alternate categories (thanks to JesseW) ---- 20:32, 12 Nov 2004 (UTC)
Merge:
1. Category:Turing Award Laureate into Category:Turing Award Laureate; and
2. Category:Nobel Prize winners into Category:Nobel laureates. ---- 17 Nov 2004
Geometric logic, Boolean relation theory, Stone spaces, and Equilogical spaces ---- 17 Nov 2004
Mass and count constructons needed in Quantification ---- 20 Nov 2004
Equational logic, order-sorted logic, and rewriting logic ---- 7 Dec 2004

Some major edits

Logic, mathematics, computer science and philosophy

Economics

Music

Miscellaneous

Christopher Hitchens 19 Nov 2004 — this edit, adding the section His political journey, has attracted 26 further edits by 17 editors in 15 days!
Waynflete Professorships 9-10 Nov 2004
Dyson Perrins Laboratory (begun 10 Nov 2004)
Glorantha 24 Aug - 1 Sep 2004

Snippets

User:VeryVerily/Conflicting Wikipedia philosophies; my meta-editing position in those terms are:
- Moderate eventualist; though I agree with some of both moderate immediatist and extreme eventualist positions, so high waffle factor;
- Moderate Statusquoist (established articles are traditions, they have inertia that the wise tackle on the talk pages first);
- Encyclopedist: community is important, but it subordinate to the informational mission;
- Authorist: first providers of content have an understanding of what they have said that normally deserves consideration;
- Rehabilist: trolls should be dealt with decisively, but immature and POV contributors too often get coloured as trolls;
- WikiPacifist: there is never a good reason for breaking the 3rv rule.
/guide/New_Haven

Open Encyclopedia