Results for 'Tahmine Salehi'

23 found
Order:
  1. 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  
  2. 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  
  3. 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  
  4. Reliability of Cognitive Faculties: A Critic on Plantinga’s View on Atheist Naturalism.Religious Thought, Ahmad Ebadi & Maryam Salehi - 2020 - JOURNAL OF RELIGIOUS THOUGHT 20 (77):127-150.
    In the naturalism and evolutionism context, the ultimate objective and function of cognitive faculties is adaptation, survival and reproduction. Our cognitive faculties are not developed to generate true beliefs, therefore, but to have adapt behavior. Alvin Planatinga is not at ease with naturalism idea. To him, the problem with naturalism is the non-existence of proper understanding on the manner by which the belief and behavior are interrelated, thus, he concludes that the reliability of cognitive faculties are founded on low naturalistic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. ‘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  
  6. The Global Media and Information Literacy Week: Moving Towards MIL Cities.Saied Reza Ameli & Alireza Salehi-Nejad - 2019 - Journal of Cyberspace Studies 3 (1):1--4.
    The Global Media and Information Literacy Week commemorates the progress in achieving “MIL for all” by aggregating various MIL-related local and international events and actions across different disciplines around the world.The MIL Global Week 2018, 24 to 31 October, was marked by the United Nations Educational, Scientific and Cultural Organization in collaboration with various organizations including the UN Alliance of Civilizations, the Global Alliance for Partnership on MIL, the International Federation of Library Associations, the International Association of School Libraries, and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. 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  
  8. Metaliteracy for Best Practices in Crisis and Risk Communication.Alireza Salehi-Nejad - 2022 - In Media and Information Literacy Seminar 2022: Nurturing Trust for Media and Information Literacy. Tehran, Tehran Province, Iran:
    The dissemination of information in times of crisis or emergency is distinctive since the affected individuals may take, process, and act on information differently. As the Centers for Disease Control and Prevention noted “the right message at the right time from the right person can save lives.” This study elaborates on the principles of crisis and emergency risk communication (CERC) in the realistic narrative, and notes that a successful CERC should be prompt, accurate, veracious, empathetic, respectful, and promote meaningful action. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. From Intuitionism to Many-Valued Logics Through Kripke Models.Saeed Salehi - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 339-348.
    Intuitionistic Propositional Logic is proved to be an infinitely many valued logic by Gödel (Kurt Gödel collected works (Volume I) Publications 1929–1936, Oxford University Press, pp 222–225, 1932), and it is proved by Jaśkowski (Actes du Congrés International de Philosophie Scientifique, VI. Philosophie des Mathématiques, Actualités Scientifiques et Industrielles 393:58–61, 1936) to be a countably many valued logic. In this paper, we provide alternative proofs for these theorems by using models of Kripke (J Symbol Logic 24(1):1–14, 1959). Gödel’s proof gave (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Russian foreign policy: The return of great power politics.Alireza Salehi Nejad - 2016 - Central European Journal of International and Security Studies 10 (3).
    In Russian Foreign Policy: The Return of Great Power Politics, Jeffrey Mankoff examines the course of Russian foreign policy since the dissolution of the Soviet Union in 1991. He provides a comprehensive over-view of both the continuity and the changes in Russian foreign policy from the end of the Cold War to the Putin era, and analyses Russia’s interactions with major global powers. Throughout the book, the author makes use of various theoretical approaches, including theories of international relations, classical geopolitical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. 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  
  12. 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  
  13. 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  
  14. Britain and the Iranian Nuclear Program: An Illuminating Appraisal.Alireza Salehi-Nejad - 2019 - In The First Biennial Conference on Contemporary Iranian Studies.
    Owing to the escalating regional rivalries and the conventional arms race, Iran’s post-revolutionary hostilities towards the West, in addition to the crucial geopolitical and economic significance of the region, the complex Iranian nuclear crisis has made the global leaders to brood over the multilateral Iranian negotiations with the P5+1 and the International Atomic Energy Agency, which led to finalization and adoption of the Joint Comprehensive Plan of Action in 2015. The United Kingdom as a permanent member of the United Nations (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. A socio-psychological approach towards terrorism: How and why do individuals support, join, stay in, and leave terrorist organizations?Alireza Salehi-Nejad - 2019 - In International Conference on Peace and Conflict Resolution. Tehran: University of Tehran.
    The phenomena of terrorism and other politically motivated violence have been assessed across different disciplines from political science and economics to theology and psychology. Whereas the definitions of the concepts of “terrorism” and “terrorist” are disputed and they rather reflect the perspectives of the defining entity, there is a common consensus that terrorism can be classified in terms of its type (such as state-sponsored, dissent, religious, pathological, narco-, cyber-, and bioterrorism), the scale (i.e. domestic vs. international), motives, and objectives. By (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. US Foreign Policy and US-China Relations in a Changing World Order: the Assessment of American Think Tanks.Alireza Salehi-Nejad - 2019 - In The First International Conference on Chinese Studies. Tehran: University of Tehran.
    From the animosity of the Cold War era, the rapprochement in 1972, normalization of relations in 1979, to rising China and the current trade war, the US-China relationship has emerged and been regarded as an important relationship in global politics, and distinctively significant in the shaping of world order. The United States, a fount of modern think tanks, is home to approximately 30% of the total in the world. These think tanks were gradually embedded into American politics and exercise undoubtedly (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. ضرورت رویکردی اجتماعی روانشناختی برای مقابله با تروریسم: چرا افراد به گروه های تروریستی ملحق می شوند.Alireza Salehi-Nejad - 2019 - In سومین همایش سالانه انجمن علمی مطالعات صلح ایران: علوم انسانی و اجتماعی وصلح. Tehran:
    پژوهشگران پدیده تروریسم را از مواضع مختلفی ازجمله سیاسی، اقتصادی، روانشناختی، اجتماعی، فرهنگی و دینی مورد مطالعه قرار دادهاند. علیرغم وجود تعاریف متعدد و غیرواحدی از مفهوم تروریسم و تروریست بیان شده است که به طور کلی بیانگر دیدگاه ارائه دهنده آن است، اجماعی بر دسته بندی تروریسم یراساس نوع (مانند دولتی، مذهبی، پاتولوژیک، سایبری، نارکوتروریسم و بیوتروریسم)، مقیاس (داخلی و بین المللی)، انگیزه ها و اهداف آن وجود دارد. همچنین، ریشه ها و علل تروریسم می تواند منشا داخلی (مانند (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. The Necessity and Importance of Incorporating Media and Information Literacy into Holistic Metaliteracy.Alireza Salehi-Nejad - 2020 - Journal of Cyberspace Studies 4 (1):69-75.
    Digitalization and the emergence of the Internet have resulted in escalating access to information and communication. Given the circumstances that soaring access to information amounts to the intensification of misinformation and disinformation, a set of critical skills to navigate and critically assess the information is necessary. This paper outlines the significance of these skills, and provides a perspective on metaliteracy as a supplement to media and information literacy, and argues that the ability to conceptualize, access, comprehend, analyze, and use information (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. The European Immigration Crisis: A Review.Alireza Salehi Nejad - 2016 - Central European Journal of International and Security Studies 10.
    Issues including the immigration flows, increased diversity of the society, and alienation of parts of the population are not necessarily new phenomena for the European Union. As an illustration, Frontex, the EU Agency for the Management of Operational Cooperation at the External Borders, was founded in 2004 in the light of the uncontrolled immigration from Africa to control the cooperation between national border guards securing its external borders, or EUROSUR (the European Border Surveillance System) has come to effect since 2013.
    Download  
     
    Export citation  
     
    Bookmark  
  20. 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  
  21. 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  
  22. Personal, family and societal educational needs assessment of individuals with spinal cord injury in Iran.Zahra Khazaeipour, Abolfazl Abouie, Fatemeh Zarei, Hamid Mirzaaghaie, Afsaneh Abd-Mousavi, Alireza Salehi-Nejad, Alexander Vaccaro, Rahimi-Movaghar R. & Vafa - 2018 - Neurosciences 23 (3):216--222.
    Objectives: To explore individuals’ perception of the personal, family and societal educational needs following a spinal cord injury. Methods: Sixty-one patients who sustained a traumatic SCI between March 2015 and June 2016 referred to Brain and Spinal Cord Injury Research Center were included in a cross sectional study and completed an online survey containing open-and closed-ended questions, in Iran. Participants’ responses were analyzed i using a qualitative approach with a thematic analysis. Results: Following a thematic analysis of the patient’s perceived (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Review: Analysing Political Discourse: Theory and Practice. [REVIEW]Alireza Salehi Nejad - 2017 - Central European Journal of International and Security Studies 11 (1):139--141.
    In this novel work, Paul Chilton expends a considerable amount of effort examining relations between the use of language and political discourse. Many realist linguists in the past century claimed that language should be evaluated as the innate part of a human mind. The scholarly interest in the public use of language is followed by crit-ical theory and the Frankfurt School of social theory and philosophy, which considered language rather as a social phenomenon than a mental phenomenon and intended to (...)
    Download  
     
    Export citation  
     
    Bookmark