This paper explores trivalent truth conditions for indicative conditionals, examining the “defective” truth table proposed by de Finetti and Reichenbach. On their approach, a conditional takes the value of its consequent whenever its antecedent is true, and the value Indeterminate otherwise. Here we deal with the problem of selecting an adequate notion of validity for this conditional. We show that all standard validity schemes based on de Finetti’s table come with some problems, and highlight two ways out of the predicament: (...) one pairs de Finetti’s conditional with validity as the preservation of non-false values, but at the expense of Modus Ponens; the other modifies de Finetti’s table to restore Modus Ponens. In Part I of this paper, we present both alternatives, with specific attention to a variant of de Finetti’s table proposed by Cooper and Cantwell. In Part II, we give an in-depth treatment of the proof theory of the resulting logics, DF/TT and CC/TT: both are connexive logics, but with significantly different algebraic properties. (shrink)

This paper develops a trivalent semantics for the truth conditions and the probability of the natural language indicative conditional. Our framework rests on trivalent truth conditions first proposed by Cooper (1968) and Belnap (1973) and it yields two logics of conditional reasoning: (i) a logic C of certainty-preserving inference; and (ii) a logic U for uncertain reasoning that preserves the probability of the premises. We show systematic correspondences between trivalent and probabilistic representations of inferences in either framework, and we use (...) the distinction between the two systems to cast light on the validity of inferences such as Modus Ponens, Or-To-If, and Conditional Excluded Middle. Specifically, the conditional behaves monotonically in C, but non-monotonically in U; Modus Ponens is valid in C, but valid in U only for non-nested conditionals. The result is a unified account of the semantics and epistemology of indicative conditionals that can be fruitfully applied to analyzing the validity of conditional inferences. (shrink)

This paper develops a trivalent semantics for indicative conditionals and extends it to a probabilistic theory of valid inference and inductive learning with conditionals. On this account, (i) all complex conditionals can be rephrased as simple conditionals, connecting our account to Adams's theory of p-valid inference; (ii) we obtain Stalnaker's Thesis as a theorem while avoiding the well-known triviality results; (iii) we generalize Bayesian conditionalization to an updating principle for conditional sentences. The final result is a unified semantic and probabilistic (...) theory of conditionals with attractive results and predictions. (shrink)

In Part I of this paper, we identified and compared various schemes for trivalent truth conditions for indicative conditionals, most notably the proposals by de Finetti and Reichenbach on the one hand, and by Cooper and Cantwell on the other. Here we provide the proof theory for the resulting logics DF/TT and CC/TT, using tableau calculi and sequent calculi, and proving soundness and completeness results. Then we turn to the algebraic semantics, where both logics have substantive limitations: DF/TT allows for (...) algebraic completeness, but not for the construction of a canonical model, while CC/TT fails the construction of a Lindenbaum-Tarski algebra. With these results in mind, we draw up the balance and sketch future research projects. (shrink)

L’art de Magritte témoigne du destin icono-logique de l’Homme, qui se joue aujourd’hui sur la pointe de l’Occident écartelé entre l’art sacré byzantin et l’art mourant contemporain. Cette lucidité anachronique a généré des contresens, qu’il a cherché à dissiper en écrivant à Michel Foucault : « Ceci n’est pas une pipe vaut “L’homme est un animal malade” ». Son art agnostique exprime la connaturalité iconique perdue ou retrouvée du Logos et du Monde : « Je peins l’au-delà, mort ou vivant (...) ». (shrink)

In the area of investment, responsibility may be expressed via four types of ethical concern: value-based ethics resulting in the exclusion of so-called "vicious" companies from the investment portfolio; fructification-oriented ethics with a view to long-term investment; consequence-based ethics aimed at initiating a behavioural change in the investment target; and ethics envisaged as a discriminating criterion in the search of the best financial performance. No single formula of responsible investment is available, and the "responsible" approach necessarily implies the active involvement (...) of a free acting subject striving to tackle fundamental ethical issues. The practice of responsible investment cannot be reduced to simply applying a particular legal rule or mathematical formula. (shrink)

Journal of Philosophy of Education, EarlyView.

The development of the philosophy of science in the twentieth century has created a framework where issues concerning funding dynamics can be easily accommodated. It combines the historical-philosophical approach of Thomas Kuhn. The University of Chicago Press, Chicago, [1962] ) with the sociological approach of Robert K. Merton The sociology of science. Theoretical and empirical investigations. The University of Chicago Press, Chicago, pp 267–278, [1942] ), linking the ‘exact’ sciences to economy and politics. Out of this came a new domain, (...) namely the study of scientific practices : Science as practice and culture. The University of Chicago Press, Chicago, 1992). Given this broad theoretical framework, we will specify by looking at the case of STEM education and its variant Science, Technology, Engineering and Mathematics with Art education as an example par excellence. Without going into the technical details of the financial support of the projects, we prefer to open a philosophical debate on the way how policies on academic subjects influence a whole society and the personal life of both researchers and people/pupils involved in education. (shrink)

L’architecture carcérale présente les actes d’un colloque organisé en décembre 2010 à l’occasion du dixième anniversaire de la délocalisation, à Agen, de l’Ecole nationale d’administration pénitentiaire (ENAP). L’ouvrage est illustré de nombreux documents iconographiques provenant du fonds de plans d’architectes et de collections photographiques sur les établissements pénitentiaires conservés au Centre de ressources sur l’histoire des crimes et des peines (CRHCP) de l’ENAP. Comme l’indique le..

We prove that the statement “there is aksuch that for everyfthere is ak-bounded diagonally nonrecursive function relative tof” does not imply weak König’s lemma over${\rm{RC}}{{\rm{A}}_0} + {\rm{B\Sigma }}_2^0$. This answers a question posed by Simpson. A recursion-theoretic consequence is that the classic fact that everyk-bounded diagonally nonrecursive function computes a 2-bounded diagonally nonrecursive function may fail in the absence of${\rm{I\Sigma }}_2^0$.

It is a rather safe statement to claim that the social dimensions of the scientific process are accepted in a fair share of studies in the philosophy of science. It is a somewhat safe statement to claim that the social dimensions are now seen as an essential element in the understanding of what human cognition is and how it functions. But it would be a rather unsafe statement to claim that the social is fully accepted in the philosophy of mathematics. (...) And we are not quite sure what kind of statement it is to claim that the social dimensions in theories of mathematics education are becoming more prominent, compared to the psychological dimensions. In our contribution we will focus, after a brief presentation of the above claims, on this particular domain to understand the successes and failures of the development of theories of mathematics education that focus on the social and not primarily on the psychological. (shrink)