User:Chalst

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: de.wikipedia.orgwikisource , and meta-wiki ;
• At other wikis: Proof and Counterexample, CLiki, c2.com, The Scheme Wiliki at schemewiki.org;
• Around the web: Advogato home or Academic home.

Hi to Rzach, CSTAR, SlimVirgin, The Cunctator, Kaustus, Charles Matthews, Avriette, Cohesion, Mel Etitis, Dominus,and Raph Levien (article|profile). I've personally run into some editors whose editing activity disturbs me, most particularly that of the industrious and apparently neo-nazi User:Schlesier.

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.

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

Main page: /tasks

Do soon!

1. List of political epithets: farm out most of Islamofascism ---- 18 Mar 2005
2. Farm out far-from-important reminders 18 Mar 2005
3. Do something about the mess in validity and soundness ---- 28 Oct 2004
4. 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

Not so urgent

Not so urgent tasks are on /tasks.

Suggesting tasks

If you would like to suggest something in the logic on theoretic computer science pages I would likely be able and happy to tackle, leave me a note.

Some major edits

Logic, mathematics, computer science and philosophy

• Is logic empirical? new@14 Nov 2004
• Dana Scott 10 Nov 2004
• Logic
  1. 14 Nov 2004
  2. 20-22 Oct 2004
  3. 26 Aug 2004
  4. 22 Aug 2004
• Proof theory
  1. 25 Aug 2004
  2. 22 Sep 2004
• Structural proof theory
  1. 7 Dec 2004
  2. Start-22 Sep 2004
• Maximal consistent set start@13 Oct 2004
• Gerhard Gentzen 18-25 Aug 2004

• Inferential role semantics start-18 Aug 2004
• Semantics of logic start-19 Aug 2004
• Cut-elimination theorem start:18 Aug 2004
• Formal semantics of programming languages 18 Aug 2004

Academia

• Stanford Encyclopedia of Philosophy 9 Feb 2005
• Waynflete Professorships 9-10 Nov 2004
• Dyson Perrins Laboratory (begun 10 Nov 2004)

Politics, Economics, Journalism and Ideology

• Neo-Ricardian school 12 Aug 2004
• Piero Sraffa 12 Aug 2004
• Christopher Hitchens 19 Nov 2004 — this edit, adding the section His political journey, has attracted 26 further edits by 17 editors in 15 days!

Music

• Independent music ethos 13 Oct 2004
• Electrical Audio 22 Sep 2004
• Killdozer 31 Aug 2004
• Big Black 25 Aug 2004
• Steve Albini 25 Aug 2004
• Ruthless Records start-25 Aug 2004
• Touch and Go Records start@25 Aug 2004

Miscellaneous

• Glorantha 24 Aug - 1 Sep 2004

My edit count can be found at Kate's edit counter.

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.
• /conferences Coming conferences, workshops and meetings in my reserach area
• /funding
• /guide/New_Haven
• /islamofascism Who coined the term islamofascism?