Results for 'Saeed Babajani-Vafsi'

24 found
Order:
  1. Decidable Formulas Of Intuitionistic Primitive Recursive Arithmetic.Saeed Salehi - 2002 - Reports on Mathematical Logic 36 (1):55-61.
    By formalizing some classical facts about provably total functions of intuitionistic primitive recursive arithmetic (iPRA), we prove that the set of decidable formulas of iPRA and of iΣ1+ (intuitionistic Σ1-induction in the language of PRA) coincides with the set of its provably ∆1-formulas and coincides with the set of its provably atomic formulas. By the same methods, we shall give another proof of a theorem of Marković and De Jongh: the decidable formulas of HA are its provably ∆1-formulas.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. ‘Sometime a paradox’, now proof: Yablo is not first order.Saeed Salehi - 2022 - Logic Journal of the IGPL 30 (1):71-77.
    Interesting as they are by themselves in philosophy and mathematics, paradoxes can be made even more fascinating when turned into proofs and theorems. For example, Russell’s paradox, which overthrew Frege’s logical edifice, is now a classical theorem in set theory, to the effect that no set contains all sets. Paradoxes can be used in proofs of some other theorems—thus Liar’s paradox has been used in the classical proof of Tarski’s theorem on the undefinability of truth in sufficiently rich languages. This (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. A Response to the Problem of Evil in Zoroastrian Theology.Saeed Anvari - 2013 - Sophia Perennis 23:35-56.
    The problem of evil is a well-known subject in philosophy, especially in philosophy of religion. In fact many thinkers hold that the problem of evil is the most potent rational objection to the theistic belief and has been called the rock of atheism and are being introduced as a recently emerging notion. This paper shows that this problem was proposed and discussed many years ago by Zoroastrian scholars. This paper also studies the solutions proposed by those scholars; And with the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Kripke Semantics for Fuzzy Logics.Saeed Salehi - 2018 - Soft Computing 22 (3):839–844.
    Kripke frames (and models) provide a suitable semantics for sub-classical logics; for example, intuitionistic logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive Kripke frames (with persistent satisfaction relations), and the basic logic (of Visser) axiomatizes transitive Kripke frames (with persistent satisfaction relations). Here, we investigate whether Kripke frames/models could provide a semantics for fuzzy logics. For each axiom of the basic fuzzy logic, necessary and sufficient conditions are sought for Kripke frames/models which satisfy them. It turns out that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  5. There May Be Many Arithmetical Gödel Sentences.Kaave Lajevardi & Saeed Salehi - 2021 - Philosophia Mathematica 29 (2):278–287.
    We argue that, under the usual assumptions for sufficiently strong arithmetical theories that are subject to Gödel’s First Incompleteness Theorem, one cannot, without impropriety, talk about *the* Gödel sentence of the theory. The reason is that, without violating the requirements of Gödel’s theorem, there could be a true sentence and a false one each of which is provably equivalent to its own unprovability in the theory if the theory is unsound.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  6. A dictionary of Muslim philosophy.M. Saeed Sheikh - 1970 - Lahore,: Institute of Islamic Culture.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. Chances of Survival in the Titanic using ANN.Udai Hamed Saeed Al-Hayik & Samy S. Abu-Naser - 2023 - International Journal of Academic Engineering Research (IJAER) 7 (10):17-21.
    Abstract: The sinking of the RMS Titanic in 1912 remains a poignant historical event that continues to captivate our collective imagination. In this research paper, we delve into the realm of data-driven analysis by applying Artificial Neural Networks (ANNs) to predict the chances of survival for passengers aboard the Titanic. Our study leverages a comprehensive dataset encompassing passenger information, demographics, and cabin class, providing a unique opportunity to explore the complex interplay of factors influencing survival outcomes. Our ANN-based predictive model (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. On Rudimentarity, Primitive Recursivity and Representability.Saeed Salehi - 2020 - Reports on Mathematical Logic 55:73–85.
    It is quite well-known from Kurt G¨odel’s (1931) ground-breaking Incompleteness Theorem that rudimentary relations (i.e., those definable by bounded formulae) are primitive recursive, and that primitive recursive functions are representable in sufficiently strong arithmetical theories. It is also known, though perhaps not as well-known as the former one, that some primitive recursive relations are not rudimentary. We present a simple and elementary proof of this fact in the first part of the paper. In the second part, we review some possible (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Diagonal arguments and fixed points.Saeed Salehi - 2017 - Bulletin of the Iranian Mathematical Society 43 (5):1073-1088.
    ‎A universal schema for diagonalization was popularized by N. S‎. ‎Yanofsky (2003)‎, ‎based on a pioneering work of F.W‎. ‎Lawvere (1969)‎, ‎in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function‎. ‎It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema‎. ‎Here‎, ‎we fit more theorems in the universal‎ ‎schema of diagonalization‎, ‎such as Euclid's proof for the infinitude of the primes and new proofs (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. On the Arithmetical Truth of Self‐Referential Sentences.Kaave Lajevardi & Saeed Salehi - 2019 - Theoria 85 (1):8-17.
    We take an argument of Gödel's from his ground‐breaking 1931 paper, generalize it, and examine its validity. The argument in question is this: "the sentence G says about itself that it is not provable, and G is indeed not provable; therefore, G is true".
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  11. On a certain fallacy concerning I-am-unprovable sentences.Kaave Lajevardi & Saeed Salehi - manuscript
    We demonstrate that, in itself and in the absence of extra premises, the following argument scheme is fallacious: The sentence A says about itself that it has a property F, and A does in fact have the property F; therefore A is true. We then examine an argument of this form in the informal introduction of Gödel’s classic (1931) and examine some auxiliary premises which might have been at work in that context. Philosophically significant as it may be, that particular (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Interpretation of Neutrosophic Soft cubic T-ideal in the Environment of PS-Algebra.Neha Andaleeb Khalid, Muhammad Saeed & Florentin Smarandache - 2023 - Neutrosophic Sets and Systems 58.
    This study provides an innovative approach to neutrosophic algebraic structures by introducing a new structure called Neutrosophic Soft Cubic T-ideal (NSCTID), which combines T-ideal (TID) and neutrosophic Soft Cubic Sets (NSCSs) within the framework of PS-Algebra. Within the already-existing neutrosophic cubic structures, the addition of soft sets with the characteristics of TID makes this structure more desirable. The theoretical development of the proposed structure includes the application of fundamental ideas as union, intersection, the Cartesian product, and homomorphism. We also introduce (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Soundness does not come for free (if at all).Kaave Lajevardi & Saeed Salehi - manuscript
    We respond to some of the points made by Bennet and Blanck (2022) concerning a previous publication of ours (2021).
    Download  
     
    Export citation  
     
    Bookmark  
  14. Generalized plithogenic whole hypersoft set, PFHSS-Matrix, operators and applications as COVID-19 data structures.Shazia Rana, Muhammad Saeed, Madiha Qayyum & Florentin Smarandache - 2023 - Journal of Intelligent and Fuzzy Systems 44.
    This article is a preliminary draft for initiating and commencing a new pioneer dimension of expression. To deal with higher-dimensional data or information flowing in this modern era of information technology and artificial intelligence, some innovative super algebraic structures are essential to be formulated. In this paper, we have introduced such matrices that have multiple layers and clusters of layers to portray multi-dimensional data or massively dispersed information of the plithogenic universe made up of numerous subjects their attributes, and sub-attributes. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Theoremizing Yablo's Paradox.Ahmad Karimi & Saeed Salehi - manuscript
    To counter a general belief that all the paradoxes stem from a kind of circularity (or involve some self--reference, or use a diagonal argument) Stephen Yablo designed a paradox in 1993 that seemingly avoided self--reference. We turn Yablo's paradox, the most challenging paradox in the recent years, into a genuine mathematical theorem in Linear Temporal Logic (LTL). Indeed, Yablo's paradox comes in several varieties; and he showed in 2004 that there are other versions that are equally paradoxical. Formalizing these versions (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. "Moral Certainty", One Concept, Several Perspectives; Evaluation of Two Relative and Absolute Approaches about "Moral Certainty" Based on Wittgenstein's On Certainty.Mohammad Saeed Abdollahi - 2024 - Journal of Philosophical Investigations 18 (46):13-29.
    One of the important ethical concepts that has occupied the minds of many philosophers in the past years is the concept of "moral certainty". This means whether there are moral propositions that are so certain that no doubt or argument or evidence can face them. According to some philosophers, for example, the statement "the wrongness of killing innocent people" brings us such moral certainty. Among the philosophers who have written in this field, two basic readings of Nigel Pleasants and Michael (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Analyzing the Relationship between Smoking and Drinking Patterns Using Neural Networks: A Comprehensive Feature-Based Approach.Ahmed Samir Abu Al-Hussein, Mona Ayman Abu Aisha, Iman Nahed Saeed Ahleel & Samy S. Abu-Naser - 2023 - International Journal of Academic Engineering Research (IJAER) 7 (9):18-25.
    This study employs a neural network to analyze the connection between smoking, drinking, and various health-related factors using a dataset of 5148 samples. Achieving an impressive 99.94% accuracy and an average training error of 0.0016, the model identifies influential factors such as serum aminotransferases, serum creatinine, sex, weight, and triglyceride levels. These findings enhance our understanding of lifestyle choices and their impact on health. This research underscores the potential of machine learning in studying complex health phenomena.
    Download  
     
    Export citation  
     
    Bookmark  
  18. Hosna as Bride of Desire and Revolutionary Par Excellence in Tayib Salih’s The Season of Migration to the North.Ali Salami & Mohsen Maleki - 2016 - ACTA PHILOLOGICA 49.
    Most readings of Tayib Salih’s Season of Migration to the North have focused on Mustafa Saeed and the nameless narrator, both male characters, and they have largely avoided a politically radical reading of the novel. This article attempts to present the female character, Hosna, as the revolutionary par excellence, following Lacan and Slavoj Žižek’s reading of Antigone. Th rough Žižek’s distinction between the act and action, this article argues that Hosna’s deed at the end of the novel, murder and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Collected Papers (Neutrosophics and other topics), Volume XIV.Florentin Smarandache - 2022 - Miami, FL, USA: Global Knowledge.
    This fourteenth volume of Collected Papers is an eclectic tome of 87 papers in Neutrosophics and other fields, such as mathematics, fuzzy sets, intuitionistic fuzzy sets, picture fuzzy sets, information fusion, robotics, statistics, or extenics, comprising 936 pages, published between 2008-2022 in different scientific journals or currently in press, by the author alone or in collaboration with the following 99 co-authors (alphabetically ordered) from 26 countries: Ahmed B. Al-Nafee, Adesina Abdul Akeem Agboola, Akbar Rezaei, Shariful Alam, Marina Alonso, Fran Andujar, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Collected Papers (on Neutrosophic Theory and Applications), Volume VI.Florentin Smarandache - 2022 - Miami, FL, USA: Global Knowledge.
    This sixth volume of Collected Papers includes 74 papers comprising 974 pages on (theoretic and applied) neutrosophics, written between 2015-2021 by the author alone or in collaboration with the following 121 co-authors from 19 countries: Mohamed Abdel-Basset, Abdel Nasser H. Zaied, Abduallah Gamal, Amir Abdullah, Firoz Ahmad, Nadeem Ahmad, Ahmad Yusuf Adhami, Ahmed Aboelfetouh, Ahmed Mostafa Khalil, Shariful Alam, W. Alharbi, Ali Hassan, Mumtaz Ali, Amira S. Ashour, Asmaa Atef, Assia Bakali, Ayoub Bahnasse, A. A. Azzam, Willem K.M. Brauers, Bui (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Collected Papers (on various scientific topics), Volume XIII.Florentin Smarandache - 2022 - Miami, FL, USA: Global Knowledge.
    This thirteenth volume of Collected Papers is an eclectic tome of 88 papers in various fields of sciences, such as astronomy, biology, calculus, economics, education and administration, game theory, geometry, graph theory, information fusion, decision making, instantaneous physics, quantum physics, neutrosophic logic and set, non-Euclidean geometry, number theory, paradoxes, philosophy of science, scientific research methods, statistics, and others, structured in 17 chapters (Neutrosophic Theory and Applications; Neutrosophic Algebra; Fuzzy Soft Sets; Neutrosophic Sets; Hypersoft Sets; Neutrosophic Semigroups; Neutrosophic Graphs; Superhypergraphs; Plithogeny; (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Collected Papers (on various scientific topics), Volume XII.Florentin Smarandache - 2022 - Miami, FL, USA: Global Knowledge.
    This twelfth volume of Collected Papers includes 86 papers comprising 976 pages on Neutrosophics Theory and Applications, published between 2013-2021 in the international journal and book series “Neutrosophic Sets and Systems” by the author alone or in collaboration with the following 112 co-authors (alphabetically ordered) from 21 countries: Abdel Nasser H. Zaied, Muhammad Akram, Bobin Albert, S. A. Alblowi, S. Anitha, Guennoun Asmae, Assia Bakali, Ayman M. Manie, Abdul Sami Awan, Azeddine Elhassouny, Erick González-Caballero, D. Dafik, Mithun Datta, Arindam Dey, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Collected Papers (on Neutrosophics, Plithogenics, Hypersoft Set, Hypergraphs, and other topics), Volume X.Florentin Smarandache - 2022 - Miami, FL, USA: Global Knowledge.
    This tenth volume of Collected Papers includes 86 papers in English and Spanish languages comprising 972 pages, written between 2014-2022 by the author alone or in collaboration with the following 105 co-authors (alphabetically ordered) from 26 countries: Abu Sufian, Ali Hassan, Ali Safaa Sadiq, Anirudha Ghosh, Assia Bakali, Atiqe Ur Rahman, Laura Bogdan, Willem K.M. Brauers, Erick González Caballero, Fausto Cavallaro, Gavrilă Calefariu, T. Chalapathi, Victor Christianto, Mihaela Colhon, Sergiu Boris Cononovici, Mamoni Dhar, Irfan Deli, Rebeca Escobar-Jara, Alexandru Gal, N. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. (1 other version)Nidus Idearum. Scilogs, XI: in-turns and out-turns.Florentin Smarandache - 2023 - Grandview Heights: Educational Publisher.
    In this eleventh book of scilogs – called in-turns and out-turns –, one may find new and old questions and solutions, referring mostly to topics on Neutrosophy, but also Multispace, with miscellaneous addition of topics on Physics, Mathematics, or Sociology – email messages to research colleagues, or replies, notes about authors, articles, or books, spontaneous ideas, and so on. -/- Exchanging ideas with Prem Kumar Singh, Feng Liu, Nicolae Bălașa, Jimmy Quellet, Minodora Rușchița, Frank Gelli, A. R. Vătuiu, Victor Christianto, (...)
    Download  
     
    Export citation  
     
    Bookmark