Nagase

We're not just studying behavior, we're studying the content and structure of people's mental architecture. For example, current psychologists think t...

Well, perhaps you and I have had different experiences and, as a result, different expectations. I certainly didn't learn, before reading the relevant...

Notice that there are other ways of measuring things than just by directly observing them. For example, we do not directly observe forces, but we can ...

Currently, aside from math/logic textbooks, I'm reading a lot of cognitive psychology, especially the Oxford Series in Cognitive Development. I've jus...

I don't mind discussing Kant's theory of intuition or his conception of things in themselves, but I don't want to hijack this thread (specially since ...

I'm not following (perhaps you're already regretting your statement?). Let us suppose, with Kant, that space and time are the form of our intuition, a...

Nonlinear reasoning does not avoid circular reasoning; it argues that, in some cases, it is both unavoidable and not vicious (or, perhaps, more positi...

Thanks for the compliment (I think it was a compliment?)! As for Kant, I'm not sure I understand your point. Yes, for Kant, space and time are imposed...

If your beef is exclusively with modus ponens, then rest assured that it is dispensable (well, sort of, for some systems). But that does not seem to b...

If that is your definition of justified, then modus ponens is entirely justified, since it always takes us from true beliefs to true beliefs. For supp...

In that case, I don't have much more to add.

Here is why I think the analogy is poor: for Lewis, "actual" is an indexical, because it is short for "in this space-time continuum". So, from the poi...

I don't think the positions are analogous at all. Lewis can say that other worlds are real because he is assuming that to be a real world is to be a c...

As I said in my reply above, I don't think platonists need to be saddled with such Cartesianism. There would be such a need if they thought there is a...

I don't think most platonists would recognize the need for any relationship between actual, concrete objects and abstract objects, at least not in thi...

Incidentally, for what is worth, I would highly object to treating logic as dealing with relations between "ideas" or laws of thought, or whatever. Th...

A couple of quick comments: (1) Your theory of mood is very similar to the way most formal semanticists treat mood. Already Lewis in his "General Sema...

When faced with canonical works such as Aristotle's Metaphysics, I generally turn to the secondary literature for help. Fortunately, in this day and a...

But positing a "hidden hand" is just another way of saying that you believe that there is a structural feature of chess which explains the correlation...

Well, statistics is a branch of mathematics, so... Nevertheless, here is another way of formulating my worry. The statistics you provided show a corre...

A proof is a sequence of statements each of which is justified by appeal to an axiom or to some previously justified (i.e. proved) statement. Statisti...

Again, statistics are irrelevant for a mathematical proof that white has a winning strategy! I don't know what else to say in this regard.

First, the psychological conditions of the players are irrelevant. Either there is, or there isn't a winning strategy. This can be determined entirely...

But it is not a matter of statistics, it is a matter of whether there is a winning strategy or not. For all we know about chess, maybe white has a win...

But we don't know whether it is white that has the winning strategy. It may be black (or neither).

I've already replied to this in my second post in this thread: one of the players may be able to force the other to perform certain moves, or perhaps ...

I really don't understand what you're getting at. What exactly is your point?

Reject the pact or reject the applicability of game theory? In any case, as with any mathematical formalism, game theory provides an ideal model of ce...

No, it does not help at all. I'm beginning to lose track of what is your point. At first, I thought you were (erroneously) claiming that there can be ...

I suppose there could be other motives, such as boredom, incredulity, or simply to better understand why you can't win. Incidentally, note that the ex...

Sorry for being dense, but I don't understand what property you're referring to in your last post. It seems to be talking about conditions for a game ...

What is the reference of "this"?

If there is a deterministic game of perfect information with a winning strategy for one of the players, then, a fortiori, there is a deterministic gam...

Well, it is wrong, if it is implying that no deterministic game of perfect information can have a winning strategy for one of the players; indeed, I j...

For what it's worth, Hex is a game with a winning strategy for the first-player, but which is both mathematically interesting (apparently the existenc...

The definition of exponentiation provided is that of cardinal exponentiation, in that it takes two cardinals and gives back a cardinal. So it must ind...

Notice that is working with the set-theoretical representatives of the natural numbers, i.e. the finite von Neumann ordinals, in which each ordinal is...

I haven't read Scruton, but my bet would be that he is referring to Dummett's well-known (and controversial) anti-realist arguments that take as basis...

In the remarks you quote, I had in mind transitive models. My bad for not making that clearer.

If you consider NBG as a two-sorted theory, and take the lower case variables to range over sets, then there's no need to revise my statement, since i...

Let's recap the discussion. I mentioned that the universes of ZF-Inf are all infinite, and remarked that this easily followed from the Power Set axiom...

For more on the limitation of size idea, I strongly recommend reading the summary in Incurvati's book. Still, here are two ways of making the idea mor...

Happily, public universities are free in Brazil, so it is possible here to obtain higher education without incurring in large debt! I'm not sure what ...

Here's an attempt at making this terminological situation more precise. Perhaps we should distinguish two senses of proper class. In the absolute sens...

You're welcome! As for my own stance, well, this is completely unrelated to the thread at hand, and is rather complicated. I think truth-theoretical s...

Yes, I think so.

The end result of the derivation is not a proposition, it is a sentence stating a truth-condition. In the case of "I am hungry", we have (simplifying)...

I'm not sure I understand your point. The axioms are meant to be interpretive, that is, they are meant to reflect the real understanding that speakers...

I'm not sure what your doubt is. Some semantical theories make use of propositions in stating the meanings of sentences. For example, both (a time sli...

It is substantially different because it makes no mention of intensional entities such as propositions...