metathought.blogspot.com
Metathought: May 2005
http://metathought.blogspot.com/2005_05_01_archive.html
Impressionist Snapshots of Cognitive Life. Wednesday, May 18, 2005. It's been a good long while. I thought on Monday that I'd come up with a new form of disjunctivism about perception, but it turned out that I was making a use/mention error. (Frankly, I'm rather inclinded to believe Michael Thau's Consciousness and Cognition. Posted by Naxos "Nat" Simeon at 11:10 PM. Saturday, May 14, 2005. Confessions of a Realist. I hope this isn't too obscure. As Alex suggests. Posted by Naxos "Nat" Simeon at 2:17 PM.
recordmymind.blogspot.com
Record My Mind: Banal Records of a Pedestrian Life: Moving Blog
http://recordmymind.blogspot.com/2005/05/moving-blog.html
Record My Mind: Banal Records of a Pedestrian Life. Suffering and evil overwhelm me and I stew in my own juice. Is Your Illness All In the Mind? Why I blog so little about my personal life. Seneca on time management and death. Which Obsolete Skill Are You? New Place In Town: Eski Bar. Thoughts arguments and rants. Lingustic semantics preprint archive. Logic and language links. Meta-resource: logic and foundations math. Log - david chess. People in logical semantics. Kai von fintel: semantics resource web.
recordmymind.blogspot.com
Record My Mind: Banal Records of a Pedestrian Life: June 2004
http://recordmymind.blogspot.com/2004_06_01_archive.html
Record My Mind: Banal Records of a Pedestrian Life. Suffering and evil overwhelm me and I stew in my own juice. Is Your Illness All In the Mind? Why I blog so little about my personal life. Seneca on time management and death. Which Obsolete Skill Are You? Thoughts arguments and rants. Lingustic semantics preprint archive. Logic and language links. Meta-resource: logic and foundations math. Log - david chess. People in logical semantics. Kai von fintel: semantics resource web. Life hacks: life hacker.
ideasofimperfection.blogspot.com
Ideas of Imperfection: A Critique of Rawls
http://ideasofimperfection.blogspot.com/2008/04/critique-of-rawls.html
Tuesday, April 01, 2008. A Critique of Rawls. 1921-2002) is to be revered primarily for two doctrines: his conception of justice as fairness, and the proposition that baseball is the best of all games. There is no longer an opening day, but in this opening week it seems apt to consider his arguments for the latter. There are six:. 1845: pitching distance is 45'. 1865-9: pitcher's box introduced and modified year to year. 1872: pitcher allowed to snap the ball but must still throw underhand. Not to mentio...
ideasofimperfection.blogspot.com
Ideas of Imperfection: March 2005
http://ideasofimperfection.blogspot.com/2005_03_01_archive.html
Monday, March 28, 2005. Although she begins with "bad writing" in general a. Article about the infamous. Not the thing itself Garber's. Final chapter is meant to have a narrower topic: jargon, or "terms of art". Philosophers are often accused of going in for such things in a bad way, and so I read the chapter for thoughts on a defence or critique of the practice, which would have to turn, I think, on the question: what philosophy (or Garber's. So, at any rate, I imagine the charge. Garber does not ad...
thatlogicblog.blogspot.com
That Logic Blog: Centres
http://thatlogicblog.blogspot.com/2006/05/centres.html
May 02, 2006. And I have a preprint out! Restricted exchange, braidings and the monoidal centre. Jonathan A. Cohen and Craig A. Pastro. Posted by Jon @ 10:40 PM. The motivation for this suggestion is by analogy with the ordinary linear logic! Modality: one characterisation of a linear exponential comonad is as a monoidal comonad such that the tensor product on the category of coalgebras is actually a categorical product, i.e. naturally has weakening and contraction.). Bulletin of Symbolic Logic.
thatlogicblog.blogspot.com
That Logic Blog: August 2005
http://thatlogicblog.blogspot.com/2005_08_01_archive.html
August 26, 2005. Take a category. Now add a tensor product. Slap in a unit for the tensor product. Add a dose of associativity for the tensor product. While you're at it, stir in some commutativity also. Fold in some diagrams saying that the associativity, commutativity and unit behave properly. What you have now is a symmetric. This is the basic building block for making categorical semantics of substructural logics such as, say, linear logic. Then they ran into a bit of a problem. Sure,. Now, via Kreis...
thatlogicblog.blogspot.com
That Logic Blog: Invariants (preprint)
http://thatlogicblog.blogspot.com/2008/02/invariants-preprint.html
February 26, 2008. I seem to have been on a bit of a blogging hiatus for a bit, while trying to get some research done. In this slightly self-indulgent post, I want to talk about some work I've done linking up a few things from universal algebra, category theory and combinatorial group theory. I've been thinking a bit about invariants for logics and related things. That is, given two logics L and L', we wish to construct gadgets I(L) and I(L') that are isomorphic whenever L and L' are equivalent. In some...
thatlogicblog.blogspot.com
That Logic Blog: May 2005
http://thatlogicblog.blogspot.com/2005_05_01_archive.html
May 24, 2005. Let X be a set of these sorts of relations. Then, the "Schaefer Dichotomy Theorem" says that deciding whether the constraint problem for X is satisfiable is in P if and only if one of the folloing conditions holds:. 1) Every relation in X contains a tuple in which all entries are 0. 2) Every relation in X contains a tuple in which all entries are 1. 3) Every relation in X is definable by a conjunction of horn clauses. 5) Every relation in X is definable by a 2-CNF formula. They state Schaef...
thatlogicblog.blogspot.com
That Logic Blog: Meaning via Proofs
http://thatlogicblog.blogspot.com/2006/07/meaning-via-proofs.html
July 07, 2006. Verificationism is the idea, popular amongst the logical positivists, that the meaning of a sentence is to be equated with the method used to establish it. That is, a statement is true if and only if we can, in principle, verify its truth or if it is analytic, which is to say that it is true by definition. This sort of explanation seems to give the impression that semantics precedes syntax. This procedure. That is, suppose we already know. Verification is dual to construction. So, the inve...