We give a new and elementary construction of primitive positive decomposition of higher arity relations into binary relations on finite domains. Such decompositions come up in applications to constraint satisfaction problems, clone theory and relational databases. The construction exploits functional completeness of 2-input functions in many-valued logic by interpreting relations as graphs of partially defined multivalued ‘functions’. The ‘functions’ are then composed from ordinary functions in the usual sense. The construction is computationally effective and relies on well-developed methods (...) of functional decomposition, but reduces relations only to ternary relations. An additional construction then decomposes ternary into binary relations, also effectively, by converting certain disjunctions into existential quantifications. The result gives a uniform proof of Peirce’s reduction thesis on finite domains, and shows that the graph of any Sheffer function composes all relations there. (shrink)

Counting functions are shown to be complete by using a simpler argument than that used by Pelletier and Martin.

The claim defended in the paper is that the mechanistic account of explanation can easily embrace idealization in big-scale brain simulations, and that only causally relevant detail should be present in explanatory models. The claim is illustrated with two methodologically different models: Blue Brain, used for particular simulations of the cortical column in hybrid models, and Eliasmith’s SPAUN model that is both biologically realistic and able to explain eight different tasks. By drawing on the mechanistic theory of computational explanation, I (...) argue that large-scale simulations require that the explanandum phenomenon is identified; otherwise, the explanatory value of such explanations is difficult to establish, and testing the model empirically by comparing its behavior with the explanandum remains practically impossible. The completeness of the explanation, and hence of the explanatory value of the explanatory model, is to be assessed vis-à-vis the explanandum phenomenon, which is not to be conflated with raw observational data and may be idealized. I argue that idealizations, which include building models of a single phenomenon displayed by multi-functional mechanisms, lumping together multiple factors in a single causal variable, simplifying the causal structure of the mechanisms, and multi-model integration, are indispensable for complex systems such as brains; otherwise, the model may be as complex as the explanandum phenomenon, which would make it prone to so-called Bonini paradox. I conclude by enumerating dimensions of empirical validation of explanatory models according to new mechanism, which are given in a form of a “checklist” for a modeler. (shrink)

We show that early vision can use monocular cues to rapidly complete partially-occluded objects. Visual search for easily detected fragments becomes difficult when the completed shape is similar to others in the display; conversely, search for fragments that are difficult to detect becomes easy when the completed shape is distinctive. Results indicate that completion occurs via the occlusion-triggered removal of occlusion edges and linking of associated regions. We fail to find evidence for a visible filling-in of contours or surfaces, but (...) do find evidence for a "functional" filling-in that prevents the constituent fragments from being rapidly accessed. As such, it is only the completed structures—and not the fragments themselves—that serve as the basis for rapid recognition. (shrink)

Well-known results due to David Makinson show that there are exactly two Post complete normal modal logics, that in both of them, the modal operator is truth-functional, and that every consistent normal modal logic can be extended to at least one of them. Lloyd Humberstone has recently shown that a natural analog of this result in congruential modal logics fails, by showing that not every congruential modal logic can be extended to one in which the modal operator is truth- (...) class='Hi'>functional. As Humberstone notes, the issue of Post completeness in congruential modal logics is not well understood. The present article shows that in contrast to normal modal logics, the extent of the property of Post completeness among congruential modal logics depends on the background set of logics. Some basic results on the corresponding properties of Post completeness are established, in particular that although a congruential modal logic is Post complete among all modal logics if and only if its modality is truth-functional, there are continuum many modal logics Post complete among congruential modal logics. (shrink)

John Searle has argued that functions owe their existence to the value that we put into life and survival. In this paper, I will provide a critique of Searle’s argument concerning the ontology of functions. I rely on a standard analysis of functional predicates as relating not only a biological entity, an activity that constitutes the function of this entity and a type of system but also a goal state. A functional attribution without specification of such a goal (...) state has no truth-value. But if completed with a goal state, functional attributions understood as four-place relations attain a truth-value. The truth conditions of all attributions of function involve a dependence claim of the goal state on the function bearer’s activity. The nature of this dependence may differ; I consider five different possibilities: causality, mechanistic constitution, mereology, supervenience and metaphysical grounding. If these dependency relations are objective, Searle’s central ontological thesis fails. What he ought to have said is that our valuing survival or other goal states may be the reason why biology seeks functional knowledge, but this has nothing to do with ontology. I will show further that Searle also raised an interesting challenge concerning the relationship of functional and causal truths, but it does not threaten the objectivity of functions either. At best, it could show that functional vocabulary is eliminable. However, I will show that functional vocabulary is not so eliminable. (shrink)

In his 1918 logical atomism lectures, Russell argued that there are no molecular facts. But he posed a problem for anyone wanting to avoid molecular facts: we need truth-makers for generalizations of molecular formulas, but such truth-makers seem to be both unavoidable and to have an abominably molecular character. Call this the problem of generalized molecular formulas. I clarify the problem here by distinguishing two kinds of generalized molecular formula: incompletely generalized molecular formulas and completely generalized molecular formulas. I next (...) argue that, if empty worlds are logically possible, then the model-theoretic and truth-functional considerations that are usually given address the problem posed by the first kind of formula, but not the problem posed by the second kind. I then show that Russell’s commitments in 1918 provide an answer to the problem of completely generalized molecular formulas: some truth-makers will be non-atomic facts that have no constituents. This shows that the neo-logical atomist goal of defending the principle of atomicity—the principle that only atomic facts are truth-makers—is not realizable. (shrink)

Contemporary semantic description of logic is based on the ontology of all possible interpretations, an insufficiently clear metaphysical concept. In this article, logic is described as the internal organization of language. Logical concepts -- logical constants, logical truths, and logical consequence -- are defined using the internal syntactic and semantic structure of language. For a first-order language, it has been shown that its logical constants are connectives and a certain type of quantifiers for which the universal and existential quantifiers form (...) a functionally complete set of quantifiers. Neither equality nor cardinal quantifiers belong to the logical constants of a first-order language. (shrink)

A study of how for Hegel the relation of architecture to building function has varied throughout history. Architecture strives to liberate itself, never completely, from domination by function.

In Plato’s Symposium, the mysterious Apollodorus recounts to an unnamed comrade, and to us, Aristodemus’ story of just what happened at Agathon’s drinking party. Since Apollodorus did not attend the party, however, it is unclear what relevance he could have to our understanding of Socrates’ speech, or to the Alcibiadean “satyr and silenic drama” (222d) that follows. The strangeness of Apollodorus is accentuated by his recession into the background after only two Stephanus pages. What difference—if any—does Apollodorus make to the (...) Symposium? Does his inclusion call the dramatic and philosophical unity of the work into question? I argue that despite initial appearances, Plato has important philosophical reasons for including Apollodorus as a character. Far from being an odd appendage to an otherwise complete narrative, the figure of Apollodorus is useful for our understanding of Socrates’s conception of eros later in the work. (shrink)

Several theories propose that one of the core functions of inner speech (IS) is to support subjects in the completion of cognitively effortful tasks, especially those involving executive functions (EF). In this paper we focus on two populations who notoriously encounter difficulties in performing EF tasks, namely, people diagnosed with schizophrenia who experience auditory verbal hallucinations (Sz-AVH) and people within the Autism Spectrum Conditions (ASC). We focus on these two populations because they represent two different ways in which IS can (...) fail to help in EF tasks, which can be illustrative for other mental conditions. First, we review the main components of EF (Section 1). Then we explain the functions that IS is taken to perform in the domain of EF (Section 2) and review the evidence concerning problems about EF in the two populations of our study: Sz-AVH (Section 3) and ASC (Section 4). After this we further detail our account about what a properly functioning IS can do for both populations and how different IS profiles may impact EF performance: in the case of Sz-AVH, the uncontrolled and intrusive character of IS negatively affects EF performance, whereas in ASC, EF is not sufficiently supported by IS, given the tendency in this population to present a diminished use of IS (Section 5). We finally briefly discuss Attention Deficit/Hyperactivity Disorder (ADHD) and Developmental Language Disorders (DLD). (shrink)

Essential for the concept of the law of nature is not only spatio-temporal universality, but also functionality in the sense of the dependency on physical conditions of natural entities. In the following it is explained in detail that just the neglect of this functional property is to be understood as the real reason for the occurrence of the Goodman paradox – with the consequence, that the behavior of things seems to be completely at the mercy of change of unique (...) unrepeatable temporal points. It is exactly this (mis-)understanding that also generated the induction problem. From the intrinsic connection between universality and functionality, however, – that is my claim – the ontological consequence of a nature results, for which lawfulness is coupled to essentially functionally defined time sequences, thereby implying a potentiality dimension of nature, too. (shrink)

In this paper we give an analytic tableau calculus P L 1 6 for a functionally complete extension of Shramko and Wansing’s logic. The calculus is based on signed formulas and a single set of tableau rules is involved in axiomatising each of the four entailment relations ⊧ t, ⊧ f, ⊧ i, and ⊧ under consideration—the differences only residing in initial assignments of signs to formulas. Proving that two sets of formulas are in one of the first three entailment (...) relations will in general require developing four tableaux, while proving that they are in the ⊧ relation may require six. (shrink)

5-MeO-DMT is a psychedelic substance with a short duration of action and intensive effects. Its therapeutic efficacy and practicality may significantly surpass those of classical psychedelics such as ayahuasca and LSD. -/- This retrospective ethnographic inquiry features a woman in her mid-thirties who witnessed her mother's violent suicide and its bloody aftermath at the age of three. Before and after that, her childhood was characterized by domestic violence and sexual abuse perpetrated by several members of her family and extended family. (...) In her twenties and thirties, she dated a member of the local mafia with the intention of asking him to kill her father, who had been the main perpetrator of the sexual abuse and violence. This plan was eventually not carried out, but it reflected her deep bitterness and wrath. -/- A process initiated in her early thirties involving four 5-MeO-DMT sessions and a few additional sessions with psilocybin and ayahuasca in the course of two years completely resolved her symptoms related to the abuses, to the extent that she could rebuild a functional relationship with her father and feel love and compassion towards him. This outcome, i.e., the complete reversal of her attitude and emotions towards her father, appeared highly unusual. For the last three years, the outcome had remained stable. -/- The article also presents the perspective of a female facilitator of this treatment process. The article contributes to a better understanding of the use of 5-MeO-DMT in severe traumatization as well as exemplifies the possible positive contributions of actors who are not medical professionals in resolving deep collective traumatization in societies. (shrink)

In this article, logical concepts are defined using the internal syntactic and semantic structure of language. For a first-order language, it has been shown that its logical constants are connectives and a certain type of quantifiers for which the universal and existential quantifiers form a functionally complete set of quantifiers. Neither equality nor cardinal quantifiers belong to the logical constants of a first-order language.

This study aims to find out how high the level and trends of student misconceptions experienced by high school students in Indonesia. The subject of research that is a class XI student of Natural Science (IPA) SMA Negeri 1 Anjatan with the subject matter limit function. Forms of research used in this study is a qualitative research, with a strategy that is descriptive qualitative research. The data analysis focused on the results of the students' answers on the test essay subject (...) matter limit function with the number of students by 16 (sixteen). Data collection techniques used are shaped test methods essay, interview method to students who have misconceptions, and methods of documentation of the test answers. Examination of the validity of the data using a triangulation technique that compares the data written test results with data from interviews. The results of this study can be described as follows; (1) The level of misconceptions experienced by students belonging to the category of low, amounting to 12.18%. However, students who do not understand the concept quite high at 40.38%, and the others are students who understand the concept that is equal to 47.44%. (2) The misconception most experienced students lie in subconcepts explain the meaning of limit function at one point through the calculation of values around that point, that is equal to 20.51%. The tendency misconceptions experienced by students is located on errors and operating concepts that misconceptions students that there should be no limit in the completion of the writing of the emblem and misconceptions about the limit students to conclude if the limit value of 0 is no limit to the value of the function. (shrink)

We present an abstract social aggregation theorem. Society, and each individual, has a preorder that may be interpreted as expressing values or beliefs. The preorders are allowed to violate both completeness and continuity, and the population is allowed to be infinite. The preorders are only assumed to be represented by functions with values in partially ordered vector spaces, and whose product has convex range. This includes all preorders that satisfy strong independence. Any Pareto indifferent social preorder is then shown (...) to be represented by a linear transformation of the representations of the individual preorders. Further Pareto conditions on the social preorder correspond to positivity conditions on the transformation. When all the Pareto conditions hold and the population is finite, the social preorder is represented by a sum of individual preorder representations. We provide two applications. The first yields an extremely general version of Harsanyi's social aggregation theorem. The second generalizes a classic result about linear opinion pooling. (shrink)

We show that without assuming completeness or continuity, a strongly independent preorder on a possibly infinite dimensional convex set can always be given a vector-valued representation that naturally generalizes the standard expected utility representation. More precisely, it can be represented by a mixture-preserving function to a product of lexicographic function spaces.

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions (...) of the connectives in question. (shrink)

Cognitive flexibility, the adaptation of representations and responses to new task demands, improves dramatically in early childhood. It is unclear, however, whether flexibility is a coherent, unitary cognitive trait, or is an emergent dimension of task-specific performance that varies across populations with divergent experiences. Three-to 5-year-old English-speaking U.S. children and Tswana-speaking South African children completed two distinct language-processing cognitive flexibility tests: the FIM-Animates, a word-learning test, and the 3DCCS, a rule-switching test. U.S. and South African children did not differ in (...) word-learning flexibility but showed similar age-related increases. In contrast, U.S. preschoolers showed an age-related increase in rule-switching flexibility but South African children did not. Verbal recall explained additional variance in both tests but did not modulate the interaction between population sample (i.e., country) and task. We hypothesize that rule-switching flexibility might be more dependent upon particular kinds of cultural experiences, whereas word-learning flexibility is less cross-culturally variable. (shrink)

Michael Ryan's Literary Theory: A Practical Introduction, Second Edition introduces students to the full range of contemporary approaches to the study of literature and culture, from Formalism, Structuralism, and Historicism to Ethnic Studies, Gender Studies, and Global English. Introduces readings from a variety of theoretical perspectives, on classic literary texts. Demonstrates how the varying perspectives on texts can lead to different interpretations of the same work. Contains an accessible account of different theoretical approaches An ideal resource for use in introductory (...) courses on literary theory and criticism. Designed to function both as a stand-alone text and a companion to Rivkin and Ryan’s Literary Theory: An Anthology, Second Edition. (shrink)

In recent work, Andrew T. Forcehimes and Robert B. Talisse correctly note that G.A. Cohen’s fact-insensitivity thesis, properly understood, is explanatory. This observation raises an important concern. If fact-insensitive principles are explanatory, then what role can they play in normative deliberations? The purpose of my paper is, in part, to address this question. Following David Miller, I indicate that on a charitable understanding of Cohen’s thesis, an explanatory principle explains a justificatory fact by completing an otherwise logically incomplete inference. As (...) a result, the explanatory role such a principle plays is inseparable from its status as a (not necessarily successful) justificatory reason. With this interpretation in hand, I then proceed to argue that Lea Ypi’s and Robert Jubb’s recent criticisms fail to undermine Cohen’s thesis, and that fact-insensitive principles, once discovered, are especially helpful for purposes of deliberation in circumstances characterized by changing and changeable feasibility constraints. (shrink)

In this paper, we present a non-trivial and expressively complete paraconsistent naïve theory of truth, as a step in the route towards semantic closure. We achieve this goal by expressing self-reference with a weak procedure, that uses equivalences between expressions of the language, as opposed to a strong procedure, that uses identities. Finally, we make some remarks regarding the sense in which the theory of truth discussed has a property closely related to functional completeness, and we present a (...) sound and complete three-sided sequent calculus for this expressively rich theory. (shrink)

In their paper Nothing but the Truth Andreas Pietz and Umberto Rivieccio present Exactly True Logic, an interesting variation upon the four-valued logic for first-degree entailment FDE that was given by Belnap and Dunn in the 1970s. Pietz & Rivieccio provide this logic with a Hilbert-style axiomatisation and write that finding a nice sequent calculus for the logic will presumably not be easy. But a sequent calculus can be given and in this paper we will show that a calculus for (...) the Belnap-Dunn logic we have defined earlier can in fact be reused for the purpose of characterising ETL, provided a small alteration is made—initial assignments of signs to the sentences of a sequent to be proved must be different from those used for characterising FDE. While Pietz & Rivieccio define ETL on the language of classical propositional logic we also study its consequence relation on an extension of this language that is functionally complete for the underlying four truth values. On this extension the calculus gets a multiple-tree character—two proof trees may be needed to establish one proof. (shrink)

Formal epistemologists often claim that our credences should be representable by a probability function. Complete probabilistic coherence, however, is only possible for ideal agents, raising the question of how this requirement relates to our everyday judgments concerning rationality. One possible answer is that being rational is a contextual matter, that the standards for rationality change along with the situation. Just like who counts as tall changes depending on whether we are considering toddlers or basketball players, perhaps what counts as rational (...) shifts according to whether we are considering ideal agents or creatures more like ourselves. Even though a number of formal epistemologists have endorsed this type of solution, I will argue that there is no way to spell out this contextual account that can make sense of our everyday judgments about rationality. Those who defend probabilistic coherence requirements will need an alternative account of the relationship between real and ideal rationality. (shrink)

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with (...) solutions are available. It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

In this paper we introduce a Gentzen calculus for (a functionally complete variant of) Belnap's logic in which establishing the provability of a sequent in general requires \emph{two} proof trees, one establishing that whenever all premises are true some conclusion is true and one that guarantees the falsity of at least one premise if all conclusions are false. The calculus can also be put to use in proving that one statement \emph{necessarily approximates} another, where necessary approximation is a natural dual (...) of entailment. The calculus, and its tableau variant, not only capture the classical connectives, but also the `information' connectives of four-valued Belnap logics. This answers a question by Avron. (shrink)

A three dimensional hypercube representing all of the 4,096 dyadic computations in a standard bivalent system has been created. It has been constructed from the 16 functions arrayed in a table of functional completeness that can compute a dyadic relationship. Each component of the dyad is an operator as well as a function, such as “implication” being a result, as well as an operation. Every function in the hypercube has been color keyed to enhance the display of emerging (...) patterns. At the minimum, the hypercube is a “multiplication table” of dyadic computations and produces values in a way that shortens the time to do operations that normally would take longer using conventional truth table methods. It also can serve as a theorem prover and creator. With the hypercube comes a deductive system without the need for axioms. The main significance of the 3-D hypercube at this point is that it is the most fundamental way of displaying all dyadic computations in binary space, thus serving as a way of normalizing the rendition of uninterpreted, or raw, binary space. The hypercube is a dimensionless entity, a standard by which in binary spaces can be measured and classified, analogous to a meter stick. (shrink)

In their recent paper Bi-facial truth: a case for generalized truth values Zaitsev and Shramko [7] distinguish between an ontological and an epistemic interpretation of classical truth values. By taking the Cartesian product of the two disjoint sets of values thus obtained, they arrive at four generalized truth values and consider two “semi-classical negations” on them. The resulting semantics is used to define three novel logics which are closely related to Belnap’s well-known four valued logic. A syntactic characterization of these (...) logics is left for further work. In this paper, based on our previous work on a functionally complete extension of Belnap’s logic, we present a sound and complete tableau calculus for these logics. It crucially exploits the Cartesian nature of the four values, which is reflected in the fact that each proof consists of two tableaux. The bi-facial notion of truth of Z&S is thus augmented with a bi-facial notion of proof. We also provide translations between the logics for semi-classical negation and classical logic and show that an argument is valid in a logic for semi-classical negation just in case its translation is valid in classical logic. (shrink)

The complete arithmetization of the bivalued propositional logic is here presented and extended with original functions not hitherto included in other interpretations of propositional logic, as the algebraic logic or sets theory. An historical review of the former attempts of arithmetical representation of the propositional logic is presented.

In a recent paper we have defined an analytic tableau calculus PL_16 for a functionally complete extension of Shramko and Wansing's logic based on the trilattice SIXTEEN_3. This calculus makes it possible to define syntactic entailment relations that capture central semantic relations of the logic---such as the relations |=_t, |=_f, and |=_i that each correspond to a lattice order in SIXTEEN_3; and |=, the intersection of |=_t and |=_f,. -/- It turns out that our method of characterising these semantic relations---as (...) intersections of auxiliary relations that can be captured with the help of a single calculus---lends itself well to proving interpolation. All entailment relations just mentioned have the interpolation property, not only when they are defined with respect to a functionally complete language, but also in a range of cases where less expressive languages are considered. For example, we will show that |=, when restricted to L_{tf}, the language originally considered by Shramko and Wansing, enjoys interpolation. This answers a question that was recently posed by M. Takano. (shrink)

Focused on evolutionary and continuous human development the global, the regulatory system should be formed in the conceptual (the constant research for the detection, identification and evaluation of global imperatives) and application (development and implementation of activities and coordination tools of influence to ensure the existence of human civilization in a secure politically, economically, socially and environmentally balanced world) planes. On the author's calculations of its formation in functionally complete, holistic view is expected by 2030 due to historically conditioned transformations (...) in the nature of social relations. (shrink)

We provide a new perspective on the relation between the space of description of an object and the appearance of novelties. One of the aims of this perspective is to facilitate the interaction between mathematics and historical sciences. The definition of novelties is paradoxical: if one can define in advance the possibles, then they are not genuinely new. By analyzing the situation in set theory, we show that defining generic (i.e., shared) and specific (i.e., individual) properties of elements of a (...) set are radically different notions. As a result, generic and specific definitions of possibilities cannot be conflated. We argue that genuinely stating possibilities requires that their meaning has to be made explicit. For example, in physics, properties playing theoretical roles are generic; then, generic reasoning is sufficient to define possibilities. By contrast, in music, we argue that specific properties matter, and generic definitions become insufficient. Then, the notion of new possibilities becomes relevant and irreducible. In biology, among other examples, the generic definition of the space of DNA sequences is insufficient to state phenotypic possibilities even if we assume complete genetic determinism. The generic properties of this space are relevant for sequencing or DNA duplication, but they are inadequate to understand phenotypes. We develop a strong concept of biological novelties which justifies the notion of new possibilities and is more robust than the notion of changing description spaces. These biological novelties are not generic outcomes from an initial situation. They are specific and this specificity is associated with biological functions, that is to say, with a specific causal structure. Thus, we think that in contrast with physics, the concept of new possibilities is necessary for biology. (shrink)

Philosophers typically rely on intuitions when providing a semantics for counterfactual conditionals. However, intuitions regarding counterfactual conditionals are notoriously shaky. The aim of this paper is to provide a principled account of the semantics of counterfactual conditionals. This principled account is provided by what I dub the Royal Rule, a deterministic analogue of the Principal Principle relating chance and credence. The Royal Rule says that an ideal doxastic agent’s initial grade of disbelief in a proposition \(A\) , given that the (...) counterfactual distance in a given context to the closest \(A\) -worlds equals \(n\) , and no further information that is not admissible in this context, should equal \(n\) . Under the two assumptions that the presuppositions of a given context are admissible in this context, and that the theory of deterministic alethic or metaphysical modality is admissible in any context, it follows that the counterfactual distance distribution in a given context has the structure of a ranking function. The basic conditional logic V is shown to be sound and complete with respect to the resulting rank-theoretic semantics of counterfactuals. (shrink)

Human beings have the ability to ‘augment’ reality by superimposing mental imagery on the visually perceived scene. For example, when deciding how to arrange furniture in a new home, one might project the image of an armchair into an empty corner or the image of a painting onto a wall. The experience of noticing a constellation in the sky at night is also perceptual-imaginative amalgam: it involves both seeing the stars in the constellation and imagining the lines that connect them (...) at the same time. I here refer to such hybrid experiences – involving both a bottom-up, externally generated component and a top-down, internally generated component – as make-perceive (Briscoe 2008, 2011). My discussion in this paper has two parts. In the first part, I show that make-perceive enables human beings to solve certain problems and pursue certain projects more effectively than bottom-up perceiving or top-down visualization alone. To this end, the skillful use of projected mental imagery is surveyed in a variety of contexts, including action planning, the interpretation of static mechanical diagrams, and non-instrumental navigation. In the second part, I address the question of whether make-perceive may help to account for the “phenomenal presence” of occluded or otherwise hidden features of perceived objects. I argue that phenomenal presence is not well explained by the hypothesis that hidden features are represented using projected mental images. In defending this position, I point to important phenomenological and functional differences between the way hidden object features are represented respectively in mental imagery and amodal completion. (shrink)

The research aims to identify the reality of modern methods applied in the process of performance assessments of employees in the municipalities of Gaza-strip, Complete Census method of community study was used, (571) questionnaires were distributed to all members of the community study, (524) questionnaires were recovery with rate of (91.76%). The most important findings of the study: There were statistically significant relationship differences between the applications of modern methods in the performance assessments of employees in the municipalities of Gaza-strip. (...) There was statistically significant relationship between the evaluation criteria that fit the required performance and the application of standards evaluations on performance of employees in the municipalities of Gaza-strip. There was statistically significant relationship between the use of methods, models for the evaluation of appropriate functions and the application of the performance assessments of employees in the municipalities of Gaza-strip. There was statistically significant relationship between the feedback and the application of performance assessments of employees in the municipalities of Gaza-strip. There was statistically significant relationship between the efficient, professional assessors and the application of the performance assessments of employees in the municipalities of Gaza-strip. There was statistically significant relationship between the extent of awareness of subordinates, participation in the evaluation of their performance and the application of the performance assessments of employees in the municipalities of Gaza-strip. The research also concluded a series of recommendations, including: that the design of evaluation models must be done with the participation of the employees and inform them of it, and that a date must be set to provide feedback and discuss the results with them, that they should be allowed grievance in front of an ad hoc committee in accordance with the known system. Direct manager must inform employees of their performance assessment date, discuss the results of the evaluation with them, and others should be involved with the direct manager of employees in their performance evaluation. The application of modern methods of performance evaluation through the good and purposeful planning should be used, analyzing and employing the results in administrative decisions regarding the employees, and the application of modern methods must be used in an effective and efficient performance evaluation. (shrink)

Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic (...) Analysis of Variable Binding Term Operators” (Co-author John Herring), Logique et Analyse 55, 646–57. MR0307874 (46 #6989). A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. Kalish-Montague 1964 proposed using vbtos to formalize definite descriptions “the x: x+x=2”, set abstracts {x: F}, minimization in recursive function theory “the least x: x+x>2”, etc. However, they gave no semantics for vbtos. Hatcher 1968 gave a semantics but one that has flaws described in the 1971 paper and admitted by Hatcher. In 1971 we give a correct semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture, proved in this paper with Hatcher’s help, was proved independently about the same time by Newton da Costa. (shrink)

Perception is a central means by which we come to represent and be aware of particulars in the world. I argue that an adequate account of perception must distinguish between what one perceives and what one's perceptual experience is of or about. Through capacities for visual completion, one can be visually aware of particular parts of a scene that one nevertheless does not see. Seeing corresponds to a basic, but not exhaustive, way in which one can be visually aware of (...) an item. I discuss how the relation between seeing and visual awareness should be explicated within a representational account of the mind. Visual awareness of an item involves a primitive kind of reference: one is visually aware of an item when one's visual perceptual state succeeds in referring to that particular item and functions to represent it accurately. Seeing, by contrast, requires more than successful visual reference. Seeing depends additionally on meta-semantic facts about how visual reference happens to be fixed. The notions of seeing and of visual reference are both indispensable to an account of perception, but they are to be characterized at different levels of representational explanation. (shrink)

The paper is Part III of the large research, dedicated to both the revision of the system of basic logical categories and the generalization of modern predicate logic to functional logic. We determinate and contrapose modern Fregean logistics and proposed by the author ultra-Fregean logistics, next we describe values and arguments of functions, arguments of relations, relations themselves, sets (classes), and subsets (subclasses) as derivative categories (concepts) of ultrafregean logistics. Logistics is a part of metalogic, independent of semantics. Fregean (...) logictics is a metalogical theory, based on the quadruple <particular (individual), predicate, equality, sequence>; it generates predicate logic. Ultrafregean logictics is based on the quadruple <particular, function, representation, sequence>, where the notion of a function is a generalization of the notion of a predicate and the notion of representation is a generalization of the notion of equality; this logictics generates functional logic. For the completely correct denotation of the functional values, we need the Churchian symbolics with parenthesis. Predicates are usually identified with relations. A relation is the derived and even definable category of ultra-Fregean logictics. Namely, relations are representations by functions (of one of their arguments). We show that Frege could really establish this definition and the notion (category) of representation but, unfortunately, rejected this course of thought. Next, we show that every n-ary relation can be resolved for some of its arguments via some (n-1)-ary function. A set, or class, is a derived and not definable category of ultra-Fregean logistics. The universal way to introduce the sets is Frege’s abstraction principle. We formulate this principle for functional logic and show that the notion of a set is quantified, so there is the dual existential notion of a nonempty subset, involved by the same abstraction principle. (shrink)

Spontaneous collapse theories of quantum mechanics turn the usual Schrödinger equation into a stochastic dynamical law. In particular, in this paper, I will focus on the GRW theory. Two philosophical issues that can be raised about GRW concern (i) the ontology of the theory, in particular the nature of the wave function and its role within the theory, and (ii) the interpretation of the objective probabilities involved in the dynamics of the theory. During the last years, it has been claimed (...) that we can take advantage of dispositional properties in order to develop an ontology for GRW theory, and also in order to ground the objective probabilities which are postulated by it. However, in this paper, I will argue that the dispositional interpretations which have been discussed in the literature so far are either flawed or – at best – incomplete. If we want to endorse a dispositional interpretation of GRW theory we thus need an extended account that specifies the precise nature of those properties and which makes also clear how they can correctly ground all the probabilities postulated by the theory. Thus, after having introduced several different kinds of probabilistic dispositions, I will try to fill the gap in the literature by proposing a novel and complete dispositional account of GRW, based on what I call spontaneous weighted multi-track propensities. I claim that such an account can satisfy both of our desiderata. (shrink)

All existing impossibility theorems on judgment aggregation require individual and collective judgment sets to be consistent and complete, arguably a demanding rationality requirement. They do not carry over to aggregation functions mapping profiles of consistent individual judgment sets to consistent collective ones. We prove that, whenever the agenda of propositions under consideration exhibits mild interconnections, any such aggregation function that is "neutral" between the acceptance and rejection of each proposition is dictatorial. We relate this theorem to the literature.

Many philosophers think the distinctive function of deontic evaluation is to guide action. This idea is used in arguments for a range of substantive claims. In this paper, we entirely do one completely destructive thing and partly do one not entirely constructive thing. The first thing: we argue that there is an unrecognized gap between the claim that the function of deontic evaluation is to guide action and attempts to put that claim to use. We consider and reject four arguments (...) intended to bridge this gap. The interim conclusion is thus that arguments starting with the claim that the function of deontic evaluation is to guide action have a lacuna. The second thing: we consider a different tack for making arguments of this sort work. We sketch a methodology one could accept that would do the trick. Unfortunately, as we’ll explain, although this methodology would bridge the gap in arguments that put claims about the function of deontic evaluation to work, it would do so in a way that vitiates any interest we might have in such arguments. As an aside, we’ll also point out how epistemologists, who have recently become interested in the function of epistemic evaluation, appear to already recognize this fact. The conclusion is hence a dilemma: either arguments from deontic function to substance have a lacuna or such arguments lack teeth. (shrink)

Pure shape dynamics (PSD) is a novel implementation of the relational framework originally proposed by Julian Barbour and Bruno Bertotti. PSD represents a Leibnizian/Machian approach to physics in that it completely describes the dynamical evolution of a physical system without resorting to any structure external to the system itself. The chapter discusses how PSD effectively describes a de Broglie-Bohm N-body system and the conceptual benefits of such a relational description. The analysis will highlight the new directions in the quest for (...) an understanding of the nature of the wave function that are opened up by a modern relationalist elaboration on de Broglie's and Bohm's original insights. (shrink)

In recent years, some authors have proposed quantitative measures of the coherence of sets of propositions. Such probabilistic measures of coherence (PMCs) are, in general terms, functions that take as their argument a set of propositions (along with some probability distribution) and yield as their value a number that is supposed to represent the degree of coherence of the set. In this paper, I introduce a minimal constraint on PMC theories, the weak stability principle, and show that any correct, coherent, (...) and complete PMC cannot satisfy it. As a matter of fact, the argument offered in this paper can be applied to any coherence theory that uses a priori procedures. I briefly explore some consequences of this fact. (shrink)

Chalmers introduced the hard problem of consciousness as a profound gap between experience and physical concepts. Philosophical theories were based on different interpretations concerning the qualia/concept gap, such as interactive dualism (Descartes), as well as mono aspect or dual aspect monism. From a bio-psychological perspective, the gap can be explained by the different activity of two mental functions realizing a mental representation of extra-mental reality. The function of elementary sensation requires active sense organs, which create an uninterrupted physical chain from (...) extra-mental reality to the brain and reflect the present. The function of categorizing reflection no longer needs sense organs, so that the physical chain to extra-mental reality is interrupted and now reflects the past. Whereas elementary sensation is an open system, categorizing reflection remains a closed system, separated from extra-mental reality. This creates the potentiality/reality gap, since prediction from the closed to the open system remains always uncertain. Elementary sensation is associated to specific qualia for each sense organ. Chalmers also attributed qualia to thoughts, with more neutral thought qualia. Thus at the qualia level, there is also an important gap, but now between specific sense qualia and neutral thought qualia. Since all physical concepts are simultaneously linked to neutral thought qualia, the hard problem might be explained by a qualia/qualia gap instead of a qualia/concept gap. The mental function of categorizing reflection induces the change from sense qualia to thought qualia by a categorization process. The specific sense qualia mosaic of an apple is reduced to physical concepts with neutral qualia by progressive categorization first to fruit, then to food, to chemicals and finally to calories. This might explain the gap felt in the hard problem, since specific sense qualia are completely different from neutral thought qualia, so that the hard problem could already be encountered at the qualia level. Since the gap of the hard problem is due to the interaction of different mental functions, it is compatible with a philosophical monism. (shrink)

Essential for the concept of the law of nature is not only spatio-temporal universality, but also functionality in the sense of the dependency on physical conditions of natural entities. In the following it is explained in detail that just the neglect of this functional property is to be understood as the real reason for the occurrence of the Goodman paradox. As a consequence, the behavior of things seems to be completely at the mercy of the temporal change of unique (...) absolute temporal points. It is exactly this (mis-)understanding that also generated the induction problem. From the intrinsic connection between universality and functionality, however, - that is my claim - the ontological consequence of a nature results, for which the potentiality of lawfulness is coupled to essentially functionally defined time sequences. (shrink)

Dynamicism has provided cognitive science with important tools to understand some aspects of “how cognitive agents work” but the issue of “what makes something cognitive” has not been sufficiently addressed yet, and, we argue, the former will never be complete without the later. Behavioristic characterizations of cognitive properties are criticized in favor of an organizational approach focused on the internal dynamic relationships that constitute cognitive systems. A definition of cognition as adaptive-autonomy in the embodied and situated neurodynamic domain is provided: (...) the compensatory regulation of a web of stability dependencies between sensorimotor structures, is created and preserved during a historical/developmental process. We highlight the functional role of emotional embodiment: internal bioregulatory processes coupled to the formation and adaptive regulation of neurodynamic autonomy. Finally, we discuss a “minimally cognitive behavior program” in evolutionary simulation modelling suggesting that much is to be learned from a complementary “minimally cognitive organization program”. (shrink)

Classical interpretations of Goedels formal reasoning, and of his conclusions, implicitly imply that mathematical languages are essentially incomplete, in the sense that the truth of some arithmetical propositions of any formal mathematical language, under any interpretation, is, both, non-algorithmic, and essentially unverifiable. However, a language of general, scientific, discourse, which intends to mathematically express, and unambiguously communicate, intuitive concepts that correspond to scientific investigations, cannot allow its mathematical propositions to be interpreted ambiguously. Such a language must, therefore, define mathematical truth (...) verifiably. We consider a constructive interpretation of classical, Tarskian, truth, and of Goedel's reasoning, under which any formal system of Peano Arithmetic---classically accepted as the foundation of all our mathematical Languages---is verifiably complete in the above sense. We show how some paradoxical concepts of Quantum mechanics can, then, be expressed, and interpreted, naturally under a constructive definition of mathematical truth. (shrink)

People inhabit a vast and intricate social network nowadays. In addition to our own decisions and actions, we confront those of various groups every day. Collective decisions and actions are more complex and bewildering compared to those made by individuals. As members of a collective, we contribute to its decisions, but our contributions may not always align with the outcome. We may also find ourselves excluded from certain groups and passively subjected to their influences without being aware of the source. (...) We are used to being in overlapping groups and may switch identities, supporting or opposing the claims of particular groups. But rarely do we pause to think: What do we talk about when we talk about groups and their decisions? At the heart of this dissertation is the question of collective agency, i.e., in what sense can we treat a group as a rational agent capable of its action. There are two perspectives we take: a philosophical and logical one. The philosophical perspective mainly discusses the ontological and epistemological issues related to collective agency, sorts out the relevant philosophical history, and argues that the combination of a relational view of collective agency and a dispositional view of collective intentionality provides a rational and realistic account. The logical perspective is associated with formal theories of groups, it disregards the psychological content involved in the philosophical perspective, establishes a logical system that is sufficiently formal and objective, and axiomatizes the nature of a collective. The first topic that is addressed is the ontology of collective agency, i.e., the question what exactly is collective agency. The philosophical discussion of collective agency centres around the reduction problem of the concept of a collective. Individualism and Cartesian internalism have long influenced orthodox theories and made them face the choice between an irreducible concept of a collective and ontological reductionism. Heterodox theories such as functionalism and interpretationism reinterpret the concept of agency and accept it as also realized on the level of a collective. To adequately explain social phenomena that are essentially relational in nature, we propose a relational, holistic account of collective agency and argue that functionalism and interpretationism can be integrated into such an account. While acknowledging the irreducibility of the concept of a collective, we find that there is a deep incompatibility between the concept of a collective and the concept of intentionality as the mark of the mental. To explain how collective intentionality nevertheless is possible and why we tend to use it analogously to how we use the concept of individual intentionality, we explore a dispositional account of intentionality which enables us to give an account of the concept of intentionality at both the individual and collective level. Specifically, we subdivide the dispositional account into three aspects: behavioral, purely mental, and cognitive. We then argue that collective intentionality is real by analyzing different forms of attributive judgments of intentionality and by introducing the perspective of indispensable collective responsibility. We also analyze how philosophical theories about collective agency relate to central features of formal theories about collective decisions, such as game theory. Although the two fields are both concerned with collectives, there are also differences that need to be addressed. For example, game theory is clearly anti-psychologistic since its aim is a formal and objective analysis. However, from the relational and dispositional perspective, intentionality at the individual level and collective intentionality as we analyze it, inevitably involve mental content. In order to explain this difference and identify where the boundary is, we analyze the relationships between the three basic concepts involved, namely intentionality, preference, and dependency, so as to provide a unified picture of collective theory across philosophical and formal theories. After paving the nexus between philosophical and formal perspectives, the logical perspective becomes the theme of our discussion. To be able to express game theoretical concepts and to connect them to our philosophical perspective, We present a logic of preference and functional dependence and its hybrid extension, and provide an axiomatization which is sound and strongly complete. The decidability of this logic is also proved. Its application to modeling non-cooperative and cooperative games in strategic form is explored. The resulting framework provides a unified view of Nash equilibrium, Pareto optimality, and the core. The philosophical relevance of these game-theoretical notions to discussions of collective agency is made explicit. Finally, we conclude and clarify the position of our theory in the broader field of research on the topics addressed in the thesis. Also, we point out many new questions and directions suggested by our analysis, including philosophical and logical open problems. (shrink)

A single-blind experiment was conducted on free-responsive spatially non-local perception of free-selective simple photographic targets. One author (the tasker) chose a photographic target not subjected to a priori compiling, and the other author (the perceiver) attempted to unconventionally perceive the target. Feedback was expected prior to a new target being selected. A hundred trials were completed over 11 months. Thirteen judges offered gradings that collectively projected an apparent information requisition yield (AIRY). The AIRY refers to two aspects of the matching (...) of a taskette (a target’s counterpart) with respect to the target based on fuzzy scales from 0% to 100%, graded with an increment of 10%. The type-I or “tangibility” aspect of matching assessed the extent of the resemblance of a taskette to the target in terms of the shape or structural details of the primary physical entity/event. The type-II or “intangibility” aspect of the matching assessed the degree of the reconstruction of a taskette to the target in terms of the feature or functionality of the predominant physical entity/event. A total of 6 taskettes received >50% grades in both type-I and type-II aspects of matching with their respective targets. This outcome may correspond to an effect size of 1.47 if the chance-expectation may give a benchmark proportion of 3 out of 100 trials producing >50% grades in both type-I and type-II aspects of matching. Patterns indicating target interference associated with two trials entail further investigation. The approaches offer new insights to quantifying the band-limited information throughputs of spatially non-local perception. (shrink)