The Logic of Multisets Continued: The Case of Disjunction

We continue our work [5] on the logic of multisets (or on the multiset semantics of linear logic), by interpreting further the additive disjunction . To this purpose we employ a more general class of processes, called free, the axiomatization of which requires a new rule (not compatible with the full LL), the cancellation rule. Disjunctive multisets are modeled as finite sets of multisets. The -Horn fragment of linear logic, with the cut rule slightly restricted, is sound with respect to this semantics. Another rule, which is a slight modification of cancellation, added to HF makes the system sound and complete.     

Newton''s Experimental Proofs as Eliminative Reasoning

In this paper I discuss Newton's first optical paper. My aim is to examine the type of argument which Newton uses in order to convince his readers of the truth of his theory of colors. My claim is that this argument is an induction by elimination, and that the Newtonian method of justification is a kind of generative justification, a term due to T. Nickles. To achieve my aim I analyze in some detail the arguments in Newton's first optical paper, relating the paper with Newton's other writings in optics, and especially his early correspondence in defence of his theory of colors.     

The cognitive impenetrability of the content of early vision is a necessary and sufficient condition for purely nonconceptual content

I elaborate on Pylyshyn's definition of the cognitive impenetrability (CI) of early vision, and draw on the role of concepts in perceptual processing, which links the problem of the CI or cognitive penetrability (CP) of early vision with the problem of the nonconceptual content (NCC) of perception. I explain, first, the sense in which the content of early vision is CI and I argue that if some content is CI, it is conceptually encapsulated, that is, it is NCC. Then, I examine the definitions of NCC and argue that they lead to the view that the NCC of perception is retrieved in a stage of visual processing that is CI. Thus, the CI of a state and content is a sufficient and necessary condition for the state and its content to be purely NCC, the CI?≡?NCC thesis. Since early vision is CI, the purely NCC of perception is formed in early vision. I defend the CI?≡?NCC thesis by arguing against objections raised against both the sufficient and the necessary part of the thesis.     

Sources of politico-economic attitudes: students’ introspections

Our aim is to shed more light on university students’ sources of attitudes towards the market economy, social inequality, and the responsibilities of the state. Analyzing survey data of almost 500 students at a German university, we identify those sources the subjects report to be important in the process of forming their politico-economic attitudes. We explore the differences between our sample of local students and the German General Social Survey, as well as the characteristics of subjects expressing no opinion. We also examine whether the sources which were reported to be important significantly contribute to the prediction of conservative political attitudes, concentrating specifically on the attitude effects of economic education.     

Check Vocal: A program to facilitate checking the accuracy and response time of vocal responses from DMDX

CheckVocal is a Windows application that facilitates checking the accuracy and response time of recorded vocal responses in naming and other experimental tasks using the DMDX display and response collection software. CheckVocal handles all keeping-track and presents each recorded response audiovisually (as waveform, spectrogram, and sound played out) along with the correspondingprinted correct response andregistered responsetime. The user simply decides whether the response was correct, wrong, or missing, with a single mouse click advancing to the next response. Response ti me correction can be done manually or automatically (retriggering by apower threshold). Data safety and integrity is ensured by cross-checking and status saving, so t hat interruptedsessions can be resumed later. CheckVocal is freely available to the DMDX community via a dedicated Web page.     

The Order Structure of Continua

A continuum is here a primitive notion intended to correspond precisely to a path-connected subset of the usual euclidean space. In contrast, however, to the traditional treatment, we treat here continua not as pointsets, but as irreducible entities equipped only with a partial ordering ≤ interpreted as parthood. Our aim is to examine what basic topological and geometric properties of continua can be expressed in the language of ≤, and what principles we need in order to prove elementary facts about them. Surprisingly enough ≤ suffices to formulate the very heart of continuity (=jumpless and gapless transitions) in a general setting. Further, using a few principles about ≤ (together with the axioms of ZFC), we can define points, joins, meets and infinite closeness. Most important, we can develop a dimension theory based on notions like path, circle, line (=one-dimensional continuum), simple line and surface (=two-dimensional continuum), recovering thereby in a rigorous way Poincaré's well-known intuitive idea that dimension expresses the ways in which a continuum can be torn apart. We outline a classification of lines according to the number of circles and branching points they contain. The ordering (C,≤) is a topped and bottomed, atomic, almost dense and complete partial ordering, weaker than a lattice. Continuous transformations from C to C are also defined in a natural way and results about them are proved. The key notions on which the dimension theory is based are the “minimal extensions of continua”, or “joins”, and the “splittings of continua over subcontinua”. This revised version was published online in June 2006 with corrections to the Cover Date.     

Logic of Knowledge and Utterance and the Liar

We extend the ordinary logic of knowledge based on the operator K and the system of axioms S₅ by adding a new operator U, standing for the agent utters , and certain axioms and a rule for U, forming thus a new system KU. The main advantage of KU is that we can express in it intentions of the speaker concerning the truth or falsehood of the claims he utters and analyze them logically. Specifically we can express in the new language various notions of lying, as well as of telling the truth. Consequently, as long as lying or telling the truth about a fact is an intentional mode of the speaker, we can resolve the Liar paradox, or at least some of its variants, turning it into an ordinary (false or true) sentence. Also, using Kripke structures analogous to those employed by S. Kraus and D. Lehmann in [3] for modelling the logic of knowledge and belief, we offer a sound and complete semantics for KU.     

Nonconceptual content: A reply to Toribio's “Nonconceptualism and the cognitive impenetrability of early vision”

Toribio argues against my thesis that the cognitive penetrability (CP) of the content of early vision is a necessary and sufficient condition for this content to be nonconceptual content (NCC)–the MET (mutually entailing thesis). Her main point is that MET presupposes a non-standard, causal interpretation of NCC that either trivializes NCC or fails to engage with the contemporary literature on NCC, in which the property of being nonconceptual is not construed in empirical but in constitutive terms. I argue that Toribio's arguments presuppose views of NCC that clash with important themes in the nonconceptualist literature, and that constitutive considerations concerning NCC are inextricably linked with causal considerations since the latter are required to address the concerns that led philosophers to postulate NCC.     

Comparative study of hostility in depressive patients with and without a suicide attempt history

Hostility in association with depression seems to be connected to suicidal behavior. This study aimed to evaluate hostility and its dimensions in relation to depression in patients who suffered from diagnosed depression with and without a suicide attempt history. The study included 168 participants; 58 patients with depression and suicide attempt history, 55 patients with depression without a suicide attempt history and 55 healthy controls. Hostility was assessed with the Hostility and Direction of Hostility Questionnaire, while depression with the Beck Depression Inventory (BDI). Patients with depression and a suicide attempt history compared with the patients without attempt history presented statistically significantly higher total hostility (28.71 ± 6.43 vs 24.20 ± 7.66), extroverted hostility (17.16 ± 4.37 vs 14.15 ± 4.63), acting out hostility (6.03 ± 2.09 vs 4.73 ± 1.93), and self criticism (6.95 ± 2.12 vs 5.89 ± 2.32). No statistically significant differences were found between the two clinical groups in depression according to the BDI. Moreover depressive patients with suicide attempt history scored higher in all the hostility dimensions than the controls. Therefore, it could be suggested that hostility and especially its extrapunitive dimensions are associated with suicidal behavior, since no differences in depression were recorded between the two clinical groups.