Unlike those with type 1 blindsight, people who have type 2 blindsight have some sort of consciousness of the stimuli in their blind field. What is the nature of that consciousness? Is it visual experience? I address these questions by considering whether we can establish the existence of any structural—necessary—features of visual experience. I argue that it is very difficult to establish the existence of any such features. In particular, I investigate whether it is possible to visually, or (...) more generally perceptually, experience form or movement at a distance from our body, without experiencing colour. The traditional answer, advocated by Aristotle, and some other philosophers, up to and including the present day, is that it is not and hence colour is a structural feature of visual experience. I argue that there is no good reason to think that this is impossible, and provide evidence from four cases—sensory substitution, achomatopsia, phantom contours and amodal completion—in favour of the idea that it is possible. If it is possible then one important reason for rejecting the idea that people with type 2 blindsight do not have visual experiences is undermined. I suggest further experiments that could be done to help settle the matter. (shrink)

This Note discusses the facilities that are available in the MathML 2.0 Recommendation to facilitate the capturing of mathematical type information. It demonstrates how a combination of these features can be systematically used to provide support for general mathematical types.

Typed feature structures are used extensively for the specification of linguistic information in many formalisms. The subsumption relation orders TFSs by their information content. We prove that subsumption of acyclic TFSs is well founded, whereas in the presence of cycles general TFS subsumption is not well founded. We show an application of this result for parsing, where the well-foundedness of subsumption is used to guarantee termination for grammars that are off-line parsable. We define a new version of off-line parsability (...) that is less strict than the existing one; thus termination is guaranteed for parsing with a larger set of grammars. (shrink)

Frames, i.e., recursive attribute-value structures, are a general format for the decomposition of lexical concepts. Attributes assign unique values to objects and thus describe functional relations. Concepts can be classified into four groups: sortal, individual, relational and functional concepts. The classification is reflected by different grammatical roles of the corresponding nouns. The paper aims at a cognitively adequate decomposition, particularly, of sortal concepts by means of frames. Using typed feature structures, an explicit formalism for the characterization of cognitive frames (...) is developed. The frame model can be extended to account for typicality effects. Applying the paradigm of object-related neural synchronization, furthermore, a biologically motivated model for the cortical implementation of frames is developed. Cortically distributed synchronization patterns may be regarded as the fingerprints of concepts. (shrink)

We define an order independent version of default unification on typed feature structures. The operation is one where default information in a feature structure typed with a more specific type, will override default information in a feature structure typed with a more general type, where specificity is defined by the subtyping relation in the type hierarchy. The operation is also able to handle feature structures where reentrancies are default. We provide a formal semantics, prove order (...) independence and demonstrate the utility of this version of default unification in several linguistic applications. First, we show how it can be used to define multiple orthogonal default inheritance in the lexicon in a fully declarative fashion. Secondly, we show how default lexical specifications (introduced via default lexical inheritance) can be made to usefully persist beyond the lexicon and interact with syntagmatic rules. Finally, we outline how persistent default unification might underpin default feature propagation principles and a more restrictive and constraint-based approach to lexical rules. (shrink)

The use of list-learning paradigms to explore false memory has revealed several critical findings about the contributions of similarity and relatedness in memory phenomena more broadly. Characterizing the nature of “similarity and relatedness” can inform researchers about factors contributing to memory distortions and about the underlying associative and semantic networks that support veridical memory. Similarity can be defined in terms of semantic properties (e.g., shared conceptual and taxonomic features), lexical/associative properties (e.g., shared connections in associative networks), or structural properties (...) (e.g., shared orthographic or phonological features). By manipulating the type of list and its relationship to a non-studied critical item, we review the effects of these types of similarity on veridical and false memory. All forms of similarity reviewed here result in reliable error rates and the effects on veridical memory are variable. The results across a variety of paradigms and tests provide partial support for a number of theoretical explanations of false memory phenomena, but none of the theories readily account for all results. (shrink)

This paper presents a new language for isomorphic representations of legalknowledge in feature structures. The language includes predefinedstructures based on situation theory for common-sense categories, andpredefined structures based on Van Kralingens frame-based conceptualmodelling language for legal rules. It is shown that the flexibility of thefeature-structure formalism can exploited to allow for structure-preservingrepresentations of non-primitive concepts, and to enable various types ofinteraction and cross- reference between language elements. A fragment of theDutch Opium Act is used to illustrate how modelling (...) and reasoning proceed in practice. (shrink)

Conceptual features differ in how mentally tranformable they are. A robin that does not eat is harder to imagine than a robin that does not chirp. We argue that features are immutable to the extent that they are central in a network of dependency relations. The immutability of a feature reflects how much the internal structure of a concept depends on that feature; i.e., how much the feature contributes to the concept's coherence. Complementarily, mutability reflects the aspects (...) in which a concept is flexible. We show that features can be reliably ordered according to their mutability using tasks that require people to conceive of objects missing a feature, and that mutability (conceptual centrality) can be distinguished from category centrality and from diagnosticity and salience. We test a model of mutability based on asymmetric, unlabeled, pairwise dependency relations. With no free parameters, the model provides reasonable fits to data. Qualitative tests of the model show that mutability judgments are unaffected by the type of dependency relation and that dependency structure influences judgments of variability. (shrink)

Talk of different types of cells is commonplace in the biological sciences. We know a great deal, for example, about human muscle cells by studying the same type of cells in mice. Information about cell type is apparently largely projectible across species boundaries. But what defines cell type? Do cells come pre-packaged into different natural kinds? Philosophical attention to these questions has been extremely limited [see e.g., Wilson (Species: New Interdisciplinary Essays, pp 187–207, 1999; Genes and the Agents of Life, (...) 2005; Wilson et al. Philos Top 35(1/2):189–215, 2007)]. On the face of it, the problems we face in individuating cellular kinds resemble those biologists and philosophers of biology encountered in thinking about species: there are apparently many different (and interconnected) bases on which we might legitimately classify cells. We could, for example, focus on their developmental history (a sort of analogue to a species’ evolutionary history); or we might divide on the basis of certain structural features, functional role, location within larger systems, and so on. In this paper, I sketch an approach to cellular kinds inspired by Boyd’s Homeostatic Property Cluster Theory, applying some lessons from this application back to general questions about the nature of natural kinds. (shrink)

The existence of different types of semiosis has been recognized, so far, in two ways. It has been pointed out that different semiotic features exist in different taxa and this has led to the distinction between zoosemiosis, phytosemiosis, mycosemiosis, bacterial semiosis and the like. Another type of diversity is due to the existence of different types of signs and has led to the distinction between iconic, indexical and symbolic semiosis. In all these cases, however, semiosis has been defined by (...) the Peirce model, i.e., by the idea that the basic structure is a triad of ‘sign, object and interpretant’, and that interpretation is an essential component of semiosis. This model is undoubtedly applicable to animals, since it was precisely the discovery that animals are capable of interpretation that allowed Thomas Sebeok to conclude that they are also capable of semiosis. Unfortunately, however, it is not clear how far the Peirce model can be extended beyond the animal kingdom, and we already know that we cannot apply it to the cell. The rules of the genetic code have been virtually the same in all living systems and in all environments ever since the origin of life, which clearly shows that they do not depend on interpretation. Luckily, it has been pointed out that semiosis is not necessarily based on interpretation and can be defined exclusively in terms of coding. According to the ‘code model’, a semiotic system is made of signs, meanings and coding rules, all produced by the same codemaker, and in this form it is immediately applicable to the cell. The code model, furthermore, allows us to recognize the existence of many organic codes in living systems, and to divide them into two main types that here are referred to as manufacturing semiosis and signalling semiosis. The genetic code and the splicing codes, for example, take part in processes that actually manufacture biological objects, whereas signal transduction codes and compartment codes organize existing objects into functioning supramolecular structures. The organic codes of single cells appeared in the first three billion years of the history of life and were involved either in manufacturing semiosis or in signalling semiosis. With the origin of animals, however, a third type of semiosis came into being, a type that can be referred to as interpretive semiosis because it became closely involved with interpretation. We realize in this way that the contribution of semiosis to life was far greater than that predicted by the Peirce model, where semiosis is always a means of interpreting the world. Life is essentially about three things: (1) it is about manufacturing objects, (2) it is about organizing objects into functioning systems, and (3) it is about interpreting the world. The idea that these are all semiotic processes, tells us that life depends on semiosis much more deeply and extensively than we thought. We realize in this way that there are three distinct types of semiosis in Nature, and that they gave very different contributions to the origin and the evolution of life. (shrink)

This paper argues that in some explanations mathematics are playing an explanatory rather than a representational role, and that this feature unifies many types of non-causal or non-mechanistic explanations that some philosophers of science have been recently exploring under various names. After showing how mathematics can play either a representational or an explanatory role by considering two alternative explanations of a same biological pattern—“Bergmann’s rule”—I offer an example of an explanation where the bulk of the explanatory job is done by (...) a mathematical theorem, and where mechanisms involved in the target systems are not explanatorily relevant. Then I account for the way mathematical properties may function in an explanatory way within an explanation by arguing that some mathematical propositions involving variables non directly referring to the target system features constitute constraints to which a whole class of systems should comply, provided they are describable by a mathematical object concerned by those propositions. According to such “constraint account”, those mathematical facts are directly entailing the explanandum, as a consequence of such constraints. I call those explanations “structural”, because here properties of mathematical structures are accounting for the explanandum; various kinds of mathematical structures thereby define various types of structural explanations. (shrink)

Adenosine triphosphate, ATP, is the energy currency of living cells. While ATP synthases of archae and ATP synthases of pro‐ and eukaryotic organisms operate as energy producers by synthesizing ATP, the eukaryotic V‐ATPase hydrolyzes ATP and thus functions as energy transducer. These enzymes share features like the hydrophilic catalytic‐ and the membrane‐embedded ion‐translocating sector, allowing them to operate as nano‐motors and to transform the transmembrane electrochemical ion gradient into ATP or vice versa. Since archaea are rooted close to the (...) origin of life, the A‐ATP synthase is probably more similar in its composition and function to the “original” enzyme, invented by Nature billion years ago. On the contrary, the V‐ATPases have acquired specific structural, functional and regulatory features during evolution. This review will summarize the current knowledge on the structure, mechanism and regulation of A‐ATP synthases and V‐ATPases. The importance of V‐ATPase in pathophysiology of diseases will be discussed. BioEssays 30:1096–1109, 2008. © 2008 Wiley Periodicals, Inc. (shrink)

In contrast to individualistic explanations of social injustice that appeal to implicit attitudes, structural explanations are unintuitive: they appeal to entities that lack clear ontological status, and the explanatory mechanism is similarly unclear. This makes structural explanations unappealing. The present work proposes a structural explanation of one type of injustice that happens in conversations, discursive injustice. This proposal meets two goals. First, it satisfactorily accounts for the specific features of this particular kind of injustice; and second, it articulates a (...) structural explanation that overcomes their unattractiveness. The main idea is that discursive injustice is not the result of biased interlocutors, but of problematic discursive norms. (shrink)

Meiotic recombination occurs preferentially at certain regions called hot spots and is important for generating genetic diversity and proper segregation of chromosomes during meiosis. Hot spots have been characterized most extensively in yeast, mice and humans. The development of methods based on sperm typing and population genetics has facilitated rapid and high‐resolution mapping of hot spots in mice and humans in recent years. With increasing information becoming available on meiotic recombination in different species, it is now possible to compare several (...) molecular features associated with hot‐spot loci. Further, there have been advances in our knowledge of the factors influencing hot‐spot activity and the role that they play in structuring the genome into haplotype blocks. We review the molecular features associated with hot spots in terms of their properties and mechanisms underlying their function and distribution. A large number of these features seem to be shared among hot spots from different species suggesting common mechanisms for their formation and function. BioEssays 28:45–56, 2006. © 2005 Wiley Periodicals, Inc. (shrink)

This paper gives a simple method for providing categorial brands of feature-based unification grammars with a model-theoretic semantics. The key idea is to apply the paradigm of fibred semantics (or layered logics, see Gabbay (1990)) in order to combine the two components of a feature-based grammar logic. We demonstrate the method for the augmentation of Lambek categorial grammar with Kasper/Rounds-style feature logic. These are combined by replacing (or annotating) atomic formulas of the first logic, i.e. the basic syntactic types, by (...) formulas of the second. Modelling such a combined logic is less trivial than one might expect. The direct application of the fibred semantics method where a combined atomic formula like np (num: sg & pers: 3rd) denotes those strings which have the indicated property and the categorial operators denote the usual left- and right-residuals of these string sets, does not match the intuitive, unification-based proof theory. Unification implements a global bookkeeping with respect to a proof whereas the direct fibring method restricts its view to the atoms of the grammar logic. The solution is to interpret the (embedded) feature terms as global feature constraints while maintaining the same kind of fibred structures. For this adjusted semantics, the anticipated proof system is sound and complete. (shrink)

There are decision problems in which rational deliberation fails to result in choosing a pure act. This phenomenon is known as decision instability and has been discussed in the literature on causal decision theory. In this paper we investigate another type of instability, called structural instability in dynamical systems theory. Structural instability indicates that certain qualitative features of the process of rational deliberation are under-determined in a decision situation. We illustrate some of the issues arising from structural instability with (...) a recent argument against causal decision theory proposed by Caspar Hare and Brian Hedden. We show that their argument is undermined by considerations arising from decision instability and structural instability. (shrink)

An ongoing philosophical discussion concerns how various types of mental states fall within broad representational genera—for example, whether perceptual states are “iconic” or “sentential,” “analog” or “digital,” and so on. Here, I examine the grounds for making much more specific claims about how mental states are structured from constituent parts. For example, the state I am in when I perceive the shape of a mountain ridge may have as constituent parts my representations of the shapes of each peak and saddle (...) of the ridge. More specific structural claims of this sort are a guide to how mental states fall within broader representational kinds. Moreover, these claims have significant implications of their own about semantic, functional, and epistemic features of our mental lives. But what are the conditions on a mental state's having one type of constituent structure rather than another? Drawing on explanatory strategies in vision science, I argue that, other things being equal, the constituent structure of a mental state determines what I call its distributional properties—namely, how mental states of that type can, cannot, or must co‐occur with other mental states in a given system. Distributional properties depend critically on and are informative about the underlying structures of mental states, they abstract in important ways from aspects of how mental states are processed, and they can yield significant insights into the variegation of psychological capacities. (shrink)

In this article we evaluate claims that language structure adapts to sociolinguistic environment. We present the results of two typological case studies examining the effects of the number of native (=L1) speakers and the proportion of adult second language (=L2) learners on language structure. Data from more than 300 languages suggest that testing the effect of population size and proportion of adult L2 learners on features of verbal and nominal complexity produces conflicting results on different grammatical (...) class='Hi'>features. The results show that verbal inflectional synthesis adapts to the sociolinguistic environment but the number of genders does not. The results also suggest that modeling population size together with proportion of L2 improves model fit compared to modeling them independently of one another. We thus argue that surveying population size alone may be insufficient to detect possible adaptation of linguistic structure to the sociolinguistic environment. Rather, other features, such as proportion of L2 speakers, prestige and social network density, should be studied, and if demographic numeric data are used, they should not be used in isolation but rather in competition with other sociolinguistic features. We also suggest that not all types of language structures within a given grammatical domain are equally sensitive to the effect of sociolinguistic variables, and that more exploratory studies are needed before we can arrive at a reliable set of grammatical features that may be potentially most (and least) adaptive to social structures. (shrink)

Current attempts to understand psychological content divide into two families of views. According to externalist accounts such as those advanced by Tyler Burge and Ruth Millikan, psychological content does not supervene on the physical features of the individual subject, but is fixed partially by the nature of the world external to her.¹ In the rival functional role theories developed by Ned Block and Brian Loar, content does supervene on the physical features of the individual, and is, in addition, (...) determined solely by the role it plays in the causal network of an individual's sensations, behavior, and mental states.² Over the past fifteen years, criticism of these two types of views has often focussed on their capacity to individuate content in an acceptable way, and both seem to be deficient in this respect. (shrink)

Time underlies many interesting human behaviors. Thus, the question of how to represent time in connectionist models is very important. One approach is to represent time implicitly by its effects on processing rather than explicitly (as in a spatial representation). The current report develops a proposal along these lines first described by Jordan (1986) which involves the use of recurrent links in order to provide networks with a dynamic memory. In this approach, hidden unit patterns are fed back to themselves: (...) the internal representations which develop thus reflect task demands in the context of prior internal states. A set of simulations is reported which range from relatively simple problems (temporal version of XOR) to discovering syntactic/semantic features for words. The networks are able to learn interesting internal representations which incorporate task demands with memory demands: indeed, in this approach the notion of memory is inextricably bound up with task processing. These representations reveal a rich structure, which allows them to be highly context‐dependent, while also expressing generalizations across classes of items. These representations suggest a method for representing lexical categories and the type/token distinction. (shrink)

A functional approach to evolutionary morphology is emphasized in this paper. This perspective differs from the current structuralist trend, which emphasizes the constraining role of developmental paths. In addition, the present approach agrees with the adaptationist paradigm. It is further argued that three types of phenomena are better understood in this light: i.- the existence of evolutionary trends, ii.- the maintenance of certain structural features within a given taxon, and iii.- the irreversibility of evolution.

The topic of this dissertation is what thought must be like in order for the laws and generalizations of psychology to be true. I address a number of contemporary problems in the philosophy of mind concerning the nature and structure of concepts and the ontological status of mental content. Drawing on empirical work in psychology, I develop a number of new conceptual tools for theorizing about concepts, including a counterpart model of concepts' role in linguistic communication, and a deflationary (...) theory of concepts' formal features. I also suggest some new answers to old problems, arguing, for example, that content realism is not hostage to a naturalized semantics. This dissertation can, as a whole, be read as a sympathetic re-evaluation of the language of thought hypothesis (LOT). LOT claims that thoughts are sentences in a mental language of computation, and are composed of meaningful, atomic symbols—concepts—which are individuated entirely by their formal features. Each chapter either defends various components of LOT from recent criticism, or fills in gaps in the theory. I begin the dissertation by introducing the language of thought project, and motivating and explaining each of its central components. In chapter 2, I discuss a recent competitor to atomism—neo-empiricism—and argue that it fails to meet several key desiderata on theories of concepts, and defend atomism from similar charges. In chapter 3, I argue against a view common to both philosophy and psychology: that concepts must be shareable. If true, atomism is in jeopardy. I find shareability to be unmotivated, and suggest an alternative counterpart model of concepts that does a better job of explaining the things shareability was supposed to explain. Chapter 4 takes up the question of what formal features are and how mental symbols are individuated. I develop a reductive account, arguing that formal features are certain sorts of physical properties and symbol types are sets of these properties. I turn to the topic of content in chapter 5, and defend a very strong version of content realism against recent criticism. (shrink)

Aiming at the problem of low accuracy of edge detection of the film and television lens, a new SIFT feature-based camera detection algorithm was proposed. Firstly, multiple frames of images are read in time sequence and converted into grayscale images. The frame image is further divided into blocks, and the average gradient of each block is calculated to construct the film dynamic texture. The correlation of the dynamic texture of adjacent frames and the matching degree of SIFT features of (...) two frames were compared, and the predetection results were obtained according to the matching results. Next, compared with the next frame of the dynamic texture and SIFT feature whose step size is lower than the human eye refresh frequency, the final result is obtained. Through experiments on multiple groups of different types of film and television data, high recall rate and accuracy rate can be obtained. The algorithm in this paper can detect the gradual change lens with the complex structure and obtain high detection accuracy and recall rate. A lens boundary detection algorithm based on fuzzy clustering is realized. The algorithm can detect sudden changes/gradual changes of the lens at the same time without setting a threshold. It can effectively reduce the factors that affect lens detection, such as flash, movies, TV, and advertisements, and can reduce the influence of camera movement on the boundaries of movies and TVs. However, due to the complexity of film and television, there are still some missing and false detections in this algorithm, which need further study. (shrink)

The present article aims to expose some aspects of the specific features of classical Chinese analogisms. First, it exposes the supposition that this type of analogism did not focus exclusively on forms without considering their content, that is, that it was linguistically and semantically determined. Second, it also aims to show that classical Chinese analogies are based on structural relations between the objects in question, which constitute the similarity of two types of things that share certain attributes. This article (...) additionally sheds light on the question of how and why the structure underlying these relations represents a semantic and axiological referential framework that functions as the... (shrink)

The purpose of this paper is to analyze the structure and the defeasibility conditions of argument from analogy, addressing the issues of determining the nature of the comparison underlying the analogy and the types of inferences justifying the conclusion. In the dialectical tradition, different forms of similarity were distinguished and related to the possible inferences that can be drawn from them. The kinds of similarity can be divided into four categories, depending on whether they represent fundamental semantic features (...) of the terms of the comparison or non-semantic ones, indicating possible characteristics of the referents. Such distinct types of similarity characterize different kinds of analogical arguments, all based on a similar general structure, in which a common genus is abstracted. Depending on the nature of the abstracted common feature, different rules of inference will apply, guaranteeing the attribution of the analogical predicate to the genus and to the primary subject. This analysis of similarity and the relationship thereof with the rules of inference allows a deeper investigation of the defeasibility conditions. (shrink)

According to the deductive-nomological account of ground, a fact A grounds another fact B in case the laws of metaphysics determine the existence of B on the basis of the existence of A. Accounts of grounding of this particular variety have already been developed in the literature. My aim in this paper is to sketch a new version of this account. My preferred account offers two main improvements over existing accounts. First, the present account is able to deal with necessitarian (...) as well as non-necessitarian cases of grounding by acknowledging the existence of two types of metaphysical laws. I will argue that we should assume that metaphysical laws come in the necessitarian as well as in the non-necessitarian varietyclosely paralleling the distinction between strict and non-strict laws in the philosophy of science. The second main improvement of the present account is that this account is able to provide an explanation of why the laws of metaphysics have a direction built into them. I will argue that we should characterize metaphysical laws with the help of Theodore Sider’s (2011) notion of structure, which is a descendent of David Lewis’s (1983) notion of naturalness. According to the account of metaphysical laws developed in this paper, metaphysical laws express in their antecedents either perfectly structural truths or more structural truths than in their consequents. Since on Sider’s account structural features of reality are fundamental features of reality, the account is able to explain as to why the laws of metaphysics take us from the fundamental to the derivative. (shrink)

The aim of the study is to contribute to a better understanding of some aspects of the structure of biological knowledge and to make clearer to what extent the methods of reasoning may be useful in this field when only qualitative information is available. A fragment of biological knowledge (theory of cell motility) is analysed from the logico-methodological point of view as a coherent system and the possibility of its formal representation is investigated. The analysis is based on distinguishing (...) the main objects and their features (attributes) of which a given piece of knowledge is composed and on the values which these features may display. The features are interconnected by relations (in which various number of arguments appear) and these relations constitute the main (general, higher level) laws of a given fragment of knowledge (theory). Values of attributes are also mutually connected and these relations correspond to the detailed (lower level) laws. A computer system (in which Prolog language was used) enables to perform inference operations of progressive as well as regressive type. The main categories of reasoning procedures are described and illustrated by examples, namely a) search for conclusions which may be confronted with the actual knowledge in order to verify the system as a whole, b) formation of working hypotheses in the process of their empirical verification and explanation of facts and laws. The problem of development and modification of the system is also discussed. (shrink)

What is it to interpret the outputs of an opaque machine learning model? One approach is to develop interpretable machine learning techniques. These techniques aim to show how machine learning models function by providing either model-centric local or global explanations, which can be based on mechanistic interpretations (revealing the inner working mechanisms of models) or non-mechanistic approximations (showing input feature–output data relationships). In this paper, we draw on social philosophy to argue that interpreting machine learning outputs in certain normatively salient (...) domains could require appealing to a third type of explanation that we call “socio-structural” explanation. The relevance of this explanation type is motivated by the fact that machine learning models are not isolated entities but are embedded within and shaped by social structures. Socio-structural explanations aim to illustrate how social structures contribute to and partially explain the outputs of machine learning models. We demonstrate the importance of socio-structural explanations by examining a racially biased healthcare allocation algorithm. Our proposal highlights the need for transparency beyond model interpretability: understanding the outputs of machine learning systems could require a broader analysis that extends beyond the understanding of the machine learning model itself. (shrink)

The structural abstract discusses the features of modern post-non-classical scientific discourse, according to which all kinds of scientific and religious knowledge are simplified mental construction of a complex objective reality. All accumulated religious knowledge is a combination of various theoretical models of divine reality, the performance of which was checked by centuries of experience of mystical connection with the Lord. According to the requirements of scientific and religious discourse on incompleteness of knowledge, all religious texts of the Bible, the (...) Koran, the Torah, etc. are not carriers of absolutely probable knowledge. The sacred reality they describe is far more complex. The structural abstract reveals the originality of the subject and object of religious narration and the special nature of the mystical fact. The empirical basis of Christian knowledge is the books of the Old and New Testaments, which set the initial basis of Christian knowledge. The array of interpretations of sacred knowledge, accumulated over two thousand years of the Christianity development, it constitutes the main volume in the system of Christian knowledge. Christian theology provides a comprehensive understanding of Christian doctrine and its historical development. A special role is played by mystical knowledge-management-experiencing, the knowledge of God in the structure of Christian knowledge. The peculiarity of knowledgemanagement-experiencing determines that it comes directly from God. Theology can be achieved in the course of many years of practical work of an ascetic. The mystical side of knowledge-management is the experience of a direct connection with the Lord, which is difficult to convey in words. Secret knowledge-management exists only in real time in the existential reality of sacred experience. The structural abstract distinguishes two types of metaphysical knowledge – Western and Eastern metaphysics. Western metaphysics is considered to be the universal, most developed type of philosophical rational knowledge, the main goal of which is to develop a theoretical model of the fundamental reality, what is the God. It is reasonable to call Eastern metaphysics the metaphysics of the Path originating in the middle of the first millennium BC in India (Brahmanism, Buddhism, Jainism, etc.) and China (Taoism). Orthodoxy is the Christian version of the metaphysics of the Path, while Sufism is in Islam. Everything is subordinated to the liberation of the ascetic from worldly desires and the achievement of a mystical connection with God in Eastern metaphysics. The metaphysics of the Path includes three components – theoretical construction of the God, difficult practical actions (the Path) and the secret knowledge-management of the God, which are considered in inseparable unity. The Orthodox version of the metaphysics of the Path is one of the most developed in Eastern metaphysics.The texts of Western and Eastern metaphysics differ considerably. The works of Western metaphysicians appeal to the human mind and are predominantly speculative. The writings of Eastern metaphysicians try to reproduce the mental reality of the Path of merit of Enlightenment to a large extent. If rational knowledge of the fundamental foundations of the universe prevails in Western metaphysics, then Orthodox metaphysics is guided by the desire to enter the mystical space of divine reality. (shrink)

Every physical theory has two different forms of mathematical equations to represent its target systems: the dynamical and the kinematical. Kinematical constraints are differentiated from equations of motion by the fact that their particular form is fixed once and for all, irrespective of the interactions the system enters into. By contrast, the particular form of a system's equations of motion depends essentially on the particular interaction the system enters into. All contemporary accounts of the structure and semantics of physical (...) theory treat dynamics, i.e., the equations of motion, as the most important feature of a theory for the purposes of its philosophical analysis. I argue to the contrary that it is the kinematical constraints that determine the structure and empirical content of a physical theory in the most important ways: they function as necessary preconditions for the appropriate application of the theory; they differentiate types of physical systems; they are necessary for the equations of motion to be well posed or even just cogent; and they guide the experimentalist in the design of tools for measurement and observation. It is thus satisfaction of the kinematical constraints that renders meaning to those terms representing a system's physical quantities in the first place, even before one can ask whether or not the system satisfies the theory's equations of motion. (shrink)

Despite the prevalence of the virtue of considerateness in everyday moral discourse and the proliferation of philosophical studies of virtue language, considerateness hardly ever appears on philosophical agendas. When discussed in academia, its meaning seems fuzzy and unclear. This article makes amends for this gap by subjecting considerateness to conceptual scrutiny. The author argues that considerateness designates a cluster concept, encompassing three types of virtuousness that share a family resemblance only. One is a hybrid civic-moral social-glue virtue, extensionally equivalent to (...) Aristotle's virtue of agreeableness. The second is an intellectual virtue of phronetic consideration (moral sensitivity and integration). The third is a full-fledged discrete moral virtue with standard Aristotelian features of a golden-mean structure and an emotional component as a motivator. The advantages of identifying these three types of virtuousness are elicited, as are some of the educational ramifications of analyzing the differentia of considerateness in this way. (shrink)

Research has shown that both adults and children organize familiar activity into discrete units with consistent boundaries, despite the dynamic, continuous nature of everyday experiences. However, less is known about how observers segment unfamiliar event sequences. In the current study, we took advantage of the novelty that is inherent in modern dance. Modern dance features natural human motion but does not contain canonical goals—therefore, observers cannot recruit prior goal‐related knowledge to segment it. Our main aims were to identify whether (...) observers segment modern dance into the steps intended by the dancers, and what types of cues contribute to segmentation under these circumstances. Experiment 1 used a classic event segmentation task and found that adults were able to consistently identify only a few of the dancers’ intended steps. Experiment 2 tested adults in an offline labeling task. Results showed that steps which could more easily be labeled offline in Experiment 2 were more likely to be segmented online in Experiment 1. (shrink)

It is often suggested that aesthetic and ethical value judgements are similar in such a way that they should be analysed in analogous manners. In this paper, I argue that the two types of judgements share four important features concerning disagreement, motivation, categoricity, and argumentation. This, I maintain, helps to explain why many philosophers have thought that aesthetic and ethical value judgements can be analysed in accordance with the same dispositional scheme which corresponds to the analogy between secondary qualities (...) and values. However, I argue that aesthetic and ethical value judgements differ as regards their fundamental structures. This scheme is mistaken as regards ethical value judgements, but it is able to account for aesthetic value judgements. This implies that aesthetic value judgements are autonomous in relation to ethical value judements and that aestheticians, not moral philosophers, are the true heirs of this renowned analogy. (shrink)

A brain tumor is an abnormal mass or growth of a cell that leads to certain death, and this is still a challenging task in clinical practice. Early and correct diagnosis of this type of cancer is very important for the treatment process. For this reason, this study aimed to develop computer-aided systems for the diagnosis of brain tumors. In this research, we proposed three different end-to-end deep learning approaches for analyzing effects of local and deep features for brain (...) MRI images anomaly detection. The first proposed system is Directional Bit-Planes Deep Autoencoder which extracts and learns local and direction features. The DBP-DAE by decomposition of a local binary pattern into eight bit-planes extracts are directional and inherent local-structure features from the input image and learns robust feature for classification purposes. The second one is a Dilated Separable Residual Convolutional Network which extracts high and low-level features. The main advantage of this approach is that it is robust and shows stable results regardless to size of image database and to solve overfitting problems. To explore the effects of mixture of local and deep extracted feature on accuracy of classification of brain anomaly, a multibranch convolutional neural network approach is proposed. This approach is designed according to combination of DBP-DAE and DSRCN in an end-to-end manner. Extensive experiments conducted based on brain tumor in MRI image public access databases and achieves significant results compared to state-of-the-art algorithms. In addition, we discussed the effectiveness and applicability of CNNs with a variety of different features and architectures for brain abnormalities such as Alzheimer’s. (shrink)

A person deserves a punishment if and only if he did a culpable wrongdoing and in virtue of this it is other-things-being intrinsically good that he receive punishment and if he were to receive that punishment then it would be through a non-deviant causal chain that includes the culpable wrongdoing. The wrongdoing may be institutional or pre-institutional depending on whether the moral right that the wrongdoer trespasses upon is dependent on a political institution’s goal. Desert in general, and punitive desert (...) in particular, has a ground for which the agent is blameworthy or praiseworthy and it does not itself general a duty on anyone’s behalf. Both features make desert a different type of moral entity than a moral right. In addition, the two stand in a different relation to autonomy: rights protect a sphere in which autonomy may be exercises whereas desert, including punitive desert, provides a guide to the exercise of autonomy. They thus have different connections to one of the most important value-creating features of a person. This difference between desert and moral rights indicates the need for a separate analysis of each in the context of punishment. (shrink)

Cascades of transcriptional regulation are the common source of the forward drive in all developmental systems. Increases in complexity and specificity of gene expression at successive stages are based on the collaboration of varied combinations of transcription factors already expressed in the cells to turn on new genes, and the logical relationships between the transcription factors acting and becoming newly expressed from stage to stage are best visualized as gene regulatory networks. However, gene regulatory networks used in different developmental contexts (...) underlie processes that actually operate through different sets of rules, which affect the kinetics, synchronicity, and logical properties of individual network nodes. Contrasting early embryonic development in flies and sea urchins with adult mammalian hematopoietic development from stem cells, major differences are seen in transcription factor dosage dependence, the silencing or damping impacts of repression, and the impact of cellular regulatory history on the parts of the genome that are accessible to transcription factor action in a given cell type. These different features not only affect the kinds of models that can illuminate developmental mechanisms in the respective biological systems, but also reflect the evolutionary needs of these biological systems to optimize different aspects of development. (shrink)

Research on the oxidation of alloys supports the claim that natural scientists can and do use ideal type concepts when confronted with analytical or computational intractability. In opposition to those who collapse ideal types into 'standard' theoretical concepts, I argue ideal types possess a unique structure, function and axiology. In phenomenologically complex situations, scientists use these features to articulate experiment with theory generally and in particular to discover new boundary conditions. This conceptual articulation is achieved using models rather (...) than objective perceptual attributes alone. The analysis supports a claim of local rather than global identities of methodology. (shrink)

The acquisition of syntactic categories is a crucial step in the process of acquiring syntax. At this stage, before a full grammar is available, only surface cues are available to the learner. Previous computational models have demonstrated that local contexts are informative for syntactic categorization. However, local contexts are affected by sentence-level structure. In this paper, we add sentence type as an observed feature to a model of syntactic category acquisition, based on experimental evidence showing that pre-syntactic children are (...) able to distinguish sentence type using prosody and other cues. The model, a Bayesian Hidden Markov Model, allows for adding sentence type in a few different ways; we find that sentence type can aid syntactic category acquisition if it is used to characterize the differences in word order between sentence types. In these models, knowledge of sentence type permits similar gains to those found by extending the local context. (shrink)

In this paper, we investigate the possibility of translating a fragment of natural deduction system (NDS) for natural language semantics into modern type theory (MTT), originally suggested by Luo (2014). Our main goal will be to examine and translate the basic rules of NDS (namely, meta-rules, structural rules, identity rules, noun rules and rules for intersective and subsective adjectives) to MTT. Additionally, we will also consider some of their general features.

One of the main criteria for an adequate semantic theory is that it solve the problem of substitution into intensional contexts, otherwise known as Frege's Puzzle. Given common-sense assumptions about how natural language functions, a contradiction arises in explaining attitude reports. For example, Lisa might believe that Twain is tall, but not believe that Clemens is tall. Lisa is perhaps unaware that the names "Twain" and "Clemens" corefer. But Twain's being tall is just Clemens' being tall, so one and the (...) same state of affairs is either believed or not. The tasks are to specify what Lisa believes and to accurately and consistently describe the situation given certain foundational semantic principles. ;I argue that of three main semantic frameworks: Davidsonian Semantics, Model-Theoretic Semantics and Propositional Semantics , PS has the best chance to provide a complete, consistent and natural solution. On my view, dynamic propositions are complex states of affairs where things stand in the propositional relation of having expressions of a certain type which pick them out as semantic values and where those expressions stand in appropriate syntactic relations. The propositional relation crucially involves restricted quantification over expression types which are logical features of the language. The sentences "Twain is tall" and "Clemens is tall" express different DP's because even though their constituents are identical, they stand in distinct propositional relations in virtue of the different syntactic expressions. This explains how Lisa could believe one and not the other. These fine-grained propositions successfully serve as both the truth-conditions of sentences and the objects of propositional attitudes. The solution leads to the surprising result that the question of whether singular terms are Fregean or directly referential is actually irrelevant to Frege's Puzzle. ;While DP's are naturalistic and theoretically well-motivated, they face apparent difficulty accounting for translation and being the objects of mental content. The logical form of DP's limits their possible interpretation and thus sheds light on the conceptual framework of its user. I argue that DP's are not beliefs, but cognitive models that serve as interpretations of beliefs in communication. (shrink)

Why does symbolic communication in humans develop primarily in an oral medium, and how do theories of language origin explain this? Non-human primates, despite their ability to learn and use symbolic signs, do not develop symbols as in oral language. This partly owes to the lack of a direct cortico-motoneuron control of vocalizations in these species compared to humans. Yet such modality-related factors that can impinge on the rise of symbolic language are interpreted differently in two types of evolutionary storylines. (...) 1) Some theories posit that symbolic language originated in a gestural modality, as in “sign languages”. However, this overlooks work on emerging sign and spoken language showing that gestures and speech shape signs differently. 2) In modality-dependent theories, some emphasize the role of iconic sounds, though these lack the efficiency of arbitrary symbols. Other theorists suggest that ontogenesis serves to identify human-specific mechanisms underlying an evolutionary shift from pitch varying to orally-modulated vocalizations (babble). This shift creates numerous oral features that can support efficient symbolic associations. We illustrate this principle using a sound-picture association task with 40 learners who hear words in an unfamiliar language (Mandarin) with and without a filtering of oral features. Symbolic associations arise more rapidly and accurately for sounds containing oral features compared to sounds bearing only pitch features, an effect also reported in experiments with infants. The results imply that, beyond a competence to learn and use symbols, the rise of symbolic language rests on the types of signs that a modality of expression affords. (shrink)

Regulation by design (RBD) is a growing research field that explores, develops, and criticises the regulative function of design. In this article, we provide a qualitative thematic synthesis of the existing literature. The aim is to explore and analyse RBD’s core features, practices, limitations, and related governance implications. To fulfil this aim, we examine the extant literature on RBD in the context of digital technologies. We start by identifying and structuring the core features of RBD, namely the goals, (...) regulators, regulatees, methods, and technologies. Building on that structure, we distinguish among three types of RBD practices: compliance by design, value creation by design, and optimisation by design. We then explore the challenges and limitations of RBD practices, which stem from risks associated with compliance by design, contextual limitations, or methodological uncertainty. Finally, we examine the governance implications of RBD and outline possible future directions of the research field and its practices. (shrink)

Philosophical accounts of thought crucially involve an array of abilities to identify general properties or features of the world (corresponding to concepts) and objects that instantiate those general properties. Abilities of both types can be grounded in a naturalistic account of the usefulness of cognitive structures in adaptive behaviour. Language enhances these abilities by multiplying the experience bases giving rise to them and helping to overcome subjective biases.

It is argued that in deterministic contexts evidence for causal relations states whether a boundary condition makes a difference or not to a phenomenon. In order to substantiate the analysis, I show that this difference/indifference making is the basic type of evidence required for eliminative induction in the tradition of Francis Bacon and John Stuart Mill. To this purpose, an account of eliminative induction is proposed with two distinguishing features: it includes a method to establish the causal irrelevance of (...) boundary conditions by means of indifference making, which is called strict method of agreement, and it introduces the notion of a background against which causal statements are evaluated. Causal statements thus become three-place-relations postulating the relevance or irrelevance of a circumstance C to the examined phenomenon P with respect to a background B of further conditions. To underline the importance of evidence in terms of difference/indifference making, I sketch two areas, in which eliminative induction is extensively used in natural and engineering sciences. One concerns exploratory experiments, the other engineering design methods. Given that a method is discussed that has been used for centuries, I make no claims to novelty in this paper, but hope that the combined discussion of several topics that are still somewhat underrepresented in the philosophy of science literature is of some merit. (shrink)

Many causal systems studied by sciences such as biology, pharmacology, and economics feature causal cycles. Most accounts of causal modelling currently on the market are, however, explicitly designed to study acyclic structures. This chapter focuses on causal cycles and the challenges such cycles pose for causal modelling. First, we distinguish between different types of causal cycles. Then we introduce causal models and discuss a selection of general challenges for cyclic models when it comes to representation, prediction, and causal discovery. Finally, (...) we zoom in on a concrete case from biochemistry: the PI3K/mTOR signalling network that plays a crucial role in regulating the cell cycle. Using this case we discuss some possible pitfalls for the application of causal modelling tools to complex biological cases. (shrink)

Cross-culturally two widely observed forms of social structure are individualism and ascribed hierarchies. Associated with these two types of social structure are a wide range of recurrent concomitant features. It is proposed that these two forms of social structure are common, in part, because they are associated with modular forms of understanding that lend intuitive support to them. In particular, it is proposed that individualistic open societies are associated with a folk-physics mode of construal whereas closed (...) societies are associated with a folk-biological mode of construal. These distinctions are illustrated with the European Enlightenment as a hypothesized transition from closed to open societies. (shrink)

In the debate on causal explanation in biology, in the past two decades largely influenced by the new mechanist approach, the concept of a pathway has recently reemerged as a promising research agenda, 551-572, 2018; The British Journal for the Philosophy of Science, 72, 131-158, 2021). Ross’ account of biological explanation differentiates several autonomous types of causal structures that play explanatory and other roles across the life sciences. NM, however, prioritizes mechanisms as vehicles of biological explanations. According to this program, (...) the causal architecture of biological pathways and other causal structures, such as cascades and processes, can be interpreted with at least one of the NM’s mechanism concepts. In other words, these alternative causal structures are not sufficiently distinctive to merit the explanatory autonomy with regard to the NM corresponding concepts. We examine the explanatory practice of molecular biology and concur with Ross that there are indeed distinct types of causal structures, not all falling under the concept of a mechanism. Nonetheless, we show that the concept of mechanism is referring to a privileged causal structure, at the center of explanatory efforts in molecular biology. Pathways and other causal concepts, while somewhat distinct from mechanisms themselves, are explanatorily relevant to the degree in which they exhibit mechanistic features, are parts of a mechanistic architecture, or may lead to a mechanistic arrangement. What emerges in that manner is a hierarchy of causal structures with mechanisms at the explanatory top, and lower levels differing in the degree in which they contribute to mechanistic arrangements. (shrink)

This article investigates differences in structural tendencies between Japanese newspaper editorials and front-page columns. Although intuitively recognized by Japanese people, such differences have tended to be empirically overlooked in discourse or rhetoric research. This study compares the two text types, specifically focusing on the location of the main topic in the text item rather than the main thesis, the former of which has received less empirical attention than the latter in Japanese discourse research. The study analyzed 30 editorials and 30 (...) front-page columns from three major Japanese newspapers. The results show that the editorials have an early placement pattern, whereas the columns tend to have delayed introductions. These differences were statistically significant, empirically demonstrating how the intuitively recognized structural tendencies between the two text types crucially differ. The finding that there is a systematic early placement of the main topic in Japanese editorials is indicative of a basic common feature among languages in the editorial genre. From a methodological perspective, the study demonstrates the validity of the index of the main topic location as an analytical tool to distinguish different textual structures. (shrink)

The Gompertz distribution is commonly used in biology for modeling fatigue and mortality. This paper studies a class of models proposed by Adham and Walker, featuring a Gompertz type distribution where the dependence structure is modeled by a lognormal distribution, and develops a new multivariate formulation that facilitates several numerical and computational aspects. This paper also implements the FBST, the Full Bayesian Significance Test for pertinent sharp (precise) hypotheses on the lognormal covariance structure. The FBST’s e-value, ev(H), gives (...) the epistemic value of hypothesis, H, or the value of evidence in the observed in support of H. (shrink)

Visual space can be distinguished from physical space. The first is found in visual experience, while the second is defined independently of perception. Theorists have wondered about the relation between the two. Some investigators have concluded that visual space is non-Euclidean, and that it does not have a single metric structure. Here it is argued that visual space exhibits contraction in all three dimensions with increasing distance from the observer, that experienced features of this contraction are not the (...) same as would be the experience of a perspective projection onto a fronto-parallel plane, and that such contraction is consistent with size constancy. These properties of visual space are different from those that would be predicted if spatial perception resulted from the successful solution of the inverse problem. They are consistent with the notion that optical constraints have been internalized. More generally, they are also consistent with the notion that visual spatial structures bear a resemblance relation to physical spatial structures. This notion supports a type of representational relation that is distinct from mere causal correspondence. The reticence of some philosophers and psychologists to discuss the structure of phenomenal space is diagnosed in terms of the simple materialism and the functionalism of the 1970s and 1980s. (shrink)