Cloud computing (ClC) has become a more popular computer paradigm in the preceding few years. Quality of Service (QoS) is becoming a crucial issue in service alteration because of the rapid growth in the number of cloud services. When evaluating cloud service functioning using several performance measures, the issue becomes more complex and non-trivial. It is therefore quite difficult and crucial for consumers to choose the best cloud service. The user's choices are provided in a quantifiable manner in the current (...) methods for choosing cloud services. Hence, this study attempts to achieve this objective through construction. decision-making framework so-called cloud services evaluator (CSsEv). The main indicator and its sub-indicators are formed as nodes at levels(n) in tree soft sets (TSSs). Thereafter Single Value Neutrosophic Sets (SVNSs) as branch of neutrosophic sets which conjunction with the Multi-Criteria Decision Making (MCDM) technique to facilitate analysis and evaluation process for the available Cloud services providers. Hence, entropy is employed to obtain indicators and sub_indicators weights and Complex Proportional Assessment utilizes these weights to facilitate the decision process of selecting optimal ClSPs. (shrink)

Observational and experimental discoveries of new factual entities such as objects, systems, or processes, are major contributors to some advances in the life sciences. Yet, whereas discovery of theories was extensively deliberated by philosophers of science, very little philosophical attention was paid to the discovery of factual entities. This paper examines historical and philosophical aspects of the experimental discovery by Carl Woese of archaea, prokaryotes that comprise one of the three principal domains of the phylogenetic tree. Borrowing Kuhn’s terminology, (...) this discovery of a major biological entity was made during a ‘normal science’ project of building molecular taxonomy for prokaryotes. Unexpectedly, however, an observed anomaly instigated the discovery of archaea. Substantiation of the existence of the new archaeal entity and consequent reconstruction of the phylogenetic tree prompted replacement of a long-held model of a prokarya and eukarya bipartite tree of life by a new model of a tripartite tree comprising of bacteria, archaea, and eukarya. This paper explores the history and philosophical implications of the progression of Woese’s project from normal science to anomaly-instigated model-changing discovery. It is also shown that the consequential discoveries of RNA splicing and of ribozymes were similarly prompted by unexpected irregularities during normal science activities. It is thus submitted that some discoveries of factual biological entities are triggered by unforeseen observational or experimental anomalies. (shrink)

The short paper introduces the concept of possible branches of double-stranded DNA (later sometimes called palindromes): Certain sequences of nucleotides may be followed, after a short unpaired stretch, by a complementary sequence in reversed order, such that each DNA strand can fold back on itself, and the DNA assumes a cruciform or tree-like structure. This is postulated to interact with regulatory proteins. -/- .

Phylogenetic models traditionally represent the history of life as having a strictly-branching tree structure. However, it is becoming increasingly clear that the history of life is often not strictly-branching; lateral gene transfer, endosymbiosis, and hybridization, for example, can all produce lateral branching events. There is thus motivation to allow phylogenetic models to have a reticulate structure. One proposal involves the reconciliation of genealogical discordance. Briefly, this method uses patterns of disagreement – discordance – between trees of different genes to (...) add lateral branching events to phylogenetic trees of taxa, and to estimate the most likely cause of these events. I use this practice to argue for: (1) a need for expanded accounts of multiple-models idealization, (2) a distinction between automatic and manual de-idealization, and (3) recognition that idealization may serve the meso-level aims of science in a different way than hitherto acknowledged. (shrink)

We introduce and discuss a knowledge-driven distillation approach to explaining black-box models by means of two kinds of interpretable models. The first is perceptron (or threshold) connectives, which enrich knowledge representation languages such as Description Logics with linear operators that serve as a bridge between statistical learning and logical reasoning. The second is Trepan Reloaded, an ap- proach that builds post-hoc explanations of black-box classifiers in the form of decision trees enhanced by domain knowledge. Our aim is, firstly, to target (...) a model-agnostic distillation approach exemplified with these two frameworks, secondly, to study how these two frameworks interact on a theoretical level, and, thirdly, to investigate use-cases in ML and AI in a comparative manner. Specifically, we envision that user-studies will help determine human understandability of explanations generated using these two frameworks. (shrink)

In the natural and social sciences, it is common to use toy models—extremely simple and highly idealized representations—to understand complex phenomena. Some of the simple surrogate models used to understand opaque machine learning (ML) models, such as rule lists and sparse decision trees, bear some resemblance to scientific toy models. They allow non-experts to understand how an opaque ML model works globally via a much simpler model that highlights the most relevant features of the input space and their (...) effect on the output. The obvious difference is that the common target of a toy and a full-scale model in the sciences is some phenomenon in the world, while the target of a surrogate model is another model. This essential difference makes toy surrogate models (TSMs) a new object of study for theories of understanding, one that is not easily accommodated under current analyses. This paper provides an account of what it means to understand an opaque ML model globally with the aid of such simple models. (shrink)

Ever since the era of internet had ushered in cloud computing, there had been increase in the demand for the unlimited data available through cloud computing for data analysis, pattern recognition and technology advancement. With this also bring the problem of scalability, efficiency and security threat. This research paper focuses on how data can be dynamically mine in real time for pattern detection in a secure cloud computing environment using combination of decision tree algorithm and Random Forest over a (...) restful Application Programming Interface (API). We are able to successfully Implement data mining on cloud computing bypassing or avoiding direct interaction with data warehouse and without any terminal involve by using combination of IBM Cloud storage facility, Amazing Web Service, Application Programming Interface and Window service along with a decision tree and Random Forest algorithm for our classifier. We were able to successfully bypass direct connection with the data warehouse and cloud terminal with 94% accuracy in our model. (shrink)

Chronic kidney disease (CKD) is a global health problem with high morbidity and mortality rate, and it induces other diseases. There are no obvious incidental effects during the starting periods of CKD, patients routinely disregard to see the sickness. Early disclosure of CKD enables patients to seek helpful treatment to improve the development of this disease. AI models can effectively assist clinical with achieving this objective on account of their fast and exact affirmation execution. In this appraisal, proposed a Logistic (...) relapse framework for diagnosing CKD. Proposed calculation like NAIVE BAYES , DECISION TREE , KSTAR , LOGISITIC , AND SVM and look at these calculation and get the most noteworthy precision .AI store, which has an enormous number of missing qualities. Missing characteristics are for the most part found, taking everything into account, clinical conditions since patients might miss a couple of assessments for various reasons. By separating the misjudgements delivered by the set up models and proposed a fused model that unites determined backslide and sporadic woods by using perceptron. (shrink)

Abstract: Heart diseases are increasing daily at a rapid rate and it is alarming and vital to predict heart diseases early. The diagnosis of heart diseases is a challenging task i.e. it must be done accurately and proficiently. The aim of this study is to determine which patient is more likely to have heart disease based on a number of medical features. We organized a heart disease prediction model to identify whether the person is likely to be diagnosed with (...) a heart disease or not using the medical features of the person. We used many different algorithms of machine learning such as Gaussian Mixture, Nearest Centroid, MultinomialNB, Logistic RegressionCV, Linear SVC, Linear Discriminant Analysis, SGD Classifier, Extra Tree Classifier, Calibrated ClassifierCV, Quadratic Discriminant Analysis, GaussianNB, Random Forest Classifier, ComplementNB, MLP Classifier, BernoulliNB, Bagging Classifier, LGBM Classifier, Ada Boost Classifier, K Neighbors Classifier, Logistic Regression, Gradient Boosting Classifier, Decision Tree Classifier, and Deep Learning to predict and classify the patient with heart disease. A quite helpful approach was used to regulate how the model can be used to improve the accuracy of prediction of heart diseases in any person. The strength of the proposed model was very satisfying and was able to predict evidence of having a heart disease in a particular person by using Deep Learning and Random Forest Classifier which showed a good accuracy in comparison to the other used classifiers. The proposed heart disease prediction model will enhances medical care and reduces the cost. This study gives us significant knowledge that can help us predict the person with heart disease. The dataset was collected from Kaggle depository and the model is implemented using python. (shrink)

The goal of this paper is to review and critically discuss the philosophical aspects of probabilistic seismic hazard analysis (PSHA). Given that estimates of seismic hazard are typically riddled with uncertainty, diferent epistemic values (related to the pursuit of scientifc knowledge) compete in the selection of seismic hazard models, in a context infuenced by non-epistemic values (related to practical goals and aims) as well. We frst distinguish between the diferent types of uncertainty in PSHA. We claim that epistemic and nonepistemic (...) considerations are closely related in the selection of the appropriate estimate of seismic hazard by the experts. Finally, we argue that the division of scientifc responsibility among the experts can lead to responsibility gaps. This raises a problem for the ownership of the results (“no one’s model” problem) similar to the “problem of many hands” in the ethics of technology. We conclude with a plea for a close collaboration between philosophy and engineering. (shrink)

The rise of social media has created a new platform for communication and interaction, but it has also facilitated the spread of harmful behaviors such as cyberbullying. Detecting and mitigating cyberbullying on social media platforms is a critical challenge that requires advanced technological solutions. This paper presents a novel approach to cyberbullying detection using a combination of supervised machine learning (ML) and natural language processing (NLP) techniques, enhanced by optimization algorithms. The proposed system is designed to identify and classify cyberbullying (...) behavior in real-time, analyzing textual data from social media posts to detect harmful content. The model is trained on a large dataset of labeled instances of bullying and non-bullying content, using supervised ML algorithms such as Support Vector Machines (SVM), Decision Trees, and Random Forest. NLP techniques, including sentiment analysis, keyword extraction, and text vectorization, are employed to preprocess and transform the data into a format suitable for machine learning. To optimize the performance of the detection model, techniques such as Grid Search, Genetic Algorithms, and Particle Swarm Optimization are used to fine-tune hyperparameters, resulting in improved accuracy and reduced false positives. The system's effectiveness is validated through experiments conducted on various social media platforms, demonstrating its potential to detect cyberbullying with high precision. Future work will focus on enhancing the model's adaptability to emerging slang and evolving language patterns in social media. Key words: Cyberbullying Detection, Social Media, Supervised Machine Learning, Natural Language Processing (NLP), Optimization Techniques. (shrink)

Abstract: In this study, we explore the challenge of identifying and preventing diseases in apple trees, which is a popular activity but can be difficult due to the susceptibility of these trees to various diseases. To address this challenge, we propose the use of Convolutional Neural Networks, which have proven effective in automatically detecting plant diseases. To validate our approach, we use images of apple leaves, including Apple Rot Leaves, Leaf Blotch, Healthy Leaves, and Scab Leaves collected from Kaggle which (...) is part from the Plant Village dataset. We generate a comprehensive training dataset using techniques such as image filtering, compression, and generation. Our model achieves impressive accuracy scores for all classes, with an overall accuracy of 99.93% on a dataset of 10,000 labeled images . (shrink)

Abstract: Dates are the fruit of date palm trees, and it is one of the fruits famous for its high nutritional value. It is a summer fruit spread in the Arab world. In the past, the Arabs relied on it in their daily lives. Dates take an oval shape and vary in size from 20 to 60 mm in length and 8 to 30 mm in diameter. The ripe fruit consists of a hard core surrounded by a papery cover called (...) the tartar that separates the core from the fleshy part that is eaten. Historians disagreed about the place of its origin, so some historians expressed their belief that it had originated around the Arabian Gulf, and some of them say that the oldest known information about palm trees was in Babylon 4 thousand years ago BC. It is known about the ancient Egyptians using dates in wine. Dates contain a high nutritional value and are considered a basic food for man since ancient times. The fruits of dates are considered the highest fruits in containing sugars. These components vary according to the nature of the fruit, whether it is wet, semi-dry or dry, as well as according to the environmental conditions surrounding the trees. The components of the fruits also differ in different varieties and increase the percentage of sugars in dates is 70-78% of the fruit’s components. These sugars are characterized by their rapid absorption and transfer into the blood directly, digestion and burning. 10 dates (about 100 grams) per day provide a person with all his daily needs of magnesium, manganese, copper, sulfur and half of his needs of calcium and potassium. In this paper we presented a system that recognize the nine types of dates based on deep learning using python on Colab, and classifying using a dataset contain 1350 images. Our trained model achieved an accuracy of 99.44% on a proven test set. (shrink)

We investigate a recently devised polyhedral semantics for intermediate logics, in which formulas are interpreted in n-dimensional polyhedra. An intermediate logic is polyhedrally complete if it is complete with respect to some class of polyhedra. The first main result of this paper is a necessary and sufficient condition for the polyhedral completeness of a logic. This condition, which we call the Nerve Criterion, is expressed in terms of Alexandrov’s notion of the nerve of a poset. It affords a purely combinatorial (...) characterisation of polyhedrally complete logics. Using the Nerve Criterion we show, easily, that there are continuum many intermediate logics that are not polyhedrally complete but which have the finite model property. We also provide, at considerable combinatorial labour, a countably infinite class of logics axiomatised by the Jankov–Fine formulas of ‘starlike trees’ all of which are polyhedrally complete. The polyhedral completeness theorem for these ‘starlike logics’ is the second main result of this paper. (shrink)

An attractive way to model the relation between an underspecified syntactic representation and its completions is to let the underspecified representation correspond to a logical description and the completions to the models of that description. This approach, which underlies the Description Theory of Marcus et al. 1983 has been integrated in Vijay-Shanker 1992 with a pure unification approach to Lexicalized Tree-Adjoining Grammars (Joshi et al. 1975, Schabes 1990). We generalize Description Theory by integrating semantic information, that is, we (...) propose to tackle both syntactic and semantic underspecification using descriptions. (shrink)

Abstract: Heart attacks, or myocardial infarctions, are a leading cause of mortality worldwide. Early prediction and accurate analysis of potential risk factors play a crucial role in preventing heart attacks and improving patient outcomes. In this study, we conduct a comprehensive review of datasets related to heart attack analysis and prediction. We begin by examining the various types of datasets available for heart attack research, encompassing clinical, demographic, and physiological data. These datasets originate from diverse sources, including hospitals, research institutions, (...) and public health agencies. Our analysis aims to identify common features, data quality, and potential biases in these datasets. Next, we explore the predictive modeling techniques employed in heart attack prediction. Machine learning algorithms, such as decision trees, support vector machines, and deep neural networks, have gained prominence in predicting heart attacks. We discuss the strengths and limitations of these methods and highlight recent advancements in predictive modeling. Furthermore, we delve into the critical risk factors associated with heart attacks. Factors such as age, gender, hypertension, diabetes, and cholesterol levels are examined for their significance in predicting cardiac events. We also investigate the role of lifestyle factors, including smoking, diet, and physical activity, in heart attack risk assessment. Additionally, this review addresses the importance of data preprocessing and feature engineering in improving prediction accuracy. Feature selection methods, missing data handling, and data scaling techniques are discussed to enhance the robustness of heart attack prediction models. In conclusion, this comprehensive dataset review provides valuable insights into the state of heart attack analysis and prediction. It serves as a resource for researchers and healthcare professionals seeking to better understand the datasets available for heart attack research and the methods employed for accurate prediction. Ultimately, our efforts in dataset analysis and predictive modeling contribute to the advancement of preventive cardiology and the reduction of heart attack-related morbidity and mortality. (shrink)

The master's thesis of Dr. Taraneh Javanbakht in philosophy that was published at the Université du Québec à Montréal in 2016 includes her innovations in logic and cognitive sciences as well as some parts of her philosophical system, netism. Her logic, tendential logic, that she introduced and developed and its application in cognitive science were also published in her master's thesis in philosophy.

Abstract—Breast cancer is considered the second most common cancer in women compared to all other cancers. It is fatal in less than half of all cases and is the main cause of mortality in women. It accounts for 16% of all cancer mortalities worldwide. Early diagnosis of breast cancer increases the chance of recovery. Data mining techniques can be utilized in the early diagnosis of breast cancer. In this paper, an academic experimental breast cancer dataset is used to perform a (...) data mining practical experiment using the Waikato Environment for Knowledge Analysis (WEKA) tool. The WEKA Java application represents a rich resource for conducting performance metrics during the execution of experiments. Pre-processing and feature extraction are used to optimize the data. The classification process used in this study was summarized through thirteen experiments. Additionally, 10 experiments using various different classification algorithms were conducted. The introduced algorithms were: Naïve Bayes, Logistic Regression, Lazy IBK (Instance-Bases learning with parameter K), Lazy Kstar, Lazy Locally Weighted Learner, Rules ZeroR, Decision Stump, Decision Trees J48, Random Forest and Random Trees. The process of producing a predictive model was automated with the use of classification accuracy. Further, several experiments on classification of Wisconsin Diagnostic Breast Cancer and Wisconsin Breast Cancer, were conducted to compare the success rates of the different methods. Results conclude that Lazy IBK classifier k-NN can achieve 98% accuracy among other classifiers. The main advantages of the study were the compactness of using 13 different data mining models and 10 different performance measurements, and plotting figures of classifications errors. (shrink)

Abstract: Forests are areas with a high density of trees, and they play a vital role in the health of the planet. They provide a habitat for a wide variety of plant and animal species, and they help to regulate the climate by absorbing carbon dioxide from the atmosphere. While in 2010, the world had 3.92Gha of forest cover, covering 30% of its land area, in 2019, there was a loss of forest cover of 24.2Mha according to the Global Forest (...) Watch institute. Discovery and classification depend on human experience and effort, so the error in the results of this process can lead to forest fires and disasters. Therefore, deep learning algorithms from artificial intelligence and machine learning sciences have been applied to help specialists avoid false or inaccurate diagnoses when detecting Forest fires in images using a pre-trained convolutional neural network called VGG16. The model was customized to fit the Forest fires classification and then applied to a dataset consisting of (14,000) of the Forests collected from the Kaggle depository. We trained, validated, and tested the modified VGG16 model. The proposed VGG16 model obtained Precision (99.96%), Recall (99.96%), and F1-Score (99.96%). (shrink)

The future is different from the past. What is past is fixed and set in stone. The future, on the other hand, is open insofar as it holds numerous possibilities. Branching-tree models of time account for this asymmetry by positing an ontological difference between the past and the future. Given a time t, a unique unified past lies behind t, whereas multiple alternative existing futures lie ahead of t. My goal in this paper is to show that there is (...) an incompatibility between the way branching-tree models account for the open future and the possibility of time travel. That is, I argue that once time travel enters the picture, branching time fails to model the openness of the future by means of alternative future branches. I show how this holds independently of whether branching-time models are cashed out in A-theoretic or B-theoretic terms. (shrink)

The second volume of “Advancing Uncertain Combinatorics through Graphization, Hyperization, and Uncertainization: Fuzzy, Neutrosophic, Soft, Rough, and Beyond” presents a deep exploration of the progress in uncertain combinatorics through innovative methodologies like graphization, hyperization, and uncertainization. This volume integrates foundational concepts from fuzzy, neutrosophic, soft, and rough set theory, among others, to further advance the field. Combinatorics and set theory, two central pillars of mathematics, focus on counting, arrangement, and the study of collections under defined rules. Combinatorics excels in handling (...) uncertainty, while set theory has evolved with concepts such as fuzzy and neutrosophic sets, which enable the modeling of complex real-world uncertainties by addressing truth, indeterminacy, and falsehood. These advancements, when combined with graph theory, give rise to novel forms of uncertain sets in "graphized" structures, including hypergraphs and superhypergraphs. Innovations such as Neutrosophic Oversets, Undersets, and Offsets, as well as the Nonstandard Real Set, build upon traditional graph concepts, pushing both theoretical and practical boundaries. The synthesis of combinatorics, set theory, and graph theory in this volume provides a robust framework for addressing the complexities and uncertainties inherent in both mathematical and real-world systems, paving the way for future research and application. In the first chapter, “A Review of the Hierarchy of Plithogenic, Neutrosophic, and Fuzzy Graphs: Survey and Applications”, the authors investigate the interrelationships among various graph classes, including Plithogenic graphs, and explore other related structures. Graph theory, a fundamental branch of mathematics, focuses on networks of nodes and edges, studying their paths, structures, and properties. A Fuzzy Graph extends this concept by assigning a membership degree between 0 and 1 to each edge and vertex, representing the level of uncertainty. The Turiyam Neutrosophic Graph is introduced as an extension of both Neutrosophic and Fuzzy Graphs, while Plithogenic graphs offer a potent method for managing uncertainty. The second chapter, “Review of Some Superhypergraph Classes: Directed, Bidirected, Soft, and Rough”, examines advanced graph structures such as directed superhypergraphs, bidirected hypergraphs, soft superhypergraphs, and rough superhypergraphs. Classical graph classes include undirected graphs, where edges lack orientation, and directed graphs, where edges have specific directions. Recent innovations, including bidirected graphs, have sparked ongoing research and significant advancements in the field. Soft Sets and their extension to Soft Graphs provide a flexible framework for managing uncertainty, while Rough Sets and Rough Graphs address uncertainty by using lower and upper approximations to handle imprecise data. Hypergraphs generalize traditional graphs by allowing edges, or hyperedges, to connect more than two vertices. Superhypergraphs further extend this by allowing both vertices and edges to represent subsets, facilitating the modeling of hierarchical and group-based relationships. The third chapter, “Survey of Intersection Graphs, Fuzzy Graphs, and Neutrosophic Graphs”, explores the intersection graph models within the realms of Fuzzy Graphs, Intuitionistic Fuzzy Graphs, Neutrosophic Graphs, Turiyam Neutrosophic Graphs, and Plithogenic Graphs. The chapter highlights their mathematical properties and interrelationships, reflecting the growing number of graph classes being developed in these areas. Intersection graphs, such as Unit Square Graphs, Circle Graphs, and Ray Intersection Graphs, are crucial for understanding complex graph structures in uncertain environments. The fourth chapter, “Fundamental Computational Problems and Algorithms for SuperHyperGraphs”, addresses optimization problems within the SuperHypergraph framework, such as the SuperHypergraph Partition Problem, Reachability, and Minimum Spanning SuperHypertree. The chapter also adapts classical problems like the Traveling Salesman Problem and the Chinese Postman Problem to the SuperHypergraph context, exploring how hypergraphs, which allow hyperedges to connect more than two vertices, can be used to solve complex hierarchical and relational problems. The fifth chapter, “A Short Note on the Basic Graph Construction Algorithm for Plithogenic Graphs”, delves into algorithms designed for Plithogenic Graphs and Intuitionistic Plithogenic Graphs, analyzing their complexity and validity. Plithogenic Graphs model multi-valued attributes by incorporating membership and contradiction functions, offering a nuanced representation of complex relationships. The sixth chapter, “Short Note of Bunch Graph in Fuzzy, Neutrosophic, and Plithogenic Graphs”, generalizes traditional graph theory by representing nodes as groups (bunches) rather than individual entities. This approach enables the modeling of both competition and collaboration within a network. The chapter explores various uncertain models of bunch graphs, including Fuzzy Graphs, Neutrosophic Graphs, Turiyam Neutrosophic Graphs, and Plithogenic Graphs. In the seventh chapter, “A Reconsideration of Advanced Concepts in Neutrosophic Graphs: Smart, Zero Divisor, Layered, Weak, Semi, and Chemical Graphs”, the authors extend several fuzzy graph classes to Neutrosophic graphs and analyze their properties. Neutrosophic Graphs, a generalization of fuzzy graphs, incorporate degrees of truth, indeterminacy, and falsity to model uncertainty more effectively. The eighth chapter, “Short Note of Even-Hole-Graph for Uncertain Graph”, focuses on Even-Hole-Free and Meyniel Graphs analyzed within the frameworks of Fuzzy, Neutrosophic, Turiyam Neutrosophic, and Plithogenic Graphs. The study investigates the structure of these graphs, with an emphasis on their implications for uncertainty modeling. The ninth chapter, “Survey of Planar and Outerplanar Graphs in Fuzzy and Neutrosophic Graphs”, explores planar and outerplanar graphs, as well as apex graphs, within the contexts of fuzzy, neutrosophic, Turiyam Neutrosophic, and plithogenic graphs. The chapter examines how these types of graphs are used to model uncertain parameters and relationships in mathematical and real-world systems. The tenth chapter, “General Plithogenic Soft Rough Graphs and Some Related Graph Classes”, introduces and explores new concepts such as Turiyam Neutrosophic Soft Graphs and General Plithogenic Soft Graphs. The chapter also examines models of uncertain graphs, including Fuzzy, Intuitionistic Fuzzy, Neutrosophic, and Plithogenic Graphs, all designed to handle uncertainty in diverse contexts. The eleventh chapter, “Survey of Trees, Forests, and Paths in Fuzzy and Neutrosophic Graphs”, provides a comprehensive study of Trees, Forests, and Paths within the framework of Fuzzy and Neutrosophic Graphs. This chapter focuses on classifying and analyzing graph structures like trees and paths in uncertain environments, contributing to the ongoing development of graph theory in the context of uncertainty. (shrink)

In this article, I explore the compatibility of inference to the best explanation (IBE) with several influential models and accounts of scientific explanation. First, I explore the different conceptions of IBE and limit my discussion to two: the heuristic conception and the objective Bayesian conception. Next, I discuss five models of scientific explanation with regard to each model’s compatibility with IBE. I argue that Kitcher’s unificationist account supports IBE; Railton’s deductive–nomological–probabilistic model, Salmon’s statistical-relevance model, and van Fraassen’s (...) erotetic account are incompatible with IBE; and Salmon’s causal–mechanical model is merely consistent with IBE. In short, many influential models of scientific explanation do not support IBE. I end by outlining three possible conclusions to draw: (1) either philosophers of science or defenders of IBE have seriously misconstrued the concept of explanation, (2) philosophers of science and defenders of IBE do not use the term ‘explanation’ univocally, and (3) the ampliative conception of IBE, which is compatible with any model of scientific explanation, deserves a closer look. (shrink)

A fundamental problem in understanding the nature of time is explaining its directionality. This 1990 PhD thesis re-examines the concepts of time flow, the physical directionality of time, and the semantics of tensed language. Several novel results are argued for that contradict the orthodox anti-realist views still dominant in the subject. Specifically, the concept of "metaphysical time flow" is supported as a valid scientific concept, and argued to be intrinsic to the directionality of objective probabilities in quantum mechanics; the common (...) claims that quantum probability theory is time reversible is shown to be based on an analytic error, stemming from a false choice for the criterion for reversibility of probabilistic theories (recognized by Satosi Watanabe in the 1950s but ignored in all philosophical discussions); and a consistent semantics for tensed language (adapted from the tree model of Storrs McCall) is constructed, showing that the common rejection of "time flow" as having no meaningful semantics is false. These debates are still ongoing in almost exactly the same state they were pre-1990, and there is appears to be no visible progress in the subject. Critical points made against errors in the orthodox account (which has been sustained for 70 years by the anti-realist philosophy of time, typified by the "Pittsburg School" of Grunbaum-Earman-Norton-Roberts), are still not recognized in the philosophy of time or physics. Some key technical proofs in this thesis have been published in physics proper. See p.ii-iii for full original abstract. (This pdf is uploaded from the Massey University archive.). (shrink)

Should models of consciousness be detailed _mechanistic_ models of particular types of systems, or should they be _minimal_ models that abstract away from the underlying mechanistic details and provide generalisations? Detailed mechanistic models may afford a complete and precise account of consciousness in human beings and other, physiologically similar mammals. But they do not provide a good model of consciousness in other animals, such as non-vertebrates, let alone artificial systems. Minimal models can be applicable to a wide range of (...) different conscious systems. But do they provide genuine explanations that are autonomous from explanations by detailed mechanistic models? This paper provides a taxonomy of minimal models and measures of consciousness, clarifies their relation to detailed mechanistic models, and highlights benefits of different minimalist approaches to consciousness. (shrink)

The model of special relativity is built in the article. Within the framework of the model, formulas of special relativity are obtained and their philosophical and physical meaning is revealed.

The introspective devices framework proposed by Kammerer and Frankish (this issue) offers an attractive conceptual tool for evaluating and developing accounts of introspection. However, the framework assumes that different views about the nature of introspection can be easily evaluated against a set of common criteria. In this paper, I set out to test this assumption by analysing two formal models of introspection using the introspective device framework. The question I aim to answer is not only whether models developed outside of (...) philosophy can be successfully evaluated against the set of conceptual criteria proposed by Kammerer and Frankish, but also whether this kind of evaluation can reveal some limitations inherent to the framework. (shrink)

When evidence-based policymaking is so often mired in disagreement and controversy, how can we know if the process is meeting its stated goals? We develop a novel mathematical model to study disagreements about adequate knowledge utilization, like those regarding wild horse culling, shark drumlines and facemask policies during pandemics. We find that, when stakeholders disagree, it is frequently impossible to tell whether any party is at fault. We demonstrate the need for a distinctive kind of transparency in evidence-based policymaking, (...) which we call transparency of reasoning. Such transparency is critical to the success of the evidence-based policy movement, as without it, we will be unable to tell whether in any instance a policy was in fact based on evidence. (shrink)

Given a class of linear order types C, we identify and study several different classes of trees, naturally associated with C in terms of how the paths in those trees are related to the order types belonging to C. We investigate and completely determine the set-theoretic relationships between these classes of trees and between their corresponding first-order theories. We then obtain some general results about the axiomatization of the first-order theories of some of these classes of trees in terms of (...) the first-order theory of the generating class C, and indicate the problems obstructing such general results for the other classes. These problems arise from the possible existence of nondefinable paths in trees, that need not satisfy the first-order theory of C, so we have started analysing first order definable and undefinable paths in trees. (shrink)

Contrasting two models of deliberative democratic multiculturalism, one by Seyla Benhabib and another by Luis Villoro, this paper contends that the differences between these two models outweigh the similarities, and that Villoro’s model is more promising insofar as it preserves the trust required in the institutions that mediate democratic deliberation in multicultural societies.

This article seeks to describe in general terms what has become the standard way of conceptualizing moral injury in the clinical psychological and psychiatric literature, which is the key source for applications of the concept in other domains. What we call “the standard model” draws on certain assumptions about beliefs, mental states, and emotions as well as an implicit theory of causation about how various forms of harm arise from certain experiences or “events” that violate persons’ moral beliefs and (...) systems. Our analysis makes these assumptions more explicit and subjects them to critical scrutiny. In so doing, we survey the current literature and identify basic features of how moral injuries are defined, how they are thought to occur, and the forms of treatment or repair that appear to be indicated. We caution that it matters how moral experience is characterized and argue that an alternative understanding of what is the moral in moral injury is important for overcoming critical challenges to the standard model. Moreover, recently evolving approaches to moral repair could be more consistent with an alternative model. Our concluding suggestion is that a more robust account of the nature of moral experience and its relations to self-identity and social experience more generally could advance understanding of the etiology of moral injury and promote rehabilitation. (shrink)

I argue that by considering Kant’s engagement with previous theorists of natural right, we can gain a clearer understanding of how he transformed the discipline from its foundations. To do this, I focus my analysis on Kant’s (critical) reception of two models of natural right with which he was very familiar: one from Alexander Baumgarten’s Elements of First Practical Philosophy [Initia philosophiae practicae primae], the other from Gottfried Achenwall’s Natural Law [Ius naturae]. The Initia served as a basis for Kant’s (...) lectures on moral philosophy for over three decades and may thus be considered as having played an important role in shaping his practical philosophy as a whole. Achenwall’s Ius naturae was the textbook that Kant employed in his lectures on natural right for over two decades. I argue that Kant distances himself from previous models of natural right in three main regards: the identification of moral laws with laws of nature, the normative connection between the principles of right and a natural end, and the place of God as the author of moral laws. I then briefly discuss what Kant retains of Baumgarten’s and Achenwall’s models of natural right. Kant’s Metaphysics of Morals preserves the view that a rational doctrine of right belongs to a broader systematic doctrine that comprehends the entire system of duties. I address the question of the division of the Sittenlehre into two branches and claim that, whereas Kant did not consider Baumgarten’s answer to the problem of distinguishing juridical from ethical principles to be satisfactory, he found a key piece of his own resolution in Achenwall’s Ius naturae, namely the definition of right as a power to coerce. (shrink)

Future robots should have common sense about the world in order to handle the problems they will encounter. A large part of this commonsense knowledge must be naive physics knowledge, since carrying out even the simplest everyday chores requires familiarity with physics laws. But how should one start codifying this knowledge? What kind of skills should be elicited from the experts (each and every one of us)? This paper will attempt to provide some hints by studying the mental models of (...) force and motion. (shrink)

Under the independence and competence assumptions of Condorcet’s classical jury model, the probability of a correct majority decision converges to certainty as the jury size increases, a seemingly unrealistic result. Using Bayesian networks, we argue that the model’s independence assumption requires that the state of the world (guilty or not guilty) is the latest common cause of all jurors’ votes. But often – arguably in all courtroom cases and in many expert panels – the latest such common cause (...) is a shared ‘body of evidence’ observed by the jurors. In the corresponding Bayesian network, the votes are direct descendants not of the state of the world, but of the body of evidence, which in turn is a direct descendant of the state of the world. We develop a model of jury decisions based on this Bayesian network. Our model permits the possibility of misleading evidence, even for a maximally competent observer, which cannot easily be accommodated in the classical model. We prove that (i) the probability of a correct majority verdict converges to the probability that the body of evidence is not misleading, a value typically below 1; (ii) depending on the required threshold of ‘no reasonable doubt’, it may be impossible, even in an arbitrarily large jury, to establish guilt of a defendant ‘beyond any reasonable doubt’. (shrink)

In his work on the open future, Patrick Todd outlines three models of how to deal with future contingents. These models must answer two questions: one metaphysical, about what facts there are in the world; one semantic, about how to deal with sentences involving ‘will.’ Model 1 has a privileged timeline. Model 2 has an actual future timeline but leaves it indeterminate which timeline that is. Model 3 has no future timeline. All three give will-sentences a modal (...) treatement, as a box over available futures. I will argue that Todd’s second model has problems and should be improved. The first is that it denies what Todd labels as the basic metaphysical intuition behind open-futurism. The second is that indeterminacy about the facts that characterize the actual timeline breaks through into indeterminate identity. I propose a fix to model 2 eliminating its actual future and resolving an issue that arises in applying the neutral semantics Todd endorses to indeterminate sentences. This improved model, I suggest, may even compare favorably to Todd’s preferred model 3. (shrink)

We give a new argument supporting a gravitational role in quantum collapse. It is demonstrated that the discreteness of space-time, which results from the proper combination of quantum theory and general relativity, may inevitably result in the dynamical collapse of thewave function. Moreover, the minimum size of discrete space-time yields a plausible collapse criterion consistent with experiments. By assuming that the source to collapse the wave function is the inherent random motion of particles described by the wave function, we further (...) propose a concrete model of wavefunction collapse in the discrete space-time. It is shown that the model is consistent with the existing experiments and macroscopic experiences. (shrink)

Games of chance are developed in their physical consumer-ready form on the basis of mathematical models, which stand as the premises of their existence and represent their physical processes. There is a prevalence of statistical and probabilistic models in the interest of all parties involved in the study of gambling – researchers, game producers and operators, and players – while functional models are of interest more to math-inclined players than problem-gambling researchers. In this paper I present a structural analysis of (...) the knowledge attached to mathematical models of games of chance and the act of modeling, arguing that such knowledge holds potential in the prevention and cognitive treatment of excessive gambling, and I propose further research in this direction. (shrink)

In the last decades a growing body of literature in Artificial Intelligence (AI) and Cognitive Science (CS) has approached the problem of narrative understanding by means of computational systems. Narrative, in fact, is an ubiquitous element in our everyday activity and the ability to generate and understand stories, and their structures, is a crucial cue of our intelligence. However, despite the fact that - from an historical standpoint - narrative (and narrative structures) have been an important topic of investigation in (...) both these areas, a more comprehensive approach coupling them with narratology, digital humanities and literary studies was still lacking. With the aim of covering this empty space, in the last years, a multidisciplinary effort has been made in order to create an international meeting open to computer scientist, psychologists, digital humanists, linguists, narratologists etc.. This event has been named CMN (for Computational Models of Narrative) and was launched in the 2009 by the MIT scholars Mark A. Finlayson and Patrick H. Winston1. (shrink)

In the past few years, social epistemologists have developed several formal models of the social organisation of science. While their robustness and representational adequacy has been analysed at length, the function of these models has begun to be discussed in more general terms only recently. In this article, I will interpret many of the current formal models of the scientific community as representing the latest development of what I will call the ‘Kuhnian project’. These models share with Kuhn a number (...) of questions about the relation between individuals and communities. At the same time, they also inherit some of Kuhn’s problematic characterisations of the scientific community. In particular, current models of the social organisation of science represent the scientific community as essentially value-free. This may put into question both their representational adequacy and their normative ambitions. In the end, it will be shown that the discussion on the formal models of the scientific community may contribute in fruitful ways to the ongoing debates on value judgements in science. (shrink)

In this paper, we present an expansion of one of the well-known classical inventory management models, which is the static model of inventory management without a deficit and for a single substance, based on the neutrosophic logic, where we provide through this study a basis for dealing with all data, whether specific or undefined in the field of inventory management, as it provides safe environment to manage inventory without running into deficit , and give us an approximate ideal volume (...) of inventory. Since the ideal size is affected by the rate of demand for inventory, we present in this paper a study of the rate of demand for inventory when it is not precisely refined, and we find that the indeterminate values of the demand rate cannot be ignored, because they actually affect determining the ideal size of inventory and calculating its costs, thus affecting on the efficiency of the facility and achieve great profits for it. (shrink)

Recent work in quantum gravity has prompted a re-evaluation of the fundamental nature of spacetime. Spacetime is potentially emergent from non-spatiotemporal entities posited by a theory of quantum gravity. Recent efforts have sought to interpret the relationship between spacetime and the fundamental entities through a mereological framework. These frameworks propose that spacetime can be conceived as either having non-spatiotemporal entities as its constituents or being a constituent part of a non-spatiotemporal structure. I present a roadmap for those interested in exploring (...) the role of composition in understanding the emergence of spacetime. I establish a taxonomy based on four crucial parameters that should be considered when constructing potential mereological models. Subsequently, I connect these models to a spectrum of perspectives found in current literature, with the aim of pinpointing areas that require further exploration. Finally, I identify three potential challenges facing mereological models of spacetime emergence, rooted in issues of mereological harmony, the distinction between continuous and discrete spacetime, and the implications of quantum superposition. (shrink)

The article presents a pluralistic model of value change, emphasizing the interplay between technology and societal values. It critiques the Simple Change Model, which suggests a uniform transition from one dominant value scheme to another, arguing instead for emergent and differential value change. Emergent value change occurs when new values arise within specific contexts without displacing existing ones, often influenced by generational experiences with technology and niches where new technologies are introduced. Differential value change highlights how distinct groups (...) may adopt different value schemes based on their unique contexts and experiences, sometimes leading to societal polarization and the need to reconcile incompatible value schemes. The article stresses the importance of individual experiences of ethical uncertainty and disruption in understanding these changes. By integrating these complexities, the model offers a rich, non-deterministic framework for analyzing how values evolve in response to technological advancements. (shrink)

G. W. Leibniz developed a new model for rational decision-making which is suited to complicated decisions, where goods do not rule each other out, but compete with each other. In such cases the deliberator has to consider all of the goods and pick the ones that contribute most to the desired goal which in Leibniz’s system is ultimately the advancement of universal perfection. The inclinations to particular goods can be seen as vectors leading to different directions much like forces (...) in Leibniz’s dynamics. The vectorial model of rational decision-making is related to Leibniz’s work with metaphysical physics and the calculus of variations and is a heuristic tool which helps in finding reasonable combinations – in ideal cases optimums - between competing goods. By applying the model, the decision-maker can map and compare outcomes of combinations of goods in question and practice a kind of pseudo-mechanical arithmetic of reasons. A central feature of the model is the possibility to employ geometrical figures to help the conceptualization. In this paper I present the vectorial model, examine its applications in practical cases from political theory, jurisprudence and ethics Leibniz presented, and compare the model to recent theories of acting under uncertainty, such as bounded rationality and optimizing under constraints. (shrink)

According to standard rational choice theory, as commonly used in political science and economics, an agent's fundamental preferences are exogenously fixed, and any preference change over decision options is due to Bayesian information learning. Although elegant and parsimonious, such a model fails to account for preference change driven by experiences or psychological changes distinct from information learning. We develop a model of non-informational preference change. Alternatives are modelled as points in some multidimensional space, only some of whose dimensions (...) play a role in shaping the agentís preferences. Any change in these "motivationally salient" dimensions can change the agent's preferences. How it does so is described by a new representation theorem. Our model not only captures a wide range of frequently observed phenomena, but also generalizes some standard representations of preferences in political science and economics. (shrink)

Item response theory (IRT) is a modern psychometric framework for estimating respondents’ latent traits (e.g., ability, attitude, and personality) based on their responses to a set of questions in psychological tests. The current study adopted an item response tree (IRTree) method, which combines the tree model with IRT models for handling the sequential process of responding to a test item, to score individual moral inclination for the CNI test—a broadly adopted model for examining humans’ moral decision-making (...) with three parameters generated: sensitivity to moral norms, sensitivity to consequences, and inaction preference. Compared to previous models for the CNI test, the resulting EIRTree-CNI Model is able to generate individual scores without increasing the number of items (thus, less subject fatigue or compromised response quality) or employing a post hoc approach that is deemed statistically suboptimal. The model fits the data well, and the subsequent test also supported the concurrent validity and the predictive validity of the model. Limitations are discussed further. (shrink)

This paper discusses critically what simulation models of the evolution ofcooperation can possibly prove by examining Axelrod’s “Evolution of Cooperation” and the modeling tradition it has inspired. Hardly any of the many simulation models of the evolution of cooperation in this tradition have been applicable empirically. Axelrod’s role model suggested a research design that seemingly allowed to draw general conclusions from simulation models even if the mechanisms that drive the simulation could not be identified empirically. But this research design (...) was fundamentally flawed, because it is not possible to draw general empirical conclusions from theoretical simulations. At best such simulations can claim to prove logical possibilities, i.e. they prove that certain phenomena are possible as the consequence of the modeling assumptions built into the simulation, but not that they are possible or can be expected to occur in reality I suggest several requirements under which proofs of logical possibilities can nevertheless be considered useful. Sadly, most Axelrod-style simulations do not meet these requirements. I contrast this with Schelling’s neighborhood segregation model, thecore mechanism of which can be retraced empirically. (shrink)

Traditional forms of Christianity often portray the saints as examples of what we should try to become. However, it is not clear how we should engage with the examples of saints whose spirituality is bound up with practices that are inappropriate for most people. If we copy a saint’s exact behavior, then we will likely end up imitating traits that are inappropriate for us. Alternatively, if we don’t try to replicate any particular features of a saint, then it’s hard to (...) explain what purpose the saint’s particular example is serving. To solve this puzzle, I sketch a triadic model of how engaging with the lives of the saints can help us become like them. On this model, a penitent becomes like a saint in an indirect way by engaging in a certain kind of three-way relationship with God and the saint. This model preserves the relevance of a saint’s particular way of being a saint to the process of becoming like the saint, but it does so without requiring one to directly imitate the saint’s specific features. (shrink)

This paper is devoted to some generalizations of explanatory potential of connectionist approaches to theoretical problems of the philosophy of mind. Are considered both strong, and weaknesses of neural network models. Connectionism has close methodological ties with modern neurosciences and neurophilosophy. And this fact strengthens its positions, in terms of empirical naturalistic approaches. However, at the same time this direction inherits weaknesses of computational approach, and in this case all system of anticomputational critical arguments becomes applicable to the connectionst models (...) of mind. The last developments in the field of deep learning gave rich empirical material for cognitive sciences. Multilayered networks, mathematical models of associative dynamics of learning, self-organizing neuronets and all that allow to explain the principles of human conceptual organizing and after this to emulate these processes in computer systems. At all engineering achievements of this technology there is a traditional criticism from representatives of cognitive psychology who cannot accept a thesis about learning ability of a neuronet on the basis of redistribution of scales. Process of learning of natural intelligence, according to cognitive models, happens due to attraction of knowledge broadcast in a symbolical form (mental representations, concepts) at the expense of the systems of output knowledge expressed in the propositional contents. Some philosophical aspects of «neural metaphor» in modern cognitive sciences create the problem field which demands comprehensive understanding, the first step towards which is taken in this work. (shrink)

Assumptions about obesity—e.g., its connection to ill health, its causes, etc.—are still prevalent today, and they make up what I call the medical model of fatness. In this paper, I argue that the medical model was established on the basis of insufficient evidence and has nevertheless continued to be relied upon to justify methodological choices that further entrench the assumptions of the medical model. These choices are illegitimate in so far as they conflict with both the epistemic (...) and social aims of obesity research. I conclude the paper with a partial solution to these epistemic and social shortcomings. (shrink)

This article presents a new interpretation of the great Ming dynasty philosopher Wang Yangming’s celebrated doctrine of the “unity of knowledge and action”. Wang held that action was not unified with all knowledge, but only with an elevated form of knowledge, which he sometimes called “genuine knowledge”. I argue for a new interpretation of this notion, according to which genuine knowledge requires freedom from a form of doxastic conflict. I propose that, in Wang’s view, a person is free from this (...) form of doxastic conflict if and only if they are acting virtuously. (shrink)

In this paper we investigate composition models of incarnation, according to which Christ is a compound of qualitatively and numerically different constituents. We focus on three-part models, according to which Christ is composed of a divine mind, a human mind, and a human body. We consider four possible relational structures that the three components could form. We argue that a ‘hierarchy of natures’ model, in which the human mind and body are united to each other in the normal way, (...) and in which they are jointly related to the divine mind by the relation of co-action, is the most metaphysically plausible model. Finally, we consider the problem of how Christ can be a single person even when his components may be considered persons. We argue that an Aristotelian metaphysics, according to which identity is a matter of function, offers a plausible solution: Christ's components may acquire a radically new identity through being parts of the whole, which enables them to be reidentified as parts, not persons. (shrink)