Psychological research on people’s understanding of natural language connectives has traditionally used truth table tasks, in which participants evaluate the truth or falsity of a compound sentence given the truth or falsity of its components in the framework of propositional logic. One perplexing result concerned the indicative conditional if A then C which was often evaluated as true when A and C are true, false when A is true and C is false but irrelevant“ (devoid of value) when A is (...) false (whatever the value of C). This was called the “psychological defective table of the conditional.” Here we show that far from being anomalous the “defective” table pattern reveals a coherent semantics for the basic connectives of natural language in a trivalent framework. This was done by establishing participants’ truth tables for negation, conjunction, disjunction, conditional, and biconditional, when they were presented with statements that could be certainly true, certainly false, or neither. We review systems of three-valued tables from logic, linguistics, foundations of quantum mechanics, philosophical logic, and artificial intelligence, to see whether one of these systems adequately describes people’s interpretations of natural language connectives. We find that de Finetti’s (1936/1995) three-valued system is the best approximation to participants’ truth tables. (shrink)

In the paper it is shown that every physically sound Birkhoff – von Neumann quantum logic, i.e., an orthomodular partially ordered set with an ordering set of probability measures can be treated as partial infinite-valued Łukasiewicz logic, which unifies two competing approaches: the many-valued, and the two-valued but non-distributive, which have co-existed in the quantum logic theory since its very beginning.

There is a new Bayesian, or probabilistic, paradigm in the psychology of reasoning, with new psychological accounts of the indicative conditional of natural language. In psychological experiments in this new paradigm, people judge that the probability of the indicative conditional, P(if A then C), is the conditional probability of C given A, P(C | A). In other experiments, participants respond with what has been called the 'de- fective' truth table: they judge that if A then C is true when A (...) holds and C holds, is false when A holds and C does not, and is neither true nor false when A does not hold. We argue that these responses are not 'defective' in any negative sense, as many psychologists have implied. We point out that a number of normative researchers, including de Finetti, have proposed such a table for various coherent interpretations of the third value. We review the relevant general tables in the normative literature, in which there is a third value for A and C and the logically compound forms of the natural language conditional, negation, conjunction, disjunction, and the material conditional. We describe the results of an experiment on which of these tables best describes ordinary people's judgements when the third value is interpreted as indicating uncertainty. (shrink)

Hardly any other problem has been discussed more than that of the status of time in modem physics. This is only natural since there are not many other more important problems in philosophy of science and in philosophy in general. There are also few other areas where controversies as well as confusion were more frequent. This is true not only of popular and semi-popular expositions of the Minkowski concept of space-time but also of a number of its philosophical interpretations. Generally (...) we do not find anything of this kind in the writings of physicists, at least as long as they confine themselves to strictly mathematical and physical expositions; but when they sometimes venture beyond a strictly mathematical approach, they often do not escape certain unconscious or semi-conscious prejudices which are contrary not only to the spirit but sometimes even to the letter of relativity. The true significance of the relativistic fusion of space and time can be understood only when we contrast it with its classical counterpart, i.e., with what may be called the Newtonian space-time. Only on such a contrasting background will the revolutionary meaning of the new concept clearly stand out. (shrink)

In this paper, I defend a theory of local temporality, sometimes referred to as a point-present theory. This theory has the great advantage that it allows for the possibility of an open future without requiring any alterations to our standard understanding of special relativity. Such theories, however, have regularly been rejected out of hand as metaphysically incoherent. After surveying the debate, I argue that such a transformation of temporal concepts (i) is suggested by the indexical semantics of tense in a (...) relativistic universe, (ii) when properly understood easily withstands the usual accusations of metaphysical incoherence and (iii) leads naturally to a meta-philosophical position from which we can understand and escape the increasing sterility of debates between radical Parmenideans and radical Heracliteans in the philosophy of time. (shrink)

The article explores the strategy of reconciliation of the idea of objective flow of time with science. In the first part of my paper, I analyze different conceptions of the passage of time and ponder on how we should understand it. The second part is de-voted to the problem whether there is the passage of time in science.

Following Lukasiewicz, we argue that future non-certain events should be described with the use of many-valued, not 2-valued logic. The Greenberger - Horne - Zeilinger 'paradox' is shown to be an artifact caused by unjustified use of 2-valued logic while considering results of future non-certain events. Description of properties of quantum objects before they are measured should be performed with the use of propositional functions that form a particular model of infinitely-valued Lukasiewicz logic. This model is distinguished by specific operations (...) of negation, conjunction and disjunction that are used in it. (shrink)