1. Do models formulated in programming languages use explicit rules where connectionist models do not? 2. Are rules as found in programming languages hard, precise, and exceptionless, where connectionist rules are not? 3. Do connectionist models use rules operating on distributed representations where models formulated in programming languages do not? 4. Do connectionist models fail to use structure sensitive rules of the sort found in "classical" computer architectures? In this chapter we argue that the (...) answer to each of these questions is negative. (shrink)

Recently, there have been some attempts towards developing programming languages based on situation theory. These languages employ situation-theoretic constructs with varying degrees of divergence from the ontology of the theory. In this paper, we review three of these programming languages.

As the 19th century drew to a close, logicians formalized an ideal notion of proof. They were driven by nothing other than an abiding interest in truth, and their proofs were as ethereal as the mind of God. Yet within decades these mathematical abstractions were realized by the hand of man, in the digital stored-program computer. How it came to be recognized that proofs and programs are the same thing is a story that spans a century, a chase with as (...) many twists and turns as a thriller. At the end of the story is a new principle for designing programming languages that will guide computers into the 21st century. -/- For my money, Gentzen’s natural deduction and Church’s lambda calculus are on a par with Einstein’s relativity and Dirac’s quantum physics for elegance and insight. And the maths are a lot simpler. I want to show you the essence of these ideas. I’ll need a few symbols, but not too many, and I’ll explain as I go along. -/- To simplify, I’ll present the story as we understand it now, with some asides to fill in the history. First, I’ll introduce Gentzen’s natural deduction, a formalism for proofs. Next, I’ll introduce Church’s lambda calculus, a formalism for programs. Then I’ll explain why proofs and programs are really the same thing, and how simplifying a proof corresponds to executing a program. Finally, I’ll conclude with a look at how these principles are being applied to design a new generation of programming languages, particularly mobile code for the Internet. (shrink)

Imam Hatip schools (religious vocational schools) in Turkey have been taught teaching Arabic for many years. However, the objectives of learning Arabic have not yet been realized. The Education Council of the Ministry of Education prepares educational plans and programs for Arabic lessons in order to increase the quality of Arabic language teaching, the first of these programs was in 1973. This research is a field study carried out in 2016 on how to implement the educational programs prepared in 2011 (...) for Arabic lessons in Imam Hatip schools, and the problems facing the teacher in practical reality. The scope of the research is limited to Tekirdağ Anadolu Religious High School for boys, Süleymanpaşa Anadolu Religious High School for girls, Süleymanpaşa Religious Secondary school, and the teachers working in these schools. The research was based on the views of those educators as to how the educational programmes for Arabic lessons and the problems they faced during their exercise were implemented. The research was formulated through interviews with teachers. The results of the research according to the data received from the teachers were processed in the statistical program SPSS and then converted to frequency values and percentage values. These values were presented in tabular form. As a result of the findings, it was seen that most of the teachers did not read the Arabic lesson teaching program they were practicing, and they were unaware of the program’s vision, approach and goals; and they did not understand the program’s approach, vision, and objectives. Moreover, it was understood that the minds of the teachers were not clear about whether the Arabic language was a foreign language lesson or a religious vocational lesson, that the teaching practices and behaviors of teachers are incompatible with the educational program and they also had one view that the goals of the Arab lesson were largely unfulfilled. After the main results have been revealed and discussed, finally, following the disputed results, some suggestions were made to increase the quality of teaching Arabic such as making Arabic an effective, active and influential element in the lives of students and teachers through various awards and scholarships and the examination of Arabic as a foreign language in the university entrance examinations as an element of motivation and quality. In addition, in order to improve the quality of the Arabic teacher, we have made the Arabic exams as periodic, an increase in salaries according to the teachers’ receivables score, the continuation of in-service trainings, etc. (shrink)

In this paper, we have developed an Excel package to be utilized for calculating neutrosophic data and analyze them. The use of object oriented programming techniques and concepts as they may apply to the design and development a new framework to implement neutrosophic data operations, the c# programming language, NET Framework and Microsoft Visual Studio are used to implement the neutrosophic classes. We have used Excel as it is a powerful tool that is widely accepted and used for (...) statistical analysis. Figure 1 shows Class Diagram of the implemented package. Figure 2 presents a working example of the package interface calculating the complement. Our implemented Neutrosophic package can calculate Intersection, Union, and Complement of the nuetrosophic set. Figure 3 presents our neutrosphic package capability to draw figures of presented neutrosphic set. Figure 4 presents charting of Union operation calculation, and figure 5 Intersection Operation. nuetrosophic set are characterized by its efficiency as it takes into consideration the three data items: True, Intermediate, and False. (shrink)

Learning programming is thought to be troublesome. One doable reason why students don’t do well in programming is expounded to the very fact that traditional way of learning within the lecture hall adds more stress on students in understanding the Material rather than applying the Material to a true application. For a few students, this teaching model might not catch their interest. As a result, they'll not offer their best effort to grasp the Material given. Seeing however the (...) information is applied to real issues will increase student interest in learning. As a consequence, this may increase their effort to be taught. In the current paper, we try to help students learn C# programming language using Intelligent Tutoring System. This ITS was developed using ITSB authoring tool to be able to help the student learn programming efficiently and make the learning procedure very pleasing. A knowledge base using ITSB authoring tool style was used to represent the student's work and to give customized feedback and support to students. (shrink)

Several important philosophical problems (including the problems of perception, free will, and scepticism) arise from antinomies that are developed through philosophical paradoxes. The critical strand of ordinary language philosophy (OLP), as practiced by J.L. Austin, provides an approach to such ‘antinomic problems’ that proceeds from an examination of ‘ordinary language’ (how people ordinarily talk about the phenomenon of interest) and ‘common sense’ (what they commonly think about it), and deploys findings to show that the problems at issue are artefacts of (...) fallacious reasoning. The approach is capable, and in need of, empirical development. Proceeding from a case-study on Austin’s paradigmatic treatment of the problem of perception, this paper identifies the key empirical assumptions informing the approach, assesses them in the light of empirical findings about default inferences, contextualisation failures, and belief fragmentation, and explores how these findings can be deployed to address the problem of perception. This facilitates a novel resolution of the problem of perception. Proceeding from this paradigm, the paper proposes ‘experimental critical OLP’ as a new research program in experimental philosophy that avoids apparent non-sequiturs of OLP, extends and transforms experimental philosophy’s ‘sources program’, and provides a promising new strategy for deploying empirical findings about how people ordinarily talk and think about phenomena, to address longstanding philosophical problems. (shrink)

The prelims comprise: Introduction: Two Semantic Projects History The Uses of Semantics Conclusions.

After sketching the main lines of Hilbert's program, certain well-known andinfluential interpretations of the program are critically evaluated, and analternative interpretation is presented. Finally, some recent developments inlogic related to Hilbert's program are reviewed.

How does one formalize the structure of structures necessary for the foundations of physics? This work is an attempt at conceptualizing the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may find a foundation. We discuss the philosophy of pregeometric structures due to Wheeler, Leibniz as well as modern manifestations in topos theory. We draw attention to evidence suggesting that the framework of formal language, in particular, homotopy type theory, provides the conceptual building blocks for (...) a theory of pregeometry. This work is largely a synthesis of ideas that serve as a precursor for conceptualizing the notion of space in physical theories. In particular, the approach we espouse is based on a constructivist philosophy, wherein ``structureless structures'' are syntactic types realizing formal proofs and programs. Spaces and algebras relevant to physical theories are modeled as type-theoretic routines constructed from compositional rules of a formal language. This offers the remarkable possibility of taxonomizing distinct notions of geometry using a common theoretical framework. In particular, this perspective addresses the crucial issue of how spatiality may be realized in models that link formal computation to physics, such as the Wolfram model. (shrink)

Collaborative learning emphasizes student-to-student interaction and the instructor’s role as a facilitator. Collaborative Online International Learning (COIL) was founded in 2005 by the State University of New York (SUNY) to help schools adapt their single classroom courses to an online, collaborative format and establish strong collaborations with professors with whom they would join classes and co-teach using SUNY COIL conferences and website, as well as pre-established partnerships between the institutions. However, as the globe becomes increasingly interconnected, educational challenges aimed at (...) cultivating intercultural competency become more important (Ceo-DiFrancesco & Bender-Slack, 2016). That is why this study aimed to (1) understand the lived experience of students who went under the COIL program in relation to SDG 12, (2) review the new knowledge students obtained when they took part in the COIL program in relation to SDG 12, and (3) discover the challenges students encountered while participating in the COIL program in relation to SDG 12. The researcher surveyed Filipino and Japanese students who participated in the COIL program concerning SDG12 from St. Patrick School of Quezon City, Kwansei Gakuin University, and Meiwa Senior High School. The study employed qualitative phenomenological research, and pertinent data were obtained through an open-ended survey questionnaire. The study was analyzed using Colaizzi’s descriptive phenomenological method. The results showed that the lived experiences of students who went under the COIL program in relation to SD12 have something to do with all their learnings and enjoyable experiences, intercultural and global interactions, and environmental discussions and action plans related to SDG 12. Moreover, students learned and understood better the negative impact of waste on the environment, environmental awareness and practices, the culture and norms in the Philippines and Japan, and the importance and benefits of collaboration. Lastly, the study also revealed the different challenges students encounter while participating in the COIL program in relation to SDG 12, such as cultural differences, language barriers, technical difficulties, and difficulties in experimentation. Thus, it was recommended to learn to adapt to everyone and adjust according to countries’ different cultures, practice and be proficient with the English language, have backup devices and platforms to use to ease technological problems, and improve implementations of experiments. (shrink)

Background: Besides regulatory learning skills, learning also requires students to relate to their social context and negotiate it as they transition and adjust to medical training. As such, there is a need to consider and explore the role of social and cultural aspects in student learning, particularly in problem-based learning, where the learning paradigm differs from what most students have previously experienced. In this article, we report on the findings of a study exploring first-year medical students’ experiences during the first (...) semester of an undergraduate problem-based learning medical program at an African medical school. Method: We employed a qualitative case study approach using in-depth interviews with 23 first-year medical students. Participants ranged in age from 18 to 25 years. All students were bi/multilingual (some spoke three to five languages), with English as the learning language. We conducted an inductive thematic analysis to systematically identify and analyze patterns in the data using the Braun and Clarke framework. Results: Before medical school, students worked hard to compete for admission to medical school, were primarily taught using a teacher-centered approach, and preferred working alone. At the beginning of medical school, students found it challenging to understand the problem-based learning process, the role of the case, speaking and working effectively in a group, managing a heavy workload, and taking increased responsibility for their learning. By the end of the first semester, most students were handling the workload better, were more comfortable with their peers and facilitators, and appreciated the value of the problem-based learning approach. Conclusions: Our study highlights the importance of interrogating contextual sociocultural factors that could cause tension when implementing problem-based learning in non-western medical schools. Adjustment to problem-based learning requires a conceptual and pedagogic shift towards learner-centered practice, particularly concerning self direction, the role of the case, and collaborative learning. As such, there is a need to develop and implement research informed learning development programs that enable students to reflect on their sociocultural beliefs and practices, and enhance their regulatory learning competence to optimize meaningful and early engagement with the problem based learning process. (shrink)

Mark Schroeder’s Reasons First is admirable in its scope and execution, deftly demonstrating the theoretical promise of extending the reasons-first approach from ethics to epistemology. In what follows we explore how (not) to account for the evidence-that relation within the reasons-first program, we explain how factive content views of evidence can be resilient in the face of Schroeder’s criticisms, and we explain how knowledge from falsehood threatens Schroeder’s view of knowledge. Along the way we sketch a reliabilist account of the (...) reasons-for relation (inspired by Alston) and show how it limits the applicability of Schroeder’s arguments. (shrink)

Holism in interwar Germany provides an excellent example for social and political in- fluences on scientific developments. Deeply impressed by the ubiquitous invocation of a cultural crisis, biologists, physicians, and psychologists presented holistic accounts as an alternative to the “mechanistic worldview” of the nineteenth century. Although the ideological background of these accounts is often blatantly obvious, many holistic scientists did not content themselves with a general opposition to a mechanistic worldview but aimed at a rational foundation of their holistic projects. (...) This article will discuss the work of Kurt Goldstein, who is known for both his groundbreaking contributions to neuropsychology and his holistic philosophy of human nature. By focusing on Goldstein’s neurolinguistic research, I want to reconstruct the empirical foundations of his holistic program without ignoring its cultural background. In this sense, Goldstein’s work provides a case study for the formation of a scientific theory through the complex interplay between specific empirical evidences and the general cultural developments of the Weimar Republic. (shrink)

Operations research science is defined as the science that is concerned with applying scientific methods to complex problems in managing and directing large systems of people, including resources and tools in various fields, private and governmental work, peace and war, politics, administration, economics, planning and implementation in various domains. It uses scientific methods that take the language of mathematics as a basis for it and uses computer, without which it would not have been possible to achieve numerical solutions to the (...) raised problems, those that need correct solutions, when the solutions abound and the options are multiple, so we need a decision based on correct scientific foundations and takes into account all the circumstances and changes that you can encounter the decision-maker during the course of work, and nothing is left to chance or luck, but rather everything that enters into the account and plays its role in decision-making, and we get that when we use the concepts of neutrosophic science to reformulate what the science of operations research presented in terms of methods and methods to solve many practical problems, so we will present in this research a study aimed at shedding light on the most important methods used to solve nonlinear models, which is the Lagrangian multiplier method for nonlinear models constrained by equality and then reformulated using the concepts of neutrosophic science. (shrink)

The appearance of openly accessible Artificial Intelligence Applications such as Large Language Models, nowadays capable of almost human-level performances in complex reasoning tasks had a tremendous impact on public opinion. Are we going to be "replaced" by the machines? Or - even worse - "ruled" by them? The behavior of these systems is so advanced they might almost appear "alive" to end users, and there have been claims about these programs being "sentient". Since many of our relationships of power and (...) social dominance are apparently based on intelligence, where the "smarter" seems to prevail on the "dumber" (as we see for example with livestock farming, or with the distribution of salaries according to formal and intellectual qualifications etc.) the emergence of programs and AI applications of this level of sophistication brings us to the question "what will AI do to us?". Our error is to frame Artificial Intelligence in the same way we frame Natural Intelligence and mistakenly address it as we would do with biological life, even applying to it the same biopolitical categories. We here try to reverse the common arguments in relationship between life and intelligence and show that our progresses in Artificial Intelligence might have no immediate consequence for the topic of life as such, as life and intelligence are well separated issues, and - even when we would like to somehow fuse them together, we are very far away from having an "Artificial Life" to the degree of complexity and effectiveness we have with "Artificial Intelligence". (shrink)

Learning programming is thought to be troublesome. One doable reason why students don’t do well in programming is expounded to the very fact that traditional way of learning within the lecture hall adds more stress on students in understanding the Material rather than applying the Material to a true application. For a few students, this teaching model might not catch their interest. As a result, they'll not offer their best effort to grasp the Material given. Seeing however the (...) information is applied to real issues will increase student interest in learning. As a consequence, this may increase their effort to be taught. In the current paper, we try to help students learn C# programming language using Intelligent Tutoring System. This ITS was developed using ITSB authoring tool to be able to help the student learn programming efficiently and make the learning procedure very pleasing. A knowledge base using ITSB authoring tool style was used to represent the student's work and to give customized feedback and support to students. (shrink)

Disputes at the intersection of national security, surveillance, civil liberties, and transparency are nothing new, but they have become a particularly prominent part of public discourse in the years since the attacks on the World Trade Center in September 2001. This is in part due to the dramatic nature of those attacks, in part based on significant legal developments after the attacks (classifying persons as “enemy combatants” outside the scope of traditional Geneva protections, legal memos by White House counsel providing (...) rationale for torture, the USA Patriot Act), and in part because of the rapid development of communications and computing technologies that enable both greater connectivity among people and the greater ability to collect information about those connections. -/- One important way in which these questions intersect is in the controversy surrounding bulk collection of telephone metadata by the U.S. National Security Agency. The bulk metadata program (the “metadata program” or “program”) involved court orders under section 215 of the USA Patriot Act requiring telecommunications companies to provide records about all calls the companies handled and the creation of database that the NSA could search. The program was revealed to the general public in June 2013 as part of the large document leak by Edward Snowden, a former contractor for the NSA. -/- A fair amount has been written about section 215 and the bulk metadata program. Much of the commentary has focused on three discrete issues. First is whether the program is legal; that is, does the program comport with the language of the statute and is it consistent with Fourth Amendment protections against unreasonable searches and seizures? Second is whether the program infringes privacy rights; that is, does bulk metadata collection diminish individual privacy in a way that rises to the level that it infringes persons’ rights to privacy? Third is whether the secrecy of the program is inconsistent with democratic accountability. After all, people in the general public only became aware of the metadata program via the Snowden leaks; absent those leaks, there would have not likely been the sort of political backlash and investigation necessary to provide some kind of accountability. -/- In this chapter I argue that we need to look at these not as discrete questions, but as intersecting ones. The metadata program is not simply a legal problem (though it is one); it is not simply a privacy problem (though it is one); and it is not simply a secrecy problem (though it is one). Instead, the importance of the metadata program is the way in which these problems intersect and reinforce one another. Specifically, I will argue that the intersection of the questions undermines the value of rights, and that this is a deeper and more far-reaching moral problem than each of the component questions. (shrink)

Recent research gives perspectivism the status of a stand-alone epistemological research program. As part of this development, it must be distinguished from other epistemologies, especially relativism. Not only do relativists and perspectivists use a similar vocabulary—even the supposed tenets (features of the doctrine) seem to partially overlap. To clarify the relation between these programs, I suggest drawing two important distinctions. The first is between the (1) terminological and (2) doctrinal components of epistemologies, the second between the (2a) analytical and (2b) (...) synthetical doctrinal elements. The method of the originalistic linguistic analysis that I introduce in this article shows that both relativism and perspectivism are using the same matrix of interconnected linguistic expressions that belong to what I call the universal epistemic language. Furthermore, this method reveals which doctrinal components necessarily follow from this linguistic basis and the terms “relativism” and “perspectivism” and which are a result of deliberate philosophical constructions. As for the linguistic basis and analytical doctrinal components, relativism and perspectivism are complementary members of one epistemology. Doctrinal additions that transform the original meaning of the terms “relativism” and “perspectivism”, such as “indifferentism” and “non-absolutism”, should be always explicitly mentioned to avoid confusion and strawmen debates in philosophy. (shrink)

This essay considers what it means to understand natural language and whether a computer running an artificial-intelligence program designed to understand natural language does in fact do so. It is argued that a certain kind of semantics is needed to understand natural language, that this kind of semantics is mere symbol manipulation (i.e., syntax), and that, hence, it is available to AI systems. Recent arguments by Searle and Dretske to the effect that computers cannot understand natural language are discussed, and (...) a prototype natural-language-understanding system is presented as an illustration. (shrink)

In this paper I trace the manner in which Herder’s philosophy of language grounds his approach to hermeneutical issues regarding history, interpretation, and translation. Herder’s approach to the question of language has been repeatedly lauded for its important influence on the later work done by Schleiermacher, Dilthey, and Gadamer, but in this discussion I am going to put him more directly in conversation with Wilhelm von Humboldt. Although recent critics have derided Humboldt’s theory as both derivative and wrong, I will (...) argue that we should instead recognize that Humboldt’s philosophy of language represents a significant development of Herder’s thesis. This development is accomplished by way of Humboldt’s application of Kant’s mature theory of reason to a program for comparative linguistics. In Humboldt’s hands, this amounts to a new strain of philosophical anthropology. (shrink)

Due to the wide scope of (in particular linear) homotopy type theory (using quantum natural language processing), a metatheory can be applied not just to theorizing the metatheory of scientific progress, but ordinary language or any public language defined by sociality/social agents as the precondition for the realizability of (general) intelligence via an inferential network from which judgement can be made. How this metatheory of science generalizes to public language is through the recent advances of quantum natural language processing, but (...) the traditional metalogical encodings (of Tarski) is relatively comparable through universes such as the type of types or type of types of types found in the inherent inferentialism of UF/HoTT via infinity-groupoids. The "computational trinity" of proofs=programs=algebra in HoTT also means reason is defined functionally as "what it does" by what it computes (proofs are programs). Following Reza Negarestani's recent book, through the self's self-realizability, achieving self-consciousness and consciousness beyond selfhood, "geistig manifestation" is achieved in the form of general intelligence, but only through an inferential network of social agents intrinsically encoded through computation. (shrink)

Educational institutions are in need of increasing their high standards as an essential factor in improving the level of quality in education. Hence, they are looking at better ways to develop such a curriculum which reaches the pre-decided standards. This calls for curriculum evaluation. This study was aimed at evaluating the implementation of the 2010 Curriculum (K-10) of English Education Department at the Universitas Islam Negeri Alauddin Makassar, Indonesia. The research design adapted Stake's Countenance Model. The data collected were quantitative (...) and qualitative data. The findings revealed that at the transactions stage, the concordance level between the objective conditions and the standard actuality/objective intensity objective for the curriculum implementation components was overall classified as 'Medium' (Score 48.75%). It indicated that some of the sub components still required limited changes or revisions in accordance with the Indonesian National Education Standards Agency instructions. Thus, the formative evaluation of the department’s curriculum implementation needs to be conducted periodically (annually) to ensure the quality of the program and anticipate the changes and development of workplace needs. (shrink)

This book analyses the impact computerization has had on contemporary science and explains the origins, technical nature and epistemological consequences of the current decisive interplay between technology and science: an intertwining of formalism, computation, data acquisition, data and visualization and how these factors have led to the spread of simulation models since the 1950s. -/- Using historical, comparative and interpretative case studies from a range of disciplines, with a particular emphasis on the case of plant studies, the author shows how (...) and why computers, data treatment devices and programming languages have occasioned a gradual but irresistible and massive shift from mathematical models to computer simulations. -/- . (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

The study examined the differential item functioning (DIF) of 2018 Basic Education Certificate examination (BECE) in Mathematics tests of National Examination Council (NECO) and BECE of Akwa Ibom State government in Nigeria. The invariance in the tests with regards to sex was considered using Item Response Theory (IRT) approach. The study area was Akwa Ibom state of Nigeria having a student population of 58,281 for the examination. The sample was made of up 3810 students drawn through a multi-stage sampling approach. (...) The multidimensional IRT (MIRT) package implemented in R-programming language software was applied in analyzing the data. The findings reveal that BECE of NECO displayed 23(38.3%) DIF items while BECE of Akwa Ibom State had 37 (61.7%) DIF items in terms of sex. The findings also revealed that, in the two examinations, more items favoured the male candidates more than the female candidates in terms of performance. It was recommended that IRT model should be adopted by test developers to determine item parameters for selection of good items to ensure quality of items before administration. Test equating of students who write equivalent form examinations conducted by different examining bodies was also recommended for admission and placement of candidates to determine actual group differences in performance. The study posits that research on Differential Item Functioning is inconclusive, so should be encouraged. (shrink)

The Language of Thought program has a suicidal edge. Jerry Fodor, of all people, has argued that although LOT will likely succeed in explaining modular processes, it will fail to explain the central system, a subsystem in the brain in which information from the different sense modalities is integrated, conscious deliberation occurs, and behavior is planned. A fundamental characteristic of the central system is that it is “informationally unencapsulated” -- its operations can draw from information from any cognitive domain. The (...) domain general nature of the central system is key to human reasoning; our ability to connect apparently unrelated concepts enables the creativity and flexibility of human thought, as does our ability to integrate material across sensory divides. The central system is the holy grail of cognitive science: understanding higher cognitive function is crucial to grasping how humans reach their highest intellectual achievements. But according to Fodor, the founding father of the LOT program and the related Computational Theory of Mind (CTM), the holy grail is out of reach: the central system is likely to be non-computational (Fodor 1983, 2000, 2008). Cognitive scientists working on higher cognitive function should abandon their efforts. Research should be limited to the modules, which for Fodor rest at the sensory periphery (2000).1 Cognitive scientists who work in the symbol processing tradition outside of philosophy would reject this pessimism, but ironically, within philosophy itself, this pessimistic streak has been very influential, most likely because it comes from the most well-known proponent of LOT and CTM. Indeed, pessimism about centrality has become assimilated into the mainstream conception of LOT. (Herein, I refer to a LOT that appeals to pessimism about centrality as the “standard LOT”). I imagine this makes the standard LOT unattractive to those philosophers with a more optimistic approach to what cognitive science can achieve.. (shrink)

Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely (...) complex and the decision problem for the generated languages is generally unsolvable. With this in mind, I provide here a short primer of the syntax of WGs, which includes syntactic restrictions that guarantee decidability for the corresponding generated languages. (shrink)

The formal and empirical-generative perspectives of computation are demonstrated to be inadequate to secure the goals of simulation in the social sciences. Simulation does not resemble formal demonstrations or generative mechanisms that deductively explain how certain models are sufficient to generate emergent macrostructures of interest. The description of scientific practice implies additional epistemic conceptions of scientific knowledge. Three kinds of knowledge that account for a comprehensive description of the discipline were identified: formal, empirical and intentional knowledge. The use of formal (...) conceptions of computation for describing simulation is refuted; the roles of programming languages according to intentional accounts of computation are identified; and the roles of iconographic programming languages and aesthetic machines in simulation are characterized. The roles that simulation and intentional decision making may be able to play in a participative information society are also discussed. (shrink)

European Computing and Philosophy conference, 2–4 July Barcelona The Seventh ECAP (European Computing and Philosophy) conference was organized by Jordi Vallverdu at Autonomous University of Barcelona. The conference started with the IACAP (The International Association for CAP) presidential address by Luciano Floridi, focusing on mechanisms of knowledge production in informational networks. The first keynote delivered by Klaus Mainzer made a frame for the rest of the conference, by elucidating the fundamental role of complexity of informational structures that can be analyzed (...) on different levels of organization giving place for variety of possible approaches which converge in this cross-disciplinary and multi-disciplinary research field. Keynotes by Kevin Warwick about re-embodiment of rats’ neurons into robots, Raymond Turner on syntax and semantics in programming languages, Roderic Guigo on Biocomputing Sciences and Francesco Subirada on the past and future of supercomputing presented different topics of philosophical as well as practical aspects of computing. Vonference tracks included: Philosophy of Information (Patrick Allo), Philosophy of Computer Science (Raymond Turner), Computer and Information Ethics (Johnny Søraker and Alison Adam), Computational Approaches to the Mind (Ruth Hagengruber), IT and Cultural Diversity (Jutta Weber and Charles Ess), Crossroads (David Casacuberta), Robotics, AI & Ambient Intelligence (Thomas Roth-Berghofer), Biocomputing, Evolutionary and Complex Systems (Gordana Dodig Crnkovic and Søren Brier), E-learning, E-science and Computer-Supported Cooperative Work (Annamaria Carusi) and Technological Singularity and Acceleration Studies (Amnon Eden). (shrink)

Application of the reliability of repairable systems on solving problems from constructing production systems takes an important place in the process of finding the optimal solution among the suggested system choices. The basic hypothesis when using the reliability of the repairable systems is that every machine is representing a component, a fact that is debatable when talking about technical sciences. However, considering the second assumption of the stationary process, the function of the availability is introduced. It represents the measure between (...) the reliability and the benefit of maintaining the components and the system as a whole one. An additional and the last reason for analyzing constructing machine as a whole one has an economic reason. From the aspect of the total cost and the capacity of the system, the function of the availability is catching more and more impact in the process of determinating the total cost in bill of quantities as the most important part of tender documents. Until former works, techno-economic optimisation usually ran over when choosing the system of the construction machines. In the work, there are shown the methodologies for gathering and analyzing the indicators of availabilities per unit of a company's machine park. The time of demission and reparation have been investigated among 34 components in the period of 6 years. Based on the obtained result for different conditions of machine exploitation and facilities, it is suggested the methodology of the future behaviour of the corresponding within the model optimization availability of constructing production system with the aim of eliminating extra criterion. The suggested model takes in consideration the total cost of the components when they are functional, and when they are not. This kind of approach enables the one who take choices decision of the height of profits, in the lenght of work in function of the projection of cash flow and managing with real indicators of functioning the system at the project level. Given the fact that the maintanance policy of machines is based on availability, and not on reliability of components, with the aim of maximizing the availability of different budget scenarios, a logical approach to the selection of the objective function in the terms of management of construction production systems is to minimize costs for a given availability of system constructing machinery is based on the use of historical data base with the values of the operational availability of components, conditions in which they function, in the process of forecasting the project availability for projects that follow. Ranking variant solutions is the result of the adopted function of the aim as a consequence due to enlargement methods of availability for serial parallel systems with the associated restrictions. For optimal system availability is taken a value that belongs to minimal total cost. However, it is predicted that after the end of the financial year, the real and projected indicators of system functions get compared to each other. Informational support to the proposed model is informational company system, which was built in the PHP programming language on the Linux software platform, and with data based in My SQL. The suggested model is tested on the system for the production and embedding bitumen bound materials on the specific project. Obtained results confirm the assumptions used in work. (shrink)

In this dissertation we present proof systems for several modal logics. These proof systems are based on analytic (or semantic) tableaux. -/- Modal logics are logics for reasoning about possibility, knowledge, beliefs, preferences, and other modalities. Their semantics are almost always based on Saul Kripke’s possible world semantics. In Kripke semantics, models are represented by relational structures or, equivalently, labeled graphs. Syntactic formulas that express statements about knowledge and other modalities are evaluated in terms of such models. -/- This dissertation (...) focuses on modal logics with dynamic operators for public announcements, belief revision, preference upgrades, and so on. These operators are defined in terms of mathematical operations on Kripke models. Thus, for example, a belief revision operator in the syntax would correspond to a belief revision operation on models. -/- The ‘dynamic’ semantics of dynamic modal logics are a clever way of extending languages without compromising on intuitiveness. We present ‘dynamic’ tableau proof systems for these dynamic semantics, with the express aim to make them conceptually simple, easy to use, modular, and extensible. This we do by reflecting the semantics as closely as possible in the components of our tableau system. For instance, dynamic operations on Kripke models have counterpart dynamic relations between tableaux. -/- Soundness, completeness, and decidability are three of the most important properties that a proof system may have. A proof system is sound if and only if any formula for which a proof exists, is true in every model. A proof system is complete if and only if for any formula that is true in all models, a proof exists. A proof system is decidable if and only if any formula can be proved to be a theorem or not a theorem in a finite number of steps. All proof systems in this dissertation are sound, complete, and decidable. -/- Part of our strategy to create modular tableau systems is to delay concerns over decidability until after soundness and completeness have been established. Decidability is attained through the operations of folding and through operations on ‘tableau cascades’, which are graphs of tableaux. -/- Finally, we provide a proof-of-concept implementation of our dynamic tableau system for public announcement logic in the Clojure programming language. (shrink)

In this paper, we deal with the computation of Lie derivatives, which are required, for example, in some numerical methods for the solution of differential equations. One common way for computing them is to use symbolic computation. Computer algebra software, however, might fail if the function is complicated, and cannot be even performed if an explicit formulation of the function is not available, but we have only an algorithm for its computation. An alternative way to address the problem is to (...) use automatic differentiation. In this case, we only need the implementation of the algorithm that evaluates the function in terms of its analytic expression in a programming language, but we cannot use this if we have only a compiled version of the function. In this paper, we present a novel approach for calculating the Lie derivative of a function, even in the case where its analytical expression is not available, that is based on the In finity Computer arithmetic. A comparison with symbolic and automatic differentiation shows the potentiality of the proposed technique. (shrink)

Abstract—Generator set (genset) is a backup power supply which is used when the PLN supply is off. With such an important function, the generator set maintenance must be taken care of for long life durability. Monitoring activity is usually conducted on a regular basis, but still run manually by relying on operators who go directly to the plant. This research goes over the making of HMI remote control system for generator set in order to produce effective and continuous reporting. HMI (...) is designed by Microsoft Visual Studio 2012 software with C # programming language. The data communication used is serial asynchronous wireless communication using 3DR Telemetry 433MHz. The prototype generator set uses an Atmega16 microcontroller which is programmed by CodeVision AVR 2.05.3. Daily data storage and reports use Microsoft Excel. Based on the tests performed, it can be concluded that the HMI system works well. The HMI monitoring system can accurately monitor the plant on fuel percentage and data difference of 1 celcius degree at temperature. The alarm test works well. The farthest test resulted was 84.6 meters. In testing data storage and daily reports all the required information can be stored properly. (shrink)

Throughout Peirce’s writing, we witness his developing vision of a machine that scientists will eventually be able to create. Nadin (2010) raised the question:Why do computer scientists continue to ignore Peirce’s sign theory? A review of the literature on Peirce’s theory and the semiotics machine reveals that many authors discussed the machine;however, they donot differentiate between a physical computer machine and its software. This paper discusses the problematic issues involved in converting Peirce’s theory into a programming language, machine and (...) software application. We demonstrate this challenge by introducing Peirce’s sign theory as a software application that runs under an open-source R environment. (shrink)

Intentionalism is a research program that seeks to explain facts about meaning and communication in psychological terms, with our capacity for intention recognition playing a starring role. My aim here is to recommend a methodological reorientation in this program. Instead of a focus on intuitive counterexamples to proposals about necessary-and-sufficient conditions, we should aim to investigate the psychological mechanisms whose activities and interactions explain our capacity to communicate. Taking this methodologi- cal reorientation to heart, I sketch a theory of the (...) cognitive architecture underlying language use that I have defended elsewhere. I then show how this theory can be used to give an account of non-communicative language use—a phenomenon that has long posed a challenge to intentionalism. (shrink)

The goal of this thesis is to model some of the cognitive structures and processes involve d in how people decide what to say in purposeful conversation. The main concern is to show how a speaker's knowledge of his/her hearer influences what s/he says. Utterances in such dialogues, where speakers can be presumed to be speaking for reasons, can best be viewed as the performance of "speech acts" (e.g., requesting). By modeling the process of deciding what to say as one (...) of problem-solving, we show that the same mechanisms used to plan non-linguistic actions are applicable to planning of speech acts. The methodology of this research employs a computer program that integrates beliefs, goals, problem-solving, and reasoning, with the use of language. The program does this by planning speech acts when it determines that to achieve its situational goals, it needs to influence someone else's behavior. The system is able to plan request speech actrions to influence its user's goals, and inform speech acts to influence his/her beliefs. In addition, it is shown that speech acts can be used to achieve subgoals of other such acts. For instance, in addition to requesting that the user perform some action, the system can also decide to supply him/her with information necessary to performing that action -- information that it believes s/he does not already have. Our model is extendable to the more general problem of planning multiparty speech acts -- ones where actions requested by the speaker involve acts to be performed by parties other than the hearer. [MORE]. (shrink)

The program put forward in von Wright's last works defines deontic logic as ``a study of conditions which must be satisfied in rational norm-giving activity'' and thus introduces the perspective of logical pragmatics. In this paper a formal explication for von Wright's program is proposed within the framework of set-theoretic approach and extended to a two-sets model which allows for the separate treatment of obligation-norms and permission norms. The three translation functions connecting the language of deontic logic with the language (...) of the extended set-theoretical approach are introduced, and used in proving the correspondence between the deontic theorems, on one side, and the perfection properties of the norm-set and the ``counter-set'', on the other side. In this way the possibility of reinterpretation of standard deontic logic as the theory of perfection properties that ought to be achieved in norm-giving activity has been formally proved. The extended set-theoretic approach is applied to the problem of rationality of principles of completion of normative systems. The paper concludes with a plaidoyer for logical pragmatics turn envisaged in the late phase of Von Wright's work in deontic logic. (shrink)

Action Languages are formal methods of talking about actions and their effects on fluents. One recent approach in planning is to define the domains of the planning problems using action languages. The aim of this research is to find a plan for a system defined in the action language C by translating it into a causal theory and then finding an equivalent logic program. The planning problem will then be reduced to finding the answer set (stable model) of (...) this logic program. This planner will be added as an extension to the Causal Calculator (CCALC) which is a model checker for the language of the causal theories. (shrink)

Normative discourse includes statements which appear to be truth-apt expressions of normative beliefs. But normative oughts do not seem to fit cleanly amongst the natural facts. This makes many naturalistically inclined philosophers sympathetic to some form of expressivist view that normative statements get their meaning from how they express desire-like attitudes. However, there are a serious semantic challenges for expressivism, which lead others to accept the idea that normative statements are representational of reality after all. This paper presents another option (...) that derives from the general program in the theory of meaning to emphasize the commissive role of language over any descriptive or expressive roles. Here this emphasis is used to sketch a version of metaethical inferentialism and contrast it with expressivism. I conclude with some observations about new perspectives this view offers on three other issues in metaethics. (shrink)

Following Post program, we will propose a linguistic and empirical interpretation of Gödel’s incompleteness theorem and related ones on unsolvability by Church and Turing. All these theorems use the diagonal argument by Cantor in order to find limitations in finitary systems, as human language, which can make “infinite use of finite means”. The linguistic version of the incompleteness theorem says that every Turing complete language is Gödel incomplete. We conclude that the incompleteness and unsolvability theorems find limitations in our finitary (...) tool, which is our complete language. (shrink)

Grace A. de Laguna was an American philosopher of exceptional originality. Many of the arguments and positions she developed during the early decades of the twentieth century later came to be central to analytic philosophy. These arguments and positions included, even before 1930, a critique of the analytic-synthetic distinction, a private language argument, a critique of type physicalism, a functionalist theory of mind, a critique of scientific reductionism, a methodology of research programs in science and more. Nevertheless, de Laguna identified (...) herself as a defender of the speculative vision of philosophy, a vision which, in her words, “analytic philosophy condemns.” I outline her speculative vision of philosophy as well as what is, in effect, an argument she offers against analytic philosophy. This is an argument against the view that key parts of established opinion, e.g., our best theoretical physics or most certain common sense, should be assumed to be true in order to answer philosophical questions. I go on to bring out the implications of her argument for the approaches to philosophy of Bertrand Russell, Willard V. Quine and David Lewis, and I also compare the argument to recent, related arguments against analytic philosophy. I will suggest that de Laguna offers a viable critique of analytic philosophy and an alternative approach to philosophy that meets this critique. (shrink)

The topic of this dissertation is the nature of linguistic competence, the capacity to understand and produce sentences of natural language. I defend the empiricist account of linguistic competence embedded in the connectionist cognitive science. This strand of cognitive science has been opposed to the traditional symbolic cognitive science, coupled with transformational-generative grammar, which was committed to nativism due to the view that human cognition, including language capacity, should be construed in terms of symbolic representations and hardwired rules. Similarly, linguistic (...) competence in this framework was regarded as being innate, rule-governed, domain-specific, and fundamentally different from performance, i.e., idiosyncrasies and factors governing linguistic behavior. I analyze state-of-the-art connectionist, deep learning models of natural language processing, most notably large language models, to see what they can tell us about linguistic competence. Deep learning is a statistical technique for the classification of patterns through which artificial intelligence researchers train artificial neural networks containing multiple layers that crunch a gargantuan amount of textual and/or visual data. I argue that these models suggest that linguistic competence should be construed as stochastic, pattern-based, and stemming from domain-general mechanisms. Moreover, I distinguish syntactic from semantic competence, and I show for each the ramifications of the endorsement of a connectionist research program as opposed to the traditional symbolic cognitive science and transformational-generative grammar. I provide a unifying front, consisting of usage-based theories, a construction grammar approach, and an embodied approach to cognition to show that the more multimodal and diverse models are in terms of architectural features and training data, the stronger the case is for the connectionist linguistic competence. I also propose to discard the competence vs. performance distinction as theoretically inferior so that a novel and integrative account of linguistic competence originating in connectionism and empiricism that I propose and defend in the dissertation could be put forward in scientific and philosophical literature. (shrink)

It is astonishing that we humans are able to have, act on and express moral beliefs. This dissertation aims to provide a better philosophical understanding of why and how this is possible especially when we assume metaethical expressivism. Metaethical expressivism is the combination of expressivism and noncognitivism. Expressivism is the view that the meaning of a sentence is explained by the mental state it is conventionally used to express. Noncognitivism is the view that the mental state expressed by a moral (...) sentence is a noncognitive, desire-like state. The central question of this dissertation is this: "How can metaethical expressivists explain that we are able to express moral beliefs?" The shortest answer this dissertation will give is the following: "by becoming `dispositional expressivists´." Dispositional expressivists hold that moral beliefs are dispositions to be in certain mental states that resemble desires. More precisely, a central thesis of this study is that to hold a moral belief is to be disposed to be in a desire-like, noncognitive state where this state has some specific structure. This dissertation arrives at and justifies this thesis by making a number of steps. It starts with preparing the ground by developing a general theory of what it is for a sentence to express a mental state. Roughly, this theory states that for a sentence to express a mental state is for that sentence to be conventionally used to perform a speech act which counts as sincere only if the user or speaker is in that mental state. This theory of expressing satisfies all the constraints that must be satisfied for it to be compatible with the purposes of metaethical expressivism. The next step is to provide a solution to the most notorious semantic problem confronting metaethical expressivism, the problem of explaining how sentences containing moral words can have compositional meaning and stand in logical relations also known as the Frege-Geach or embedding problem. Building on the research of Mark Schroeder, a new expressivist semantics, called `Attitude Semantics´, will be developed for a first-order language. The motivating idea underlying attitude semantics is that expressivists can avoid the problematic feature of so-called `biforcation´ if they treat the structures of the mental states expressed by moral sentences as well as that expressed by non-moral sentences as being isomorphic. In order to give those structures a philosophically interesting interpretation, it will be suggested that we treat sentences as expressing dispositional states. As a toy example we will treat the sentence `murder is wrong´ as expressing the disposition to be for blaming for murder. After dealing with the Frege-Geach problem, I turn to the metaethical expressivists' project of quasi-realism. Two major goals of this project are to explain how moral sentence can be truth-apt and how the states expressed by them can be regarded as moral beliefs. In order to establish those goals I critically examine a number of theories of truth-aptness by providing counterexamples to them. I then present my own theory which says that a sentence is truth-apt iff and because there is a conventional way to use it to express a belief. What is new about this theory is that it treats expressing a belief as being explanatorily more basic than being truth-apt. Belief, according to this theory, explains truth-aptness, not vice versa. This has the important consequence that it shows that what I call the `orthodox strategy´ of quasi-realists is mistaken and needs to be inverted: expressivists must `earn the right´ to moral belief before they can establish that moral sentences are truth-apt, and not the other way round. The second part of this dissertation is then concerned with the question of what it is to hold a moral belief and how they can figure in rational reasoning. In short: it is concerned with earning the right to moral belief. After discussing the major problems confronting a noncognitivist theory of belief, most importantly what I call the `tightrope problem´, I argue for a dispositional form of noncognitivism about moral belief that combines elements from Eric Schwitzgebel's dispositionalism about belief and Sebastian Köhler's `conceptual role expressivism´. This dispositional noncognitivism perfectly matches and justifies the dispositionalist interpretation of the expressivist semantics developed before. In order to fully earn the right to moral belief, however, metaethical expressivists must also deal with several epistemological objections concerning the rationality of moral belief. The first objection I deal with comes from Derek Baker and is directed against Mark Schroeder's specific development of expressivism. I deal with this objection because my own theory bears close resemblance to Schroeder's theory and so it might be worried that it confronts the same issues. Fortunately, we will see that Baker's objection rest on a number of mistaken assumptions and so neither applies to Schroeder's expressivism nor to the version which I defend in this study. The other epistemological objection to metaethical expressivism I deal with is Cian Dorr's famous wishful-thinking objection. In contrast to previous replies to this objection I attack it by directly questioning the central assumption on which it rests, namely that reasoners can never be justified in basing a factual belief on a desire-like state. I argue that this is false, and that under certain conditions reasoning from desire-like mental states to factual beliefs is justified. My argument shows that even if holding a moral belief is being in a desire-like noncognitive state, basing factual belief on a moral belief can give one an epistemic reason for the factual belief. Hence, even if moral thoughts are wishes, moral thinking is not wishful thinking. I take my arguments to earn the dispositional expressivist the right to moral belief. By the previously defended theory of truth-aptness in terms of belief, this allows the dispositional expressivists to conclude that moral sentences are also truth-apt. This finishes the quasi-realist project of this dissertation. In the last part of this dissertation I switch gears and present two unnoted problems for metaethical expressivists having to do with explaining moral motivation. Both arguments are surprisingly simple. The first one is this: if motivation requires a belief as well as a desire (Humeanism), and moral judgments motivate by themselves (internalism), then moral judgments cannot be desires only. If this argument is sound, it shows that the famous `motivation argument´ not only entails the falsity of cognitivism, but also the falsity of noncognitivism. The second argument is the following: moral judgments when combined with suitable external desires motivate to act (externalism), but if motivation requires belief as well as desire (Humeanism), then moral judgments cannot be desires only. I discuss several ways in which noncognitivists might want to deal with those problems, but leave it as an open question whether those solutions will ultimately be viable. Overall, this dissertation makes serious contributions to the research program of metaethical expressivism. It makes proposals for how to solve a number of notorious problems, such as the Frege-Geach problem in semantics and the wishful-thinking problem in epistemology. Besides this, however, it also raises two new problems for metaethical expressivism in the philosophy of action. For those reasons this dissertation will be of interest for anyone who wants to defend or criticize expressivism in metaethics, and more generally, anyone who wants to better understand our astonishing ability to express moral beliefs. (shrink)

This is the 3rd edition. Although a number of new technological applications require classical deductive computation with non-classical logics, many key technologies still do well—or exclusively, for that matter—with classical logic. In this first volume, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing – a.k.a. formal languages and automata theory – and classical deduction with the classical first-order predicate calculus (...) with a view to computational implementations, namely in automated theorem proving and logic programming. The present third edition improves on the previous ones by providing an altogether more algorithmic approach: There is now a wholly new section on algorithms and there are in total fourteen clearly isolated algorithms designed in pseudo-code. Other improvements are, for instance, an emphasis on functions in Chapter 1 and more exercises with Turing machines. (shrink)

Whether there are philosophically relevant connections between the expressive role of first-personal vocabulary and self-knowledge is an on-going debate in analytical philosophy. We will take a look at this debate by considering Ludwig Wittgenstein’s distinction between the two uses of ‘I’ as object and as subject and work out a further distinction within the subject-use of ‘I’. This relates to a problem that is inherent in Robert Brandom’s inferentialist program regarding the role of first-personal vocabulary. It can be shown that (...) subject-related aspects of language are necessary elements of inferentially articulated discourses—and not, like Brandom assumes, merely contingent features. (shrink)

‘Modest’ and ‘full-blooded’ conceptions of meaning disagree on whether we should try to provide explanations of reference. In this paper, I defend a psychological brand of the full-blooded program. As I understand it, there are good reasons to provide a psychological explanation of referential abilities. This explanation is to be framed at an intermediary level of description between the personal level and the explanations provided by neuroscience. My defense of this program has two parts: First, I display the explanatory insufficiency (...) of truth-conditional semantics and, second, I respond to some widespread arguments against psychological explanations of referential abilities. (shrink)

Mark Schroeder’s expressivist program has made substantial progress in providing a compositional semantics for normative terms. This paper argues that it risks achieving this semantic progress at the cost of abandoning a key theoretical motivation for embracing expressivism in the first place. The problem can be summarized as a dilemma. Either Schroeder must allow that there are cases in which agents are in disagreement with one another, or can make valid inferences, but that these disagreements or inferences are not expressible (...) in natural language; or his version of expressivism must abandon one of the key theoretical advantages expressivist theories seemed to possess over cognitivism, the ability to provide a very straightforward explanation of the action- and attitude-guiding role of normative judgments. (shrink)

A major flaw of the book is its failure to note Wittgenstein’s role in destroying the mechanical or reductionist or computationalist view of mind. These continue to dominate cognitive science and philosophy in spite of the fact that they were powerfully countered by W and later by Searle and others. -/- There is much talk of W’s use of terms like “grammar”, “rules” etc but never a clear mention that they mean our Evolved Psychology or our genetically programmed innate behavior. (...) There are references to Baker and Hacker's works and to Budd, but none to many standard W refs such as ter Hark, Johnston, and especially to the searchable Intelex CDROM of his complete works, nor to Searle, and none to the vast literature of EP. -/- Many sections of the book are reasonably successful in describing W’s work but there is much aimless wandering and many mistakes and confusions. These will hopefully be obvious to those who read the above and my other reviews as I cannot recount more than a few of the hundreds of critical comments I made in my two readings of this book. A major flaw, common to most writing in the behavioral sciences, is the lack of awareness of the S1/S2 two selves mode of describing personality that W pioneered (though nobody noticed) and a failure to be clear about nature/nuture issues. The fast automatic perceptions, ‘rules’ and behaviors of S1 are mushed together with the slow conscious dispositional thinking, believing and rule following of S2 and neither are clearly or consistently distinguished from the arbitrary cultural behaviors of S3. -/- I wrote this review several years ago and since then my ideas have evolved considerably. Eventually I may revise this but for now the interested reader may consult my many more recent reviews and articles, especially “ The Logical Structure of Philosophy, Psychology, Mind and Language as Revealed in Wittgenstein and Searle” 80p (2016). Briefly, I now see that virtually all authors failed to give Wittgenstein’s last work “On Certainty” the prominent position it deserves and likewise failed to take advantage of the powerful dual systems of thought framework. Nor have they adopted the useful extensions of Wittgenstein’s work made by John Searle. So I first lay out a framework and then provide some detailed comments. -/- This is a reasonable first attempt to bring W’s pioneering work on higher order thought to the attention of psychology but it has many failings and needs a thorough rewrite. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019). (shrink)

Considering the short history of the feminist philosophy of language, Rae Langton’s article “Speech Acts and Unspeakable Acts” was highly influential as one of the first positive research programs in the movement. In that paper, Langton – using John L. Austin’s speech act theory – tries to interpret Catharine MacKinnon’s thesis: pornography is a speech that subordinates and silences women. Despite the importance of the subject, those unfamiliar with certain historical and contextual features of the topic would hardly understand it. (...) My paper aims to introduce some of the major accounts in this special area in the intersection of speech act theory and feminist philosophy. Rather than just reconstructing Langton’s arguments and the most common objections against it, I will take a more holistic approach, examining its surrounding literature as well. This article has six sections. In Section 1, I contrast the conservative and liberal arguments against pornography and sketch MacKinnon’s liberal critique. In Section 2, I give alternative interpretations of MacKinnon’s thesis, “pornography is harm.” In Section 3, I try to make sense of the prima facie implausible assumption that pornography is speech. In Section 4 and 5, I will analyze the Langtonian theories about subordination and silencing. Finally, in Section 6, I will mention the most challenging problems for Langton’s approach, considering the verbal nature or pornography, the limits of the protection of free speech, and the different positions on sexual consent. (shrink)