Logic, language and information integration is one of areas broadly explored nowadays and at the same time promising. Authors use that approach in their 8 years long research into Structured Semantic Knowledge Base System. The aim of this paper is to present authors idea of system capable of generating synergy effect while storing various type of information. The key assumption, which has been adopted, is the thesis that the attempt to find universal way of the reality description is very (...) inefficient solution. Combination of several solutions into one system must be based on the principle of supporting rather than on redundancy, ambiguity or mutual antagonism areas of logic, language and information. Natural language processing in the context of logics or information processing is ineffective, not to say pointless in the means of certainty. It is simply caused by the fact that natural languages have been formed long time ago as the main communication channel, rather than for automatic information processing. It was one of the reasons that logic has been founded as the universal language of mathematics and formalized communication in more extensive sense. Information processing however brought more sophisticated problems that mathematics could not smoothly solve, what made computer science appear. Studies over artificial intelligence revealed even more complex issues to solve. The unity of those three areas: logics, language and information is a necessity to acquire complementarity and synergy. (shrink)

We propose an infrastructure for collaborative content management and version control for structured mathematical knowledge. This will enable multiple users to work jointly on mathematical theories with minimal interference. We describe the API and the functionality needed to realize a cvs-like version control and distribution model. This architecture extends the cvs architecture in two ways, motivated by the specific needs of distributed management of structured mathematical knowledge on the Internet. On the one hand the one-level client/server model of (...) cvs is generalized to a multi-level graph of client/server relations, and on the other hand the underlying change-detection tools take the math-specific structure of the data into account. (shrink)

How a group G can know that p has been the subject of much investigation in social epistemology in recent years. This paper clarifies and defends a form of non-supervenient, non-summative group knowledge: G can know that p even if none of the members of G knows that p, and whether or not G knows that p does not locally supervene on the mental states of the members of G. Instead, we argue that what is central to G knowing (...) that p is whether G has an epistemic structure that is functioning appropriately in accord with the action-related purposes of the group, and this structure may include non-agential elements such as devices that retain or process information. We argue that recent objections to non-summative group knowledge given by Jennifer Lackey do not in fact succeed in undermining the view, but do help to clarify the nature of non-summative group knowledge. The main upshot of our response to Lackey’s objections is that groups put their knowledge into action in ways that often differ from how individuals do so, and social epistemologists should be careful to notice these differences, especially insofar as groups often structure themselves by employing various epistemically-relevant devices. (shrink)

Given a controversial issue, argument mining from texts in natural language is extremely challenging: besides linguistic aspects, domain knowledge is often required together with appropriate forms of inferences to identify arguments. Via the analysis of various corpora, this contribution explores the types of knowledge that are required to develop an efficient argument mining system. We show that the Qualia structure of the Generative Lexicon with some extensions and a specific interpretation has some expressive capabilities which are appropriate (...) for this task. (shrink)

Structured argumentation systems, and their implementation, represent an important research subject in the area of Knowledge Representation and Reasoning. Structured argumentation advances over abstract argumentation frameworks by providing the internal construction of the arguments that are usually defined by a set of (strict and defeasible) rules. By considering the structure of arguments, it becomes possible to analyze reasons for and against a conclusion, and the warrant status of such a claim in the context of a knowledge base (...) represents the main output of a dialectical process. Computing such statuses is a costly process, and any update to the knowledge base could potentially have a huge impact if done naively. In this work, we investigate the case of updates consisting of both additions and removals of pieces of knowledge in the Defeasible Logic Programming (DeLP) framework, first analyzing the complexity of the problem and then identifying conditions under which we can avoid unnecessary computations—central to this is the development of structures (e.g. graphs) to keep track of which results can potentially be affected by a given update. We introduce a technique for the incremental computation of the warrant statuses of conclusions in DeLP knowledge bases that evolve due to the application of (sets of) updates. We present the results of a thorough experimental evaluation showing that our incremental approach yields significantly faster running times in practice, as well as overall fewer recomputations, even in the case of sets of updates performed simultaneously. (shrink)

There are several approaches implementing reasoning based on conditional knowledge bases, one of the most popular being System Z (Pearl, Proceedings of the 3rd conference on theoretical aspects of reasoning about knowledge, TARK ’90, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, pp. 121–135, 1990). We look at ranking functions (Spohn, The Laws of Belief: Ranking Theory and Its Philosophical Applications, Oxford University Press, Oxford, 2012) in general, conditional structures and c-representations (Kern-Isberner, Conditionals in Nonmonotonic Reasoning and Belief (...) Revision: Considering Conditionals as Agents, vol. 2087 of LNCS, Springer, Berlin, 2001) in order to examine the reasoning strength of the different approaches by learning which of the known calculi of nonmonotonic reasoning (System P and R) and Direct Inference are applicable to these inference relations. Furthermore we use the recently proposed Enforcement-postulate (Kern-Isberner and Krümpelmann, Proceedings of the 22nd international joint conference on artificial intelligence, vol. 2, IJCAI’11, AAAI Press, pp. 937–942, 2011) to show dependencies between these approaches. (shrink)

Information-seeking interactions in multi-agent systems are required for situations in which there exists an expert agent that has vast knowledge about some topic, and there are other agents (questioners or clients) that lack and need information regarding that topic. In this work, we propose a strategy for automatic knowledge acquisition in an information-seeking setting in which agents use a structured argumentation formalism for knowledge representation and reasoning. In our approach, the client conceives the other agent as an (...) expert in a particular domain and is committed to believe in the expert’s qualified opinion about a given query. The client’s goal is to ask questions and acquire knowledge until it is able to conclude the same as the expert about the initial query. On the other hand, the expert’s goal is to provide just the necessary information to help the client understand its opinion. Since the client could have previous knowledge in conflict with the information acquired from the expert agent, and given that its goal is to accept the expert’s position, the client may need to adapt its previous knowledge. The operational semantics for the client-expert interaction will be defined in terms of a transition system. This semantics will be used to formally prove that, once the client-expert interaction finishes, the client will have the same assessment the expert has about the performed query. (shrink)

Elizabeth Anscombe characterised practical knowledge as knowledge ‘in intention’. As Anscombe recognised, accepting this view involves rejecting certain basic orthodox epistemological assumptions. But even once this is done, a challenge remains for a conception of practical knowledge as knowledge ‘in intention’. For while practical knowledge would appear to be a kind of propositional knowledge, intentions would appear to be a kind of non-propositional attitude. I call this the ‘Structural Challenge’ for an intention-based account of (...) practical knowledge. After rejecting two suggested responses – one which views intentions as propositional attitudes; one which views practical knowledge as non-propositional knowledge – I offer my own solution by showing how simply having and carrying out an intention to φ will ordinarily meet a plausible neutral condition on propositional knowledge. Knowing a fact will in general involve being mentally related to it via a successful exercise of relevant concepts. The account I develop turns on viewing a person’s carrying out an intention to φ as their constituting the fact that they are φ-ing, through a practical exercise of their concept of φ-ing. The resulting account sheds light both on the analogies, and on the crucial formal differences, between practical and theoretical knowledge. (shrink)

Open peer commentary on the article “Designing Academic Conferences in the Light of Second-Order Cybernetics” by Laurence D. Richards. Upshot: Building upon Richards’s notions of “design by constraint” and the usefulness of assigning collaborative tasks to conference participants, this commentary suggests a basic application of Pask’s conversation theory as a potential aide to fruitful knowledge construction in a conference setting.

Most of this work is concerned with two theories that underlie cognitive science; theories which I call "the representational theory of intentionality" and "the computational theory of cognition" . While the representational theory of intentionality asserts that mental states are about the world in virtue of a representation relation between the world and the state, the computational theory of cognition asserts that humans and others perform cognitive tasks by computing functions on these representations. CTC draws upon a rich analogy between (...) the mind and digital computers, portraying cognizers as receiving input and generating outputs . ;Since researchers within cognitive science--especially within cognitive psychology, computer science, and philosophy of mind--share a common theoretic background in their adherence to the combination of RTI and CTC, what I call "computationalism" most of the work done in philosophy of mind has been aimed at either refuting or further articulating these two theories. This work is strongly within that tradition. ;RTI and CTC combine to create an explanatory framework for explanation in cognitive science. In this work, I seek to delineate the exact structure of this framework, to determine its components and their overall relationships. In my mind, this involves making implicit aspects of computational explanation explicit, providing an overall rationale for the various components and their relationships, and defending that rationale against criticism. ;In particular, the project of this work is to argue that computationalist explanations of cognition within cognitive science need to make appeals to both representation and knowledge; to distinguish the respective roles of knowledge and of representation in an overall picture of computational explanations, and to develop and argue for definitions of representation and knowledge that would allow those concepts to play their respective roles within computational explanations in cognitive science. ;The first half of this work , therefore, is devoted to theories of representation, especially to the need for, and role of representation in computational explanations. The first half of the work culminates in chapter three with a definition of representation and a picture of the structure of computational explanations. The second half of the project then becomes to generate a definition of knowledge that defines knowledge in non-epistemic language amenable to computationalism and that carries the epistemic burdens placed upon knowledge by its use in computational explanations, as well as to offer a limited defence of that definition within the framework of traditional epistemology. (shrink)

How should nursing knowledge advance? This exploration contextualizes its evolution past and present. In addressing how it evolved in the past, a probable historical evolution of its development draws on the perspectives of Frank & Gills's World System Theory, Kuhn's treatise on Scientific Revolutions, and Foucault's notions of Discontinuities in scientific knowledge development. By describing plausible scenarios of how nursing knowledge evolved, I create a case for why nursing knowledge developers should adopt a post‐structural stance in (...) prioritizing their research agenda(s). Further, by adopting a post‐structural stance, I create a case on how nurses can advance their disciplinary knowledge using an engaging post‐colonial strategy. Given an interrupted history caused by influence(s) constraining nursing's knowledge development by power structures external, and internal, to nursing, knowledge development can evolve in the future by drawing on post‐structural interpretation, and post‐colonial strategy. The post‐structural writings of Deleuze & Guattari's understanding of ‘Nomadology’ as a subtle means to resist being constrained by existing knowledge development structures, might be a useful stance to understanding the urgency of why nursing knowledge should advance addressing the structural influences on its development. Furthermore, Bhabha's post‐colonial elucidation of ‘Hybridity’ as an equally discreet means to change the culture of those constraining structures is an appropriate strategy to enact how nursing knowledge developers can engage with existing power structures, and simultaneously influence that engagement. Taken together, ‘post‐structural stance’ and ‘post‐colonial strategy’ can refocus nursing scholarship to learn from its past, in order to develop relevant disciplinary knowledge in its future. (shrink)

As clinical ethics consultants move toward professionalization, the process of certifying individual consultants or accrediting programs will be discussed and debated. With certification, some entity must be established or ordained to oversee the standards and procedures. If the process evolves like other professions, it seems plausible that it will eventually include a written examination to evaluate the core knowledge competencies that individual practitioners should possess to meet peer practice standards. The American Society for Bioethics and Humanities has published core (...) knowledge competencies for many years that are accepted by experts as the prevailing standard. Probably any written examination will be based upon the ASBH core knowledge competencies. However, much remains to be done before any examination may be offered. In particular, it seems likely that a recognized examining board must create and validate examination questions and structure the examination so as to establish meaningful, defensible parameters after dealing with such challenging questions as: Should the certifying examination be multiple choice or short-answer essay? How should the test be graded? What should the pass rate be? How may the examination be best administered? To advance the field of health care ethics consultation, thought leaders should start to focus on the written examination possibilities, to date unaddressed carefully in the literature. Examination models—both objective and written—must be explored as a viable strategy about how the field of health care ethics consultations can grow toward professionalization. (shrink)

There are various approaches to ontology metamodelling, and the notion of biologically inspired modular knowledge representation systems can provide insight in the workings of such phenomena as emergent properties of network structures. What is more relevant from knowledge engineering standpoint, such approach could provide innovation and enhancement of the level of expression as well as overall functionality of modular ontologies. To do so, one needs to find biological structures that would be the basis for modularity on different levels (...) of hierarchy within the artificial system. Network analysis tools as well as systems biology and biocomputing provide a framework for research in this field. (shrink)

Expert knowledge - a concept associated with Ryle’s distinction of knowledgethat and knowledge-how - functions in distinct areas of knowledge and social expertise. Consisting of both propositional and procedural knowledge, expertise is performative in its essence. It depends not only on expert’s experience and cognitive competences, but also on his or her social and institutional position. The paper considers the role of heuristic and intuitional abilities, including particular experts’ cognitive biases, as the vital and indispensable part (...) of expertise. On the basis of selected managerial and juridical examples it analyzes the epistemological issues: the autonomy versus dependence of expert knowledge as well as the influence of social-cognitive circumstances on expertise. (shrink)

Awareness structures by Fagin, Halpern (Artif Intell 34:39–76, 1988) (FH) feature a syntactic awareness correspondence and accessibility relations modeling implicit knowledge. They are a flexible model of unawareness, and best interpreted from an outside modeler’s perspective. Unawareness structures by Heifetz et al. (J Econ Theory, 130:78–94, 2006, Games Econ Behav 62:305–324, 2008) (HMS) model awareness by a lattice of state spaces and explicit knowledge via possibility correspondences. Sublattices thereof can be interpreted as subjective views of agents. Open questions (...) include (1) how implicit knowledge can be defined in HMS structures, and (2) in which way FH structures can be extended to model the agents’ subjective views. In this paper, we address (1) by defining implicit knowledge such that it is consistent with explicit knowledge in HMS models. We also introduce a variant of HMS models that instead of explicit knowledge, takes implicit knowledge and awareness as primitives. Further, we address (2) by introducing a category of FH models that are modally equivalent relative to sublanguages and can be interpreted as agents’ subjective views depending on their awareness. These constructions allow us to show an equivalence between HMS and FH models. As a corollary, we obtain soundness and completeness of HMS models with respect to the Logic of Propositional Awareness, based on a language featuring _both_ implicit and explicit knowledge. (shrink)

Recently, interest has surged in similarity-based epistemologies of possibility. However, it has been pointed out that the notion of ‘relevant similarity’ is not properly developed in this literature. In this paper, I look at the research done in the field of analogical reasoning, where we find that one of the most promising ways of capturing relevance in similarity reasoning is by relying on the predictive analogy similarity relation. This takes relevant similarity to be based on shared properties that have structural (...) relations to the property of interest. I argue that if we base our epistemology of possibility on similarity reasoning on the predictive analogy similarity relation, we require prior knowledge of the specifics of these structural relations. I discuss a number of possible responses to this on behalf of the similarity theorists given their methodological approach to the epistemology of modality more generally. They could either opt for making explicit the metaphysics underlying these structural relations, in which case they need to spell out how we can come to know these relations. Or they could opt for developing a theory that explains why we do not need to have explicit knowledge of these structural relations; for example by suggesting that we make use of epistemic shortcuts. (shrink)

This paper has five theses, which are intended to address the claims in Jerry Fodor's paper. (1) The question arises of the relation between the philosophical theory of concepts and epistemology. Neither is explanatorily prior to the other. Rather, each relies implicitly on distinctions drawn from the other. To explain what makes something knowledge, we need distinctions drawn from the theory of concepts. To explain the attitudes mentioned in a theory of concepts, we need to use the notion of (...) knowledge. (2) Concepts can have a normative dimension without their nature being interpretation‐dependent, and without their nature being mind‐dependent. The normative dimension traces back instead to the role of truth as a constitutive aim of judgement. (3) Conceptual combination is to be explained at the level of reference and semantic value. When we respect this fact, there is no difficulty in explaining compositionality for epistemically‐constrained concepts. (4) Epistemically‐constrained theories of concepts are committed to the applicability of the notion of the a priori. They are not committed to the applicability of the notion of analyticity, where this is construed as truth purely in virtue of meaning or the identity of concepts. (5) Possession of a concept has causal‐explanatory powers, whether given by a possession condition in the form presented in A Study of Concepts, or by possession of an implicit conception. A possession‐condition theory of concepts need not be a form of dispositionalism. (shrink)

Thomas Kuhn has been seen as the preeminent philosopher in the so-called historicist turn in the philosophy of science, with others—including Michael Polanyi—relegated to his slipstream. Yet the supersession of Polanyi seems curious in a way, as his Personal Knowledge—published just 3 years before Structure—contains many of the same ideas that Kuhn put to use in his philosophy of science. Why is it, therefore, that history has seen Structure supersede Personal Knowledge?

Philosophy and the roots of social science: the Enlightenment To introduce a primarily analytical essay by reference to a group of thinkers whose ...

Contemporary architecture is increasingly grounded in science and mathematics. Architectural discourse has shifted radically from the sometimes disorienting Derridean deconstruction, to engaging scientific terms such as fractals, chaos, complexity, nonlinearity, and evolving systems. That's where the architectural action is -- at least for cutting-edge architects and thinkers -- and every practicing architect and student needs to become conversant with these terms and know what they mean. Unfortunately, the vast majority of architecture faculty are unprepared to explain them to students, not (...) having had a scientific education themselves. Here is an architecture book by an architect/scientist, just in time to help architects in the new millennium. Alexander discusses many of the scientific terms arising in cutting-edge architecture, and explains them to those who don't have scientific training or advanced mathematical knowledge. We find discussions of the evolution of forms; the importance of process in design; iteration; genetic algorithms; sequences of transformations; different levels of scale (i.e. fractals); etc. They are explained here by an architect who is also a scientist, because he wants to change the way architects think and build. Alexander is not merely popularizing other scientists' results and making them accessible to architects: he is in fact presenting new and original scientific work that ties many of these concepts together in a way that will be useful to architects. (shrink)

Among scientific realists and anti-realists, there is a well-known, perennial dispute about the reality and knowability of unobservable objects. This dispute is also present among structural realists, who all agree that science gives us genuine knowledge of structure at the unobservable level (however that structure may be understood). Ontic structural realists reduce or eliminate the ontological role of objects, while epistemic structural realists argue that objects do or might exist but are unknowable. In part because ontic structural (...) realism has some evidence from quantum mechanics and the consequent underdetermination of the metaphysics of objects in its favor, the majority of contemporary structural realists adopt that view. In contrast, I argue that epistemic structural realism is a highly compelling view, particularly in the form that remains agnostic about unobservable objects. This view can remain consistent with the empirical data from quantum mechanics, can give a satisfactory account of the metaphysics of structure, and can distinguish itself from other extant versions of realism. I provide two arguments in favor of agnosticism about objects, the first of which argues that suspending belief is consistent with the impetus of naturalized metaphysics, and the second of which argues that agnosticism about objects is a rational response to reflection on the limits and aims of science. Thus, I show that agnostic epistemic structural realism is a defensible and compelling view in the philosophy of science that demands more attention in the literature. (shrink)

This chapter sets out an account of tacit knowledge as conceptually structured, situation specific practical knowledge. It sets this out against two claims from Michael Polanyi which conjoin the idea that we know more than we can tell with the suggestion that knowledge is practical. Any account of tacit knowledge which attempts to respond to Polanyi’s first claim faces a twofold test of adequacy. It must be tacit and it must be knowledge. To count as (...) knowledge some content must be known but that puts pressure on its tacit status. What stops such a content being put into words? I reject Polanyi’s attempt to answer this based on a distinction between focal and subsidiary awareness. And I reject Harry Collins’ process-based approach that looks more to ontology than epistemology or reference more than sense. By equating tacit knowledge with conceptually structured, situation specific practical knowledge or know-how, I show the respect in which it remains tacit. Although it can be expressed in demonstrations, and is related to concepts, it cannot be expressed in words alone. (shrink)

Organizational research constitutes a differentiated, complex and fragmented field with multiple contradicting and incommensurable theories that make fundamentally different claims about the social and organizational reality. In contrast to natural sciences, the progress in this field can’t be attributed to the principle of truthlikeness where theories compete against each other and only best theories survive and prove they are closer to the truth and thus demonstrate scientific knowledge accumulation. We defend the structural realist view on the nature of organizational (...) theories in order to demonstrate that despite the multiplicity of isolated and competing explanations of organization-environment relations these theories are still logically compatible and mutually consistent which, in turn, assures theoretical progress in the field. Although postulating different and incompatible ontologies, three most successful organization-environments theories, namely, contingency theory, new institutionalism and population ecology share the same explanations of the relations between organizations and environments at the structural level. Without this principle one would say that what occurs in the field of organization theory is a change rather than a progress. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Knowledge and Faıth in Thomas Aquinas by John I. JenkinsE.J. AshworthJohn I. Jenkins. Knowledge and Faıth in Thomas Aquinas. Cambridge: Cambridge University Press, 1997. Pp. xv + 267. Cloth, $59.95.There is a strong tension in the thought of Thomas Aquinas. On the one hand, he is strongly naturalist. He insists that our cognition is rooted in sense-perception and that [End Page 673] it is normally reliable. (...) He insists that our moral life is grounded in our nature both as physical beings, able to feel pain and pleasure, and as social beings, depending on each other for our welfare. But he is also strongly supernaturalist. Human nature by virtue of its cognitive orientation toward the physical is not able through its own powers to know God. Still less is human nature able to achieve moral virtue by its own powers. This is not just because we are cut off from God by original sin; rather, there is a primal lack that was there even before the Fall. To achieve our true end, both cognitive and moral, we depend on God’s free gift of grace which elevates our nature and renders it able both to know God through the beatific vision in Heaven and to respond to God through loving, virtuous action. The gift of faith becomes central to human nature and destiny in a way that was to worry later thinkers such as Duns Scotus, who pertinently asked how our intellect can have the ultimate end of knowing God if it has to be made a different intellect before it achieves that end.Jenkins does not worry about the point raised by Scotus. Instead, he sets out to give an interpretation of the Summa theologiae which will help us understand more deeply the interplay between the natural and the supernatural in Aquinas. He begins by taking advantage of new readings of Aristode’s Posterior Analytics which present Aristode’s account of the demonstration which moves from cause to effect, not just as a pedagogic device for presenting material obtained by moving from effect to cause, but as a recipe for cognitive restructuring. Certainly we have to begin with mere observation, and with the piecemeal discovery of causes, but to achieve true scıentia (to use the medieval Latin term for organized, necessary knowledge) we need to acquire a new vision of how reality is structured and to see how effects flow necessarily from their causes. True demonstration is an expression of this new vision. Jenkins applies this reading of Aristotle to Aquinas. He takes with absolute seriousness Aquinas’s claim at the beginning of the Summa theologıae that theology too is an Aristotelian scientıa, and he sees the work as presenting a recipe for the cognitive restructuring of apprentice theologians (those to whom the work is addressed).The scientıa of the Summa theologiae differs from the scientia of the Posterior Analytics in two ways. First, Aquinas allows the term scientia to have an extended sense, so that God too can have scientia, even though he does not move from principles to conclusions by a process of syllogistic demonstration, but instead grasps all that is knowable in one simple act. Second, the basic principles which are the foundation of theological demonstration are the articles of faith, especially those of the creeds, which cannot be known by us in any naturalistic way. It is through God’s infused light that we assent to these articles as divinely revealed. After a lengthy examination of the role of faith in Aquinas’s account, Jenkins describes the epistemology involved as supernatural externalism.Although Jenkins’s presentation of the relationship between scientıa and faith in the Summa is carefully and lucidly argued, there are two aspects of the book that I would question.First, while it is true that Aquinas does present theology as an Aristotelian scientia, I doubt that this single fact “determines the purpose and structure of the Summa theologiae” (15) in any very detailed way. Jenkins further claims that the structure of the Summa is determined by the structure of God’s knowledge (220), but if God is truly [End... (shrink)

According to a view I’ll call Epistemic Normativism, knowledge is normative in the same sense in which paradigmatically normative properties like justification are normative. This paper argues against EN in two stages and defends a positive non-normativist alternative. After clarifying the target in §1, I consider in §2 some arguments for EN from the premise that knowledge entails justification. I first raise some worries about inferring constitution from entailment. I then rehearse the reasons why some epistemologists reject the (...) Entailment Thesis and argue that a non-normativist picture provides the best explanation of all the intuitions surrounding this thesis, favorable and unfavorable. On this picture, human knowledge is a structured non-normative complex that has as one of its parts a justification-making property, analogous in role to good-making properties like pleasurableness. After giving three arguments against EN in §3 and answering an objection in §4, I turn in §5 to further develop the positive view sketched in §2. In §6, I take stock and conclude. (shrink)

Many studies relate modern science to modern political and economic thought. Using one shift in order to explain the other, however, has begged the question of modernity's origins. New scientific and political reasoning emerged simultaneously as controversial forms of probabilistic reasoning. Neither could ground the other. They both rejected logical systems in favor of shifting, incomplete, and human-oriented forms of knowledge which did not meet accepted standards of speculative science. This study follows their shared development by tracing one key (...) political stratagem for linking human desires to the advancement of knowledge: the collaborative wish list. Highly controversial at the beginning of the seventeenth century, charismatic desiderata lists spread across Europe, often deployed against traditional sciences. They did not enter the academy for a century but eventually so shaped the deep structures of research that today this once controversial genre appears to be a musty and even pedantic term of art. (shrink)

Well-Structured Mathematical Logic does for logic what Structured Programming did for computation: make large-scale work possible. From the work of George Boole onward, traditional logic was made to look like a form of symbolic algebra. In this work, the logic undergirding conventional mathematics resembles well-structured computer programs. A very important feature of the new system is that it structures the expression of mathematics in much the same way that people already do informally. In this way, the new system is simultaneously (...) machine-parsable and user-friendly, just as Structured Programming is for algorithms. Unlike traditional logic, the new system works with you, not against you, as you use it to structure--and understand--the mathematics you work with on a daily basis. The book provides a complete guide to its subject matter. It presents the major results and theorems one needs to know in order to use the new system effectively. Two chapters provide tutorials for the reader in the new way that symbols move when logical calculations are performed in the well-structured system. Numerous examples and discussions are provided to illustrate the system's many results and features. Well-Structured Mathematical Logic is accessible to anyone who has at least some knowledge of traditional logic to serve as a foundation, and is of interest to all who need a system of pliant, user-friendly mathematical logic to use in their work in mathematics and computer science. (shrink)

This book explores the changing perspective of astrology from the Middle Ages to the Early Modern Era. It introduces a framework for understanding both its former centrality and its later removal from legitimate knowledge and practice. The discussion reconstructs the changing roles of astrology in Western science, theology, and culture from 1250 to 1500. The author considers both the how and the why. He analyzes and integrates a broad range of sources. This analysis shows that the history of astrology-in (...) particular, the story of the protracted criticism and ultimate removal of astrology from the realm of legitimate knowledge and practice-is crucial for fully understanding the transition from premodern Aristotelian-Ptolemaic natural philosophy to modern Newtonian science. This removal, the author argues, was neither obvious nor unproblematic. Astrology was not some sort of magical nebulous hodge-podge of beliefs. Rather, astrology emerged in the 13th century as a richly mathematical system that served to integrate astronomy and natural philosophy, precisely the aim of the "New Science" of the 17th century. As such, it becomes a fundamentally important historical question to determine why this promising astrological synthesis was rejected in favor of a rather different mathematical natural philosophy-and one with a very different causal structure than Aristotle's. (shrink)

According to, when forming complex yes/no questions, children do not make errors such as Is the boy who smoking is crazy? because they have innate knowledge of structure dependence and so will not move the auxiliary from the relative clause. However, simple recurrent networks are also able to avoid such errors, on the basis of surface distributional properties of the input (; ). Two new elicited production studies revealed that (a) children occasionally produce structure‐dependence errors and (b) (...) the pattern of children's auxiliary‐doubling errors (Is the boy who is smoking is crazy?) suggests a sensitivity to surface co‐occurrence patterns in the input. This article concludes that current data do not provide any support for the claim that structure dependence is an innate constraint, and that it is possible that children form a structure‐dependent grammar on the basis of exposure to input that exhibits this property. (shrink)

PLATO'S WAS a peculiar genius unmatched by any in the entire history of Western thought. He understood well the central play in human experience between appearance, which, ambiguously poised, is a vehicle of both revelation and concealment, and the reality which appearance both conceals and reveals--or better, which appearance conceals as it reveals. The grounds of this play lie both in the character of human structure and in the character of the whole within which that structure functions. Grounded (...) in the unconscious of physiology, the field of human awareness rises by stages from an immediately given, biologically-based circle of sensory awareness, through a culturally mediated sphere of different modes of situating the sensory surface within the greater whole, to a basic orientation toward that all-encompassing whole, which affords us the distance needed to grasp both the orientation itself as orientation and the stages preceding it. Ordinary life is locked into a struggle between the biologically grounded desires and the peculiarities of cultural mediation that seek to channel those desires. Ordinary life exists in relation to a kind of functional surface of things which it co-constitutes with those things in a sort of "dashboard knowledge," knowing what to push and pull and turn to get the desired responses. Sophists continually arise as masters of appearance, often taking themselves, especially if they think they have the sanction of the gods, as genuine lovers of wisdom. (shrink)

Russell (1911/12) argued that perceptual experience grounds a species of non-propositional knowledge, “knowledge by acquaintance,” and in recent years, this account of knowledge has been gaining traction. I defend on its basis a connection between moral and epistemic failure. I argue, first, that insufficient concern for the suffering of others can be explained in terms of an agent’s lack of acquaintance knowledge of another’s suffering, and second, that empathy improves our epistemic situation. Empathic distress approximates acquaintance (...) with another’s suffering, and empathic agents who are motivated to help rather than disengage exhibit an important epistemic virtue: a variety of intellectual courage. A key upshot is that an independently motivated account of the structure and significance of perceptual experience is shown to provide theoretical scaffolding for understanding a famously elusive idea in ethics—namely, that the failure to help others stems from a kind of ignorance of their situation. (shrink)

The aim of this paper is to show that a comprehensive account of the role of representations in science should reconsider some neglected theses of the classical philosophy of science proposed in the first decades of the 20th century. More precisely, it is argued that the accounts of Helmholtz and Hertz may be taken as prototypes of representational accounts in which structure preservation plays an essential role. Following Reichenbach, structure-preserving representations provide a useful device for formulating an up-to-date (...) version of a (relativized) Kantian a priori. An essential feature of modern scientific representations is their mathematical character. That is, representations can be conceived as (partially) structure-preserving maps or functions. This observation suggests an interesting but neglected perspective on the history and philosophy of this concept, namely, that structure-preserving representations are closely related to a priori elements of scientific knowledge. Reichenbach’s early theory of a relativized constitutive but non-apodictic a priori component of scientific knowledge provides a further elaboration of Kantian aspects of scientific representation. To cope with the dynamic aspects of the evolution of scientific knowledge, Cassirer proposed a re-interpretation of the concept of representation that conceived of a particular representation as only one phase in a continuous process determined by pragmatic considerations. Pragmatic aspects of representations are further elaborated in the classical account of C.I. Lewis and the more modern of Hasok Chang. (shrink)

This book explores the changing perspective of astrology from the Middle Ages to the Early Modern Era. It introduces a framework for understanding both its former centrality and its later removal from legitimate knowledge and practice. The discussion reconstructs the changing roles of astrology in Western science, theology, and culture from 1250 to 1500. The author considers both the how and the why. He analyzes and integrates a broad range of sources. This analysis shows that the history of astrology—in (...) particular, the story of the protracted criticism and ultimate removal of astrology from the realm of legitimate knowledge and practice—is crucial for fully understanding the transition from premodern Aristotelian-Ptolemaic natural philosophy to modern Newtonian science. This removal, the author argues, was neither obvious nor unproblematic. Astrology was not some sort of magical nebulous hodge-podge of beliefs. Rather, astrology emerged in the 13th century as a richly mathematical system that served to integrate astronomy and natural philosophy, precisely the aim of the “New Science” of the 17th century. As such, it becomes a fundamentally important historical question to determine why this promising astrological synthesis was rejected in favor of a rather different mathematical natural philosophy—and one with a very different causal structure than Aristotle's. (shrink)

A theory of analogy must describe how the meaning of an analogy is derived from the meanings of its parts. In the structure‐mapping theory, the interpretation rules are characterized as implicit rules for mapping knowledge about a base domain into a target domain. Two important features of the theory are (a) the rules depend only on syntactic properties of the knowledge representation, and not on the specific content of the domains; and (b) the theoretical framework allows analogies (...) to be distinguished cleanly from literal similarity statements, applications of abstractions, and other kinds of comparisons.Two mapping principles are described: (a) Relations between objects, rather than attributes of objects, are mapped from base to target; and (b) The particular relations mapped are determined by systematicity, as defined by the existence of higher‐order relations. (shrink)

There is an emerging skepticism about the existence of testimonial knowledge-how :387–404, 2010; Poston in Noûs 50:865–878, 2016; Carter and Pritchard in Philos Phenomenol Res 91:181–199, 2015a). This is unsurprising since a number of influential approaches to knowledge-how struggle to accommodate testimonial knowledge-how. Nonetheless, this scepticism is misguided. This paper establishes that there are cases of easy testimonial knowledge-how. It is structured as follows: first, a case is presented in which an agent acquires knowledge-how simply (...) by accepting a speaker’s testimony. Second, it is argued that this knowledge-how is genuinely testimonial. Next, Poston’s arguments against easy testimonial knowledge-how are considered and rejected. The implications of the argument differ for intellectualists and anti-intellectualists about knowledge-how. The intellectualist must reject widespread assumptions about the communicative preconditions for the acquisition of testimonial knowledge. The anti-intellectualist must find a way of accommodating the dependence of knowledge-how on speaker reliability. It is not clear how this can be done. (shrink)

This book is published as part of a series catering mainly to the undergraduate and is written on a fairly general, vulgarizing level. However, Schlanger—author of a monograph on the Medieval Jewish Neoplatonist Ibn Gabirol —takes the occasion to provide some reflections on the essence of philosophy and on the interpretation of its history. Of the two sections of the book, the first analyzes what is essential, non-contingent, in any philosophical system, and the second describes the essential aspect of a (...) Plotinian-type philosophy. Philosophy, for Schlanger, is a never-ending effort of "réadéquation" between what is and what is thought concerning what is. This effort gives rise in history to philosophical "systems" representing various sets of formulations which seek to give an "ideal" interpretation of reality. These systems relate to specific socio-cultural contexts, and their "truth" is contingent to the degree that it is related to contingent contexts. However, the systems also embody various possible "ideal" attitudes to reality. Behind each philosophical system, stripped of its contingency and temporality, lies an ideal attitude, a "structure métaphysique." The history of philosophy can therefore be considered as constituting an "inventory" of "structures métaphysiques," and it is in the study of this inventory that Schlanger finds the philosophical importance of the study of the history of philosophy. By studying this inventory, the historian is able to provide philosophy with an array of possible "ideal" attitudes applicable in any socio-cultural context. The constituent elements of a "structure métaphysique" are listed as follows: ideal intuitions ; ideal methodological intuitions ; analogical intuitions ; preferred disciplines ; way of life. In the second section of the book, Schlanger provides an illustration of all this by describing the "structure métaphysique" essential to Plotinian-type philosophical systems. Of the Plotinian "ideal intuitions" he lists the unicity of being, emanation of being, derivation of being from non-being, the hierarchial order of being, the conception of two worlds, the "conversion" of soul, man as microcosm. These ideal intuitions are particular "ideal" reactions to specific existential situations; they are not interdependent, do not logically cohere with each other and can contradict each other. In discussing Plotinian-type "methodological intuitions," Schlanger notes the ontological status of knowledge in "Plotinisme" and the idea that there are different levels of knowledge corresponding to different levels of being. The Plotinian "analogical intuitions" include the images of the sphere and its circular motion, and of the sun and its rays. The "preferred discipline" in "Plotinisme" is psychology, a "practical science" designed to lead the soul to union with the One. This is indeed the Plotinian "way of life," a life directed towards the "salvation" of the soul through a process of purification and transcendence in which the soul reaches union with the One. Schlanger concludes in a "Postface" with some useful remarks on the nature and significance of the interpretation of philosophical texts. (shrink)

This chapter contains section titled: The Structure of Knowledge Safety.

Some philosophers think that knowledge or justification is both necessary and sufficient for rational action: they endorse knowledge-action or justification-action biconditionals. This paper offers a novel, metaphysical challenge to these biconditionals, which proceeds with a familiar question: What depends on what? If you know that p iff it is rational for you to act on p, do you know that p partly because it is rational for you to act on p, or is it rational for you to (...) act on p partly because you know that p? And a structurally similar question can be asked regarding justification-action biconditionals. I argue that proponents of these biconditionals cannot give a satisfactory answer to these questions. This is because each direction of these biconditionals strongly supports an opposite order of explanation to the one that is supported by the other direction. Given the traditional assumption that metaphysical explanations—even partial ones—are asymmetric, I argue that these biconditionals should be rejected. While knowledge might be necessary for rational action, and it might be sufficient, it cannot be both. And the same goes for justification. (shrink)

This paper presents corpus and experimental data that problematize the traditional analysis of must as a strong necessity modal, as recently revived and defended by von Fintel and Gillies :351–383, 2010). I provide naturalistic examples showing that must p can be used alongside an explicit denial of knowledge of p or certainty in p, and that it can be conjoined with an expression indicating that p is not certain or that not-p is possible. I also report the results of (...) an experiment involving lotteries, where most participants endorsed a sentence of the form must not-p despite being instructed that p is a possibility. Crucially, endorsement was much higher for must in this context than for matched sentences with knowledge or certainty expressions. These results indicate that the requirements for felicitous use of must are weaker than for know and certain rather than being at least as strong, as the epistemic necessity theory would predict. However, it is possible to account for these data while retaining the key insights of von Fintel and Gillies’ analysis of the evidential component of must. I discuss several existing accounts that could be construed in this way and explain why none is completely satisfactory. I then propose a new model that embeds an existing scalar theory into a probabilistic model of informational dynamics structured around questions and answers. (shrink)

Restricting attention to the class of extensive games defined by von Neumann and Morgenstern with the added assumption of perfect recall, we specify the information of each player at each node of the game-tree in a way which is coherent with the original information structure of the extensive form. We show that this approach provides a framework for a formal and rigorous treatment of questions of knowledge and common knowledge at every node of the tree. We construct (...) a particular information partition for each player and show that it captures the notion of maximum information in the sense that it is the finest within the class of information partitions that satisfy four natural properties. Using this notion of “maximum information” we are able to provide an alternative characterization of the meet of the information partitions. (shrink)

This article aims to provide a structural analysis of the problems related to the easy knowledge problem. The easy knowledge problem is well known. If we accept that we can have basic knowledge via a source without having any prior knowledge about the reliability or accuracy of this source, then we can acquire knowledge about the reliability or accuracy of this source too easily via information delivered by the source. Rejecting any kind of basic (...) class='Hi'>knowledge, however, leads into an infinite regress and, plausibly, to skepticism. The article argues that the third alternative, accepting basic knowledge but rejecting easy knowledge, entails closure failure. This is obviously the case for deductive bootstrapping, but, notably, the problem also arises for inductive bootstrapping. Hence, the set of problems related to the easy knowledge problem has the structure of a trilemma. We are forced to accept easy knowledge, closure failure, or skepticism. (shrink)