Different researchers from psychology and neuroscience state that navigation involves the manipulation of cognitive maps and graphs. In this paper, I will argue that navigating – specifically, journey planning – can be conceived as a process of practical reasoning. First, I will argue that journey planning constitutes a case of means-end reasoning involving inferences with cartographic representations. Then, I will argue that the output of journey planning functions as an instrumental belief in means-end reasoning. More specifically, journey planning can deliver (...) an instrumental rule that plays a normative role in spatial cognition. This approach motivates a pluralist conception of practical reasoning, stating that inferences might run through different representational formats and processes. (shrink)

At workplaces where nanomaterials are produced or used, risk assessment and risk management are extremely difficult tasks since there is still limited evidence about the risks of nanomaterials. Measurement methods for nanoparticles are contested and safety standards have not yet been developed properly. To support compliance with the legal obligation of the employer to care for safe workplaces a large number of ‘soft’ regulatory tools have been proposed (e.g. codes of conduct, benchmarks, standards). However, it is not clear whether and (...) under which conditions soft regulation is complied with. This article discusses the potential advantages and drawbacks of soft regulation. It explores compliance issues when exposure measurement devices and other technology-related factors are involved. The exploration of three examples of soft regulation on occupational health and safety (a ministerial recommendation on preliminary exposure benchmarks, a nano-specific guidance of a chemical company and a public–private OHS guideline) shows that the capacity of the regulated parties to comply depends on the availability of appropriate technological devices and methods, technical expertise and other resources. When technological prerequisites are met, compliance is likely to increase. (shrink)

The specification and implementation of computational artefacts occurs throughout the discipline of computer science. Consequently, unpacking its nature should constitute one of the core areas of the philosophy of computer science. This paper presents a conceptual analysis of the central role of specification in the discipline.

Dual process models of higher cognition have become very influential in the cognitive sciences. The popular Default-Interventionist model has long favoured a serial view on the interaction between...

The subject of the study is the epistemological specificity of art through the «prism» of the Paleolithic and modern eras. The focus of the research is aimed at analyzing the phenomenon of «eidetism», which is a link between modern and primitive art. The purpose of the article is to comprehend the epistemological specifics of art, which began with the «psychophysiology» of the primitive world and developed into forms of «practical philosophizing» of the modern era. The research methodology includes a review (...) of literary sources, a dialectical approach to historical and art historical reconstruction, analysis of paleopsychological data, comparative analysis, elements of systems psychology and sociology. An element of novelty is the author's position that already in the lower, early layers of its evolution, the status of art «as one of the most ancient forms of human activity» is enriched by the status of «a form of practical philosophizing». The generalization is made that the art of the XX-XXI centuries, on the one hand, abandoned both mimesis and humanism, on the other – it continued the path of «practical philosophizing» begun in ancient times, based on the perceptual-empirical method of cognition of reality. The evolution of art from its primitive origins through archaic, classical to its modern state is, at the same time, the transformation of human consciousness, and the comprehension through artistic and creative activity of one's being and place in the universe, etc. - the development of its «depth» (the content of art). This is the development of art «in breadth» (the development of artistic form): the proliferation of its types and genres, the growth of stylistic and technological polyphony, etc. As a result, «art has come a long way from its purely psychophysiological hypostasis to «practical philosophizing». Artistic and creative activity itself as a whole continues to be the most important component of the global «mechanism» of mastering reality. (shrink)

Due to domestication, dogs differ from wolves in the way they respond to their environment, including to humans. Selection for tameness and the associated changes to the autonomic nervous system (ANS) regulation have been proposed as the primary mechanisms of domestication. To test this idea, we compared two low-arousal states in equally raised and kept wolves and dogs: resting, a state close to being asleep, and inactive wakefulness, which together take up an important part in the time budgets of wolves (...) and dogs. We measured arousal via cardiac output in three conditions: alone, with a familiar human partner, or with pack members (i.e., conspecifics). Specifically, we compared heart rate (HR) and heart rate variability (HRV) of six wolves and seven dogs. As patterns of resting can vary adaptively, even between closely related species, we predicted that dogs would be generally more aroused than wolves, because living with humans may come with less predictable contexts than living with conspecifics; hence, dogs would need to be responsive at all times. Furthermore, we predicted that due to the effects of domestication, emotional social support by familiar people would reduce arousal more in dogs than in equally human-socialized wolves, leading to more relaxed dogs than wolves when away from the pack. Overall, we found a clear effect of the interactions between species (i.e., wolf versus dog), arousal state (i.e., resting or awake inactive) and test conditions, on both HR and HRV. Wolves and dogs were more aroused when alone (i.e., higher HR and lower HRV) than when in the presence of conspecifics or a familiar human partner. Dogs were more relaxed than wolves when at rest and close to a familiar human but this difference disappeared when awake. In conclusion, instead of the expected distinct overall differences between wolves and dogs in ANS regulation, we rather found subtle context-specific responses, suggesting that such details are important in understanding the domestication process. (shrink)

Most behavioural genetic studies focus on genetic and environmental influences on inter-individual phenotypic differences at the population level. The growing collection of intensive longitudinal data in social and behavioural science offers a unique opportunity to examine genetic and environmental influences on intra-individual phenotypic variability at the individual level. The current study introduces a novel idiographic approach and one novel method to investigate genetic and environmental influences on intra-individual variability by a simple empirical demonstration. Person-specific non-shared environmental influences on intra-individual variability (...) of daily school feelings were estimated using time series data from twenty-one pairs of monozygotic twins over two consecutive weeks. Results showed substantial inter-individual heterogeneity in person- specific non-shared environmental influences. The current study represents a first step in investigating environmental influences on intra-individual variability with an idiographic approach, and provides implications for future behavioural genetic studies to examine developmental processes from a microscopic angle. (shrink)

Moral non-cognitivists hope to explain the nature of moral agreement and disagreement as agreement and disagreement in non-cognitive attitudes. In doing so, they take on the task of identifying the relevant attitudes, distinguishing the non-cognitive attitudes corresponding to judgements of moral wrongness, for example, from attitudes involved in aesthetic disapproval or the sports fan’s disapproval of her team’s performance. We begin this paper by showing that there is a simple recipe for generating apparent counterexamples to any informative specification of (...) the moral attitudes. This may appear to be a lethal objection to non-cognitivism, but a similar recipe challenges attempts by non-cognitivism’s competitors to specify the conditions underwriting the contrast between genuine and merely apparent moral disagreement. Because of its generality, this specification problem requires a systematic response, which, we argue, is most easily available for the non-cognitivist. Building on premisses congenial to the non-cognitivist tradition, we make the following claims: (1) In paradigmatic cases, wrongness-judgements constitute a certain complex but functionally unified state, and paradigmatic wrongness-judgements form a functional kind, preserved by homeostatic mechanisms. (2) Because of the practical function of such judgements, we should expect judges’ intuitive understanding of agreement and disagreement to be accommodating, treating states departing from the paradigm in various ways as wrongness-judgements. (3) This explains the intuitive judgements required by the counterexample-generating recipe, and more generally why various kinds of amoralists are seen as making genuine wrongness-judgements. (shrink)

This paper aims to delineate the class of aesthetic judgments linguistically. The main idea is that aesthetic judgments can be specified by a certain set of assertibility conditions, i.e., by norms that govern appropriate speech-acts. This idea is spelled out in detail and defended against various objections. The suggestion leads to an interesting account of aesthetic judgments that is theoretically fruitful: It provides the basis for a non-circular and satisfying characterization of the whole domain of aesthetic research and it marks (...) an important linguistic difference between aesthetic judgments and judgments of personal taste. (shrink)

Considerable information about the process of premRNA splicing has accmulated, but the mechanism by which highly accurate splicing is achieved is unresolved. Fifteen years ago we proposed that accuracy in splicing might depend on small RNA molecules (splicer RNAs) which hybridise across adjacent exon termini, or intron termini. Gene expression, including alternative splicing, could be controlled by the transcription of specific splicer RNA genes. We re‐assess our model here, in the light of subsequent developments.

B a c k g r o u n d. The article examines the philosophical and worldview foundations and specifics of the functioning of cultural strategies within the framework of the "One Belt, One Road" (BRI) Initiative, as well as their potential and risks for Ukraine in the context of possible implementations. It was revealed that the theoretical basis of the formation of the cultural strategy of the BRI is the idea of a new democracy, which provides for the creation (...) and development of a "new culture". This idea includes preserving the traditional priorities of Chinese civilization and introducing new aspects that take into account both the Marxist considerations of the leaders of the Chinese Communist Party and contemporary global trends. M e t h o d s. The research methodology includes content analysis of official documents and strategies, critical discourse analysis of scientific articles and studies, as well as comparative analysis of cultural strategies in different regions. These methods make it possible to deeply study and evaluate the specificity and effectiveness of cultural initiatives in the context of the BRI. R e s u l t s. It is revealed that modern researchers in China focus on a number of strategies for cultural development within the framework of the BRI, including increasing the level of spiritual culture formation, ensuring the long-term development and inheritance of cultural values, increasing the overall level of state power through cultural promotion, forming a state with "strong" culture, the transmission of cultural values from generation to generation, the promotion of the building of a harmonious society through cultural initiatives, the use of foreign experience for the benefit of China, the expansion of influence outside the country through cultural initiatives, the development of "cultural" product brands, and the use of historical heritage for development of modernity. It is substantiated that for the effective and full implementation of these cultural strategies within the framework of the BRI, the Chinese authorities have formulated a powerful state policy for the training of personnel in the field of culture, developed and identified key challenges and tasks for their implementation. Particular attention is paid to the peculiarities of the implementation of China's cultural strategies both in countries culturally close to China (regions of Southeast Asia and the Pacific Ocean), and in countries that are significantly different from the traditions and customs of China, which is the founder of the BRI Initiative (countries of Europe, Latin America and the Persian Gulf). C o n c l u s i o n s. It is proven that for the possible implementation of the BRI cultural strategies in Ukrainian realities, it is necessary to understand both risks and advantages. If among the key advantages it is possible to single out the spread of the network of Institutes of Ukrainian Studies (such as the Confucius Institutes), which will contribute to the dissemination of authentic information about Ukrainian culture, tradition and language, then among the risks insufficient attention to cultural differences may cause misunderstandings between partners from different countries, which may lead to breaches of contracts or non-fulfillment of the terms of the agreement. This can affect the trust between the parties and cause conflicts. (shrink)

The present study used eye tracking methodology to examine rereading benefits for spatially transformed text. Eye movements were monitored while participants read the same target word twice, in two different low-constraint sentence frames. The congruency of perceptual processing was manipulated by either applying the same type of transformation to the word during the first and second presentations , or employing two different types of transformations across the two presentations of the word . Perceptual specificity effects were demonstrated such that fixation (...) times for the second presentation of the target word were shorter for the congruent condition compared to the incongruent condition. Moreover, we demonstrated an additional perceptually non-specific effect such that second reading fixation times were shorter for the incongruent condition relative to a baseline condition that employed a normal typography during the first presentation and a transformation during the second presentation. Both of these effects were similar in magnitude for high and low frequency words, and both effects persisted across a 1 week lag between the first and second readings. We discuss the present findings in the context of the distinction between conscious and unconscious memory, and the distinction between perceptually versus conceptually driven processing. (shrink)

Several philosophers have recently advanced the claim that the content of mental states has its own non-imagistic phenomenology. I show that if defenders of cognitive phenomenology are to account for the conscious experience of thoughts, they must actually commit themselves to two different kinds of cognitive phenomenology, which I refer to as ‘general’ and ‘specific.’ Once this distinction is made, we can see how arguments from experience for cognitive phenomenology depend on an ambiguity in ‘what it is like’ talk for (...) their success. Disambiguating this kind of talk into talk of either general or specific phenomenology shows that these arguments are either valid – but assume what they are trying to prove – or are not valid. (shrink)

Recent investigations and theorising about category-specific deficits have begun to focus upon patients with progressive brain disease such as semantic dementia and Alzheimer's disease. In this commentary we briefly review what insights have been gained from studying patients of this type. We concentrate on four specific issues: the sensory/functional distinction, correlation between features, neuroanatomical considerations, and confounding factors.

One of the profound changes in cellular morphology during mitosis is a massive alteration in the organization of microfilament cytoskeleton. It has been recently discovered that nonmuscle caldesmon, an actin and calmodulin binding microfilament‐associated protein of relative molecular mass Mr = 83000, is dissociated from microfilaments during mitosis, apparently as a consequence of mitosis‐specific phosphorylation. cdc2 kinase, which is a catalytic subunit of MPF (maturation or mitosis promoting factor), is found to be responsible for the mitosis‐specific phosphorylation of caldesmon. Because (...) caldesmon is implicated in the regulation of actin myosin interactions and/or microfilament organization, these results suggest that cdc2 kinase directly affects microfilament re‐organization during mitosis. (shrink)

In A. Emelianenko's article «Specificity of the philosophical basis of the existentialized theology of J. Wattimo» G. Vattimo's religious views, his contribution to theology and the nature of the interpretation of his ideas by contemporary researchers are examined. The processes of "existentialized theology" and the struggle of the Italian thinker for humanistic ideals and values are analyzed.

BackgroundCommonly applied measures of symptoms of anxiety are not sensitive to disease-specific anxiety in patients with chronic obstructive pulmonary disease. There is a need for validated instruments measuring COPD-specific anxiety. Therefore, we translated the COPD-Anxiety Questionnaire into Danish and performed an initial validation of the psychometric properties in a sample of patients with COPD.Materials and MethodsTranslation procedures followed the World Health Organization guidelines. Participants with COPD completed questionnaires measuring COPD-specific anxiety, general psychological distress as well as variables related to COPD, (...) quality of life, and socio-demography.ResultsA total of 260 patients with COPD completed questionnaires. The Danish version of CAF-R-DK demonstrated acceptable Cronbach’s α values that were comparable with those of the original CAF. As expected, the CAF-R-DK showed positive correlations with convergent constructs and negative correlations with discriminant constructs. However, the results for specific subdomains of the CAF-R-DK indicated inconsistency in the underlying concept of disease-specific anxiety, which was also suggested based on the subsequent confirmatory and exploratory factor analyzes.ConclusionThe CAF could serve as an important supplement to generic psychological distress screening of patients with COPD in somatic health care settings, and the questionnaire is now available in Danish. Translation into other languages is needed with the purpose of obtaining data for further testing the psychometric properties of the questionnaire. (shrink)

This paper builds a dialectical system of explanation with speech act rules that define the kinds of moves allowed, like requesting and offering an explanation. Pre and post-condition rules for the speech acts determine when a particular speech act can be put forward as a move in the dialogue, and what type of move or moves must follow it. A successful explanation has been achieved when there has been a transfer of understanding from the party giving the explanation to the (...) party asking for it. The dialogue has an opening stage, an explanation stage and a closing stage. Whether a transfer of understanding has taken place is tested by a dialectical shift to an examination dialogue. (shrink)

As a start, we give further examples of Alloy specifications. Next we turn to specification of imperative programs. Assertions about programs are specifications of how the program is supposed to behave. Assertions can be used for correctness reasoning and for testing. We illustrate the important notions of preconditions and postconditions. We demonstrate how the state transitions of imperative programming can be modelled as relations in Alloy. Correctness reasoning can be linked to testing and debugging by means of executable assertions, (...) and by means of random generation of test cases based on preconditions and postconditions. (shrink)

The most plausible of Yarkoni's paths to recovery for psychology is the least radical one: psychologists need truly quantitative methods that exploit the informational power of variance and heterogeneity in multiple variables. If they drop ambitions to explain entire behaviors, they could find a box full of design and econometric tools in the parts of experimental economics that don't ape psychology.

Multi-agent systems where the agents are developed by parties with competing interests, and where there is no access to an agent’s internal state, are often classified as ‘open’. The members of such systems may inadvertently fail to, or even deliberately choose not to, conform to the system specification. Consequently, it is necessary to specify the normative relations that may exist between the members, such as permission, obligation, and institutional power. We present a framework being developed for executable specification (...) of open multi-agent systems. We adopt a bird’s eye view of these systems, as opposed to an agent’s perspective whereby it reasons about how it should act. This paper is devoted to the presentation of various examples from the NetBill protocol formalised in terms of institutional power, permission and obligation. We express the system specification in the Event Calculus and execute the specification by means of a logic programming implementation. We also give several example formalisations of sanctions for dealing with violations of permissions and obligations. We distinguish between an open multi-agent system and the procedure by which an agent enters and leaves the system. We present examples from the specification of a role-management protocol for NetBill, and demonstrate the interplay between such a protocol and the corresponding multi-agent system. (shrink)

Approaches to clinical ethics dilemmas that rely on basic principles or rules are difficult to apply because of vagueness and conflict among basic values. In response, casuistry rejects the use of basic values, and specification produces a large set of specified rules that are presumably easily applicable. Balancing is a method employed to weigh the relative importance of different and conflicting values in application. We argue against casuistry and specification, claiming that balancing is superior partly because it most (...) clearly exhibits the reasoning behind moral decision-making. Hence, balancing may be most effective in teaching bioethics to medical professionals. (shrink)

Self-driving vehicles (SDVs) will need to make decisions that carry ethical dimensions and are of normative significance. For example, by choosing a specific trajectory, they determine how risks are distributed among traffic participants. Accordingly, policymakers, standardization organizations and scholars have conceptualized what (shall) constitute(s) ethical decision-making for SDVs. Eventually, these conceptualizations must be converted into specific system requirements to ensure proper technical implementation. Therefore, this article aims to translate critical requirements recently formulated in scholarly work, existing standards, regulatory drafts and (...) guidelines into an explicit five-step ethical decision model for SDVs during hazardous situations. This model states a precise sequence of steps, indicates the guiding ethical principles that inform each step and points out a list of terms that demand further investigation and technical specification. By integrating ethical, legal and engineering considerations, we aim to contribute to the scholarly debate on computational ethics (particularly in autonomous driving) while offering practitioners in the automotive sector a decision-making process for SDVs that is technically viable, legally permissible, ethically grounded and adaptable to societal values. In the future, assessing the actual impact, effectiveness and admissibility of implementing the here sketched theories, terms and the overall decision process requires an empirical evaluation and testing of the overall decision-making model. (shrink)

Bioethical decision-making depends on presuppositions about the function and goal of bioethics. The authors in this issue of The Journal of Medicine and Philosophy share the assumption that bioethics is about resolving cases, not about moral theory, and that the best method of bioethical decision-making is that which produces useful answers. Because we have no universally agreed upon background moral theory which can serve as the basis for bioethical decision-making, they try to move bioethics away from theory. For them, a (...) good method of bioethical decision-making is one which resolves cases in ways that are justifiable to the parties involved, not necessarily in ways that bring us ‘close’ to the right and the true. The authors consider how the move away from theory and toward actual cases is best accomplished. In particular, the debate in this issue is about specification, specified principlism, and casuistry. (shrink)

Previous research has shown a source memory advantage for faces presented in negative contexts. As yet it remains unclear whether participants remember the specific type of context in which the faces were presented or whether they can only remember that the face was associated with negative valence. In the present study, participants saw faces together with descriptions of two different types of negative behaviour and neutral behaviour. In Experiment 1, we examined whether the participants were able to discriminate between two (...) types of other-relevant negative context information (cheating and disgusting behaviour) in a source memory test. In Experiment 2, we assessed source memory for other-relevant negative (threatening) context information (other-aggressive behaviour) and self-relevant negative context information (self-aggressive behaviour). A multinomial source memory model was used to separately assess partial source memory for the negative valence of the behaviour and specific source memory for the particular type of negative context the face was associated with. In Experiment 1, source memory was specific for the particular type of negative context presented (i.e., cheating or disgusting behaviour). Experiment 2 showed that source memory for other-relevant negative information was more specific than source memory for self-relevant information. Thus, emotional source memory may vary in specificity depending on the degree to which the negative emotional context is perceived as threatening. (shrink)

Frege famously held that numbers play the role of objects in our language and thought, and that this role is on display when we use sentences like "The number of Jupiter's moons is four". I argue that this role is an example of a general pattern that also encompasses persons, times, locations, reasons, causes, and ways of appearing or acting. These things are 'objects' simply in the sense that they are answers to questions: they are the sort of thing we (...) search for and specify during investigation or inquiry. I support this epistemological conception of objects by studying specificational sentences, a class of sentences which includes Frege's original example. I defend an analysis of such sentences as question-answer pairs, and show how to formally represent this analysis using game-theoretical semantics. (shrink)

In earlier publications of the first author it was shown that intentional explanation of actions, functional explanation of biological traits and causal explanation of abnormal events share a common structure. They are called explanation by specification (of a goal, a biological function, an abnormal causal factor, respectively) as opposed to explanation by subsumption under a law. Explanation by specification is guided by a schematic train of thought, of which the argumentative steps not concerning questions were already shown to (...) be logically valid (elementary) arguments.Independently, the second author developed a new, inferential approach to erotetic logic, the logic of questions. In this approach arguments resulting in questions, with declarative sentences and/or other questions as premises, are analyzed, and validity of such arguments is defined. (shrink)

The logic of single-conclusion proofs () is introduced. It combines the verification property of proofs with the single valuedness of proof predicate and describes the operations on proofs induced by modus ponens rule and proof checking. It is proved that is decidable, sound and complete with respect to arithmetical proof interpretations based on single-valued proof predicates. The application to arithmetical inference rules specification and -admissibility testing is considered. We show that the provability in gives the complete admissibility test for (...) the rules which can be specified by schemes in -language. The test is supplied with the ground proof extraction algorithm which eliminates the admissible rules from a -proof by utilizing the information from the corresponding -proofs. (shrink)

Binding specificity is a centrally important concept in molecular biology, yet it has received little philosophical attention. Here I aim to remedy this by analyzing binding specificity as a causal property. I focus on the concept’s role in drug design, where it is highly prized and hence directly studied. From a causal perspective, understanding why binding specificity is a valuable property of drugs contributes to an understanding of causal selection—of how and why scientists distinguish between causes, not just causes from (...) noncauses. In particular, the specificity of drugs is precisely what underwrites their value as experimental interventions on biological processes. (shrink)

In this target article we question the assumption that perception is divided into separate domains of vision, hearing, touch, taste, and smell. We review implications of this assumption for theories of perception and for our understanding of ambient energy arrays (e.g., the optic and acoustic arrays) that are available to perceptual systems. We analyze three hypotheses about relations between ambient arrays and physical reality: (1) that there is an ambiguous relation between ambient energy arrays and physical reality, (2) that there (...) is a unique relation between individual energy arrays and physical reality, and (3) that there is a redundant but unambiguous relation, within or across arrays, between energy arrays and physical reality. This is followed by a review of the physics of motion, focusing on the existence and status of referents for physical motion. Our review indicates that it is not possible, in principle, for there to be a unique relation between physical motion and the structure of individual energy arrays. We argue that physical motion relative to different referents is specified only in the global array, which consists of higher-order relations across different forms of energy. The existence of specificity in the global array is consistent with the idea of direct perception, and so poses a challenge to traditional, inference-based theories of perception and cognition. However, it also presents a challenge to much of the ecological approach to perception and action, which has accepted the assumption of separate senses. (shrink)

In a crucial paragraph (KrV, A 663-664 / B 691-692) of the first part of the “Appendix to the Transcendental Dialectic”, Kant discusses the specific status of the principles of homogeneity, specification, and continuity. In doing so, he refers to an already proven argument and thus to other passages of the Critique of Pure Reason. In search of this argument the “Transcendental Analytic” but in particular the “first book” of the “Transcendental Dialectic” turn out to be possible reference points. (...) Although this contextualisation demands further systematic and editorial reflections, it also allows the clarification of the status of the principles and their justification in relation to a subjective deduction. Kant offers with the subjective deduction, as introduced in the “Preface” (of the first edition of the Critique of Pure Reason) and again in the “first book” of the “Transcendental Dialectic”, a first argumentative strategy, which differs from the objective one but provides “some objective validity” (KrV, A 664 / B 692; Kant, 1998, p. 602) and therefore has systematic importance for the principles of homogeneity, specification, and continuity. My aim is to offer immanent strategies for a justification of the principles of homogeneity, specification, and continuity in the framework of the Critique of Pure Reason. (shrink)

In light of the phenomenon of multiple realizability, many philosophers wanted to preserve the mind-brain identity theory by resorting to a “narrow reductive strategy” whereby one (a) finds mental properties which are (b) sufficiently narrow to avoid the phenomenon of multiple realization, while being (c) explanatorily adequate to the demands of psychological theorizing. That is, one replaces the conception of a mental property as more general feature of cognitive systems with many less general properties, for example, replacing the conception of (...) pain as a general property across different species with a number of species-specific kinds of pain. Many critics focused on (c), arguing that species-specific properties are not explanatorily adequate because they do not capture what is common in pain across species. In this paper I focused on (b). I argued that if one carries the narrow reductive strategy out in such a way to avoid all multiple realizability that occurs within a species, for example, accommodating individual differences by postulating a more narrow pain-relative-to-an-individual-at-a-time, then the result is for all intents and purposes a claim about tokens and not types or properties at all (the position is now about individuals having properties at times, a structured token event). I also added an important point about explanation, viz., that properties-relative-to-individuals-at-times would not serve the explanatory goals of science by failing to generalize to other individuals. (shrink)

One needs specific initiation into the classics of transcendental philosophy because all say farewell to the common sense view of things. The three types of transcendental thinking converge in conceiving rational autonomy as the ultimate ground for justification. Correspondingly, the philosophical pedagogy of all three thinkers is focused on how to seize and make that very autonomy intellectually and existentially available. In the concrete way of proceeding, however, the three models diverge. Descartes expects one to become master of oneself and (...) "the world" by methodologically suspending his judgement on what cannot qualify itself to be undoubtable. Kant leads us to the point where we can triangulate universal conditions of the possibility of knowledge through individually acquiring the competence to judge the legitimacy of encountered propositional claims. Finally, Fichte confronts us with the idea of the identity of self-consciousness and objectivity. (shrink)

A useful logic in which to specify normative system behaviour, deontic logic has a broad spectrum of possible applications within the field: from legal expert systems to natural language processing, database integrity to electronic contracting and the specification of fault-tolerant software.