Results for 'Ahmad Zubaidi'

957 found
Order:
  1.  59
    On Intrinsic Information Content of the Physical Mind in Quantized Space: Against Externalism.R. R. Poznanski, L. A. Cacha, M. A. Tengku, A. L. Ahmad Zubaidi, S. Hussain, J. Ali & J. A. Tuszynski - 2019 - Axiomathes 29 (2):127-137.
    If the physical mind is located in quantized space of the brain then how does the physical mind become the self? This remains an unresolved problem. It can be restated as how mental representations or mental states get their informational contents, and of doing so in terms of the natural functions brain states have? We call these natural brain functions not teleosemantic functions, but rather teleological functions. This is because teleosemantics portrays mental representations which must have informational contents that track (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  66
    Abdullah Ahmad Badawi: A Malaysian Neo-Conservative?Ahmad Fauzi Abdul Hamid & Muhamad Takiyuddin Ismail - 2012 - Japanese Journal of Political Science 13 (3):379-399.
    This article proposes an analysis of changes implemented during Malaysia's Prime Minister Abdullah Ahmad Badawi's administration (20032003), which displayed bias against changes and introduced schemes to justify the systems it upheld. Transmutations wrought during Abdullah's tenure may have been neither substantial nor totalizing, but within the conservative paradigm which had long gripped national politics, Abdullah's deviations were significant nevertheless.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  3.  65
    Sayyid Ahmad: A Study of the Religous Reform Movement of Sayyid Ahmad of Rā'e BarelīSayyid Ahmad: A Study of the Religous Reform Movement of Sayyid Ahmad of Ra'e Bareli.Aziz Ahmad, Muḥammad Hedāyetullāh & Muhammad Hedayetullah - 1973 - Journal of the American Oriental Society 93 (3):361.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  18
    Machine Learning Based Classification of Resting-State fMRI Features Exemplified by Metabolic State.Arkan Al-Zubaidi, Alfred Mertins, Marcus Heldmann, Kamila Jauch-Chara & Thomas F. Münte - 2019 - Frontiers in Human Neuroscience 13.
  5. Living with Eqbal Ahmad, 1932-1999: a homage to academician, intellectual & revolutionary.Eqbal Ahmad - 1999 - Lahore: Democratic Commission for Human Development.
     
    Export citation  
     
    Bookmark  
  6.  17
    Impact of Hunger, Satiety, and Oral Glucose on the Association Between Insulin and Resting-State Human Brain Activity.Arkan Al-Zubaidi, Marcus Heldmann, Alfred Mertins, Georg Brabant, Janis Marc Nolde, Kamila Jauch-Chara & Thomas F. Münte - 2019 - Frontiers in Human Neuroscience 13.
  7. Dr. Ahmad Aliakbar Mesgari.Ahmad Ali Akbar Mesgari & Hamid Gaesmi - 2011 - Journal of Philosophical Investigations at University of Tabriz 5 (8):191-235.
    The aim of present paper is to introduce the concept of ‘expressive perception’ in Ernst Cassirer’s philosophical mythology. Having Cited Dorothy Emmet’s methodological objection, the author, by recalling Kantian aspect of Cassirer’s thought and referring to the concept of ‘expressive perception’, would make an attempt to reply on his part: according to Cassirer, this level of perceptive experience is the origin of the mythical form of thinking as a whole and, at the same time, is the original and irreducible altogether. (...)
    No categories
     
    Export citation  
     
    Bookmark  
  8.  18
    Evaluation of the role of Islamic lifestyle in communication skills of Muslim couples.Ahmad Zuhri, Andrés A. Ramírez-Coronel, Sulieman I. S. Al-Hawary, Ngakan Ketut Acwin Dwijendra, Iskandar Muda, Harikumar Pallathadka, Muhammad M. Amiruddin & Denok Sunarsi - 2023 - HTS Theological Studies 79 (1):6.
    Lifestyle refers to a set of personal and group behaviours related to normative and semantic aspects of social life. Any coherent set of behavioural patterns derived from religious teachings that exist in life can be considered a religious lifestyle. Considering that the dominant religion in Jordan is Islam, the present study focused on the Islamic lifestyle. In addition, given that the correct relationship between couples has been compared to life-giving blood in marriage, and since the quality of marital role plays (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  29
    Maulana Ashraf Ali Thanvi: his views on religious and moral philosophy, and tasawwuf.Ahmad Ali Khawaja - 1989 - Islamabad, Pakistan: Pakistan Hijra Council.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10. Genetics of emotional regulation: the role of the serotonin transporter in neural function.Ahmad R. Hariri & Andrew Holmes - 2006 - Trends in Cognitive Sciences 10 (4):182-191.
  11.  44
    Philanthropic Misconception.Aasim Ahmad & Syed Maum Mahmud - 2010 - Asian Bioethics Review 2 (2):154-161.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  2
    A peep into the spiritual unconscious (a philosophical attempt to explain the phenomenon of dreams).M. M. Zuhuruddin Ahmad - 1936 - [Bombay,: India printing works.
  13.  11
    Allama Muhammad Iqbal: poet, philosopher, statesman and reformer.Z̤iyāʼ Aḥmad & uddīn - 2006 - Lahore: Bazm-i-Iqbal.
  14. Budaya ilmu.Ahmad Muhammad Said - 1990 - In MohdIdris Jauzi (ed.), Faham ilmu: pertumbuhan dan implikasi. Kuala Lumpur: Nurin Enterprise.
     
    Export citation  
     
    Bookmark  
  15. Mawqif Ibn Rushd min ishkālīyat al-maʻrifah al-Ṣūfīyah.Ahmad Bilhaj Ayt Warham - 2001 - Marrākush: Dār Walīlī lil-Ṭibāʻah wa-al-Nashr.
    No categories
     
    Export citation  
     
    Bookmark  
  16.  9
    A General Education Technology Systems Course: Planning, Design, and Implementation.Ahmad Zargari - 1998 - Bulletin of Science, Technology and Society 18 (4):289-292.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  17. The gesture of said nursi as a challenge to modernity.Ahmad Aries - 2005 - In Ian S. Markham & İbrahim Özdemir (eds.), Globalization, ethics, and Islam: the case of Bediuzzaman Said Nursi. Burlington, Vt: Ashgate.
     
    Export citation  
     
    Bookmark  
  18. Perspectives arabes et médiévales sur la tradition scientifique et philosophique grecque, Actes du colloque de la SIHSPAI.Ahmad Hasnawi, Abdelali Elamrani-Jamal, Maroun Aouad & Roshdi Rashed - 1999 - Revue Philosophique de la France Et de l'Etranger 189 (4):531-532.
     
    Export citation  
     
    Bookmark  
  19.  16
    نظرات اقتصادية في حماية الإسلام للبيئة.Ahmad Hersh - 2020 - Tasavvur - Tekirdag Theology Journal 6 (1):13-47.
    Çalışma İslam hukukunun çevre ve toplumların sahip olduğu tabi kay-nakları koruma konusunda öngördüğü düzenlemelerin fıkhi ve iktisadi boyutunu açıklamayı hedef almaktadır. Araştırmamız esnasında inceledeğimiz temel dini metinler ve bunlar arasında yaptığımız karşılaştırmalar bize İslam hukukunun çevreyi ve tabi kaynakları koruma ve geliştirmeye yönelik düzenlemelere sahip olduğunu ortaya koymaktadır. Bu çalışma gösteriyor ki İslam'ın ilkeleri ve şeriat çevreye önem vermeye, özen göstermeye, tüketimde orta yolu gözetmeye ve israf yapmamaya davet etmektedir. Aynı şekilde kalkınmaya ve yeryüzünü imar etmeye ve ekonomik yararlarını gerçekleştirecek (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. Hassan al-Banna.Ahmad Moussalli - 2018 - In John L. Esposito & Emad Eldin Shahin (eds.), Key Islamic political thinkers. New York, NY: Oxford University Press.
     
    Export citation  
     
    Bookmark  
  21. Davoud-ibn-Muhabber's Al-Aql Book: An Attempt to analyze the Book and Reconstruction of a theory.Ahmad Pakatchi - 2012 - پژوهشنامه فلسفه دین 1 (1):153-171.
    No categories
     
    Export citation  
     
    Bookmark  
  22. Postmodernism: A brief critical exposition.Absar Ahmad - 1997 - Pakistan Philosophical Journal 34:45.
     
    Export citation  
     
    Bookmark   2 citations  
  23.  6
    Halal Practice Adoption Behaviour in The Food Industry: A Focus Group Discussion.Ahmad Shalihin, Harmein Nasution, Juliza Hidayati & Iwan Vanany - forthcoming - Evolutionary Studies in Imaginative Culture:450-460.
    The adoption of halal practices in the food and beverage industry is crucial for ensuring compliance with Islamic principles and meeting the growing demand for halal products. This qualitative study explores the perspectives of food and beverage producers and halal authorities on the implementation of halal practices in supply chain management. Focus group discussions were conducted with nine industry participants under the auspices of the Indonesian Institute for the Study of Food, Drugs, and Cosmetics (LPPOM). The discussions aimed to identify (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. Islam Without Europe: Traditions of Reform in Eighteenth Century Islamic Thought.Ahmad S. Dallal - unknown
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  25. An Intelligent Tutoring System for Learning Introduction to Computer Science.Ahmad Marouf, Mohammed K. Abu Yousef, Mohammed N. Mukhaimer & Samy S. Abu-Naser - 2018 - International Journal of Academic Multidisciplinary Research (IJAMR) 2 (2):1-8.
    The paper describes the design of an intelligent tutoring system for teaching Introduction to Computer Science-a compulsory curriculum in Al-Azhar University of Gaza to students who attend the university. The basic idea of this system is a systematic introduction into computer science. The system presents topics with examples. The system is dynamically checks student's individual progress. An initial evaluation study was done to investigate the effect of using the intelligent tutoring system on the performance of students enrolled in computer science (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  26.  49
    A single session of exercise increases connectivity in sensorimotor-related brain networks: a resting-state fMRI study in young healthy adults.Ahmad S. Rajab, David E. Crane, Laura E. Middleton, Andrew D. Robertson, Michelle Hampson & Bradley J. MacIntosh - 2014 - Frontiers in Human Neuroscience 8.
  27. Between Logic and Mathematics: Al-Kindī's Approach to the Aristotelian Categories.Ahmad Ighbariah - 2012 - Arabic Sciences and Philosophy 22 (1):51-68.
    What is the function of logic in al-Kindī's corpus? What kind of relation does it have with mathematics? This article tackles these questions by examining al-Kindī's theory of categories as it was presented in his epistle On the Number of Aristotle's Books, from which we can learn about his special attitude towards Aristotle theory of categories and his interpretation, as well. Al-Kindī treats the Categories as a logical book, but in a manner different from that of the classical Aristotelian tradition. (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  1
    MUHAMMAD ASAD's POLITICAL THEORY REVISITED: Epistemological Review on Contemporary Islamic Politics in Global South.Ahmad Amir Nabil - 2024 - Epistemé: Jurnal Pengembangan Ilmu Keislaman 19 (1):67-90.
    The article examines Muhammad Asad’s epistemological ground, reflected in his works on the principle of Islamic governance and its basic constitution and foundational structure. In this regard, he formulated the constitutional ideas of the Islamic state, whose constitution contains the provision of Islamic law that practices and implements the norms and postulates of the Divine Writ. This idea was partly enshrined in some of Global South constitutional law, whose political establishment was formed in 1947. It essentially discussed Muhammad Asad’s political (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  1
    Relevance of Religious Court Decisions on Marriage to National Development Policy Directions: A Legal and Social Analysis.Ahmad Muhamad Mustain Nasoha, Adi Sulistiyono, Mudhofir & Ashfiya Nur Atqiya - forthcoming - Evolutionary Studies in Imaginative Culture:1340-1347.
    The results show that the Religious Courts play an important role in harmonising Islamic law with national development policies and international legal standards, particularly in the context of protecting the rights of women and children. However, challenges exist in harmonising interpretations of Islamic law with the principles of human rights and gender equality guaranteed by international conventions such as CEDAW. This research uses a qualitative approach with a case study method to analyse the relevance of Religious Court decisions related to (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30. The definition of motion in avicenna's physics.Ahmad Hasnawi - 2001 - Arabic Sciences and Philosophy 11 (2):219-255.
    A part of chapter 1, Book II of the Physics of the Šif¯ ' is dedicated to the aristotelian definition of motion . The developments to which the treatment of this question gives rise are distinctive of the Avicennian style in his Physics . By assuming the notion of double entelechy, Avicenna is following the most classical exegetical tradition. However, by setting a correspondence between the double entelechy and the double notion of motion: 1) motion as an intermediary state, which (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  59
    Do Motives Matter in Male Circumcision? 'Conscientious Objection' Against the Circumcision of a Muslim Child with a Blood Disorder.Ayesha Ahmad - 2013 - Bioethics 28 (2):67-75.
    Whilst there have been serious attempts to locate the practice of male circumcision for religious motives in the context of the (respective) religion's narrative and community, the debate, when referring to a clinical context, is often more nuanced. This article will contribute further to the debate by contextualising the Islamic practice of male circumcision within the clinical setting typical of a contemporary hospital. It specifically develops an additional complication; namely, the child has a pre-existing blood disorder. As an approach to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  32. The fundamentality of existence or quiddity: A confusion between epistemology and ontology.Ahmad Ahmadi - 2007 - Topoi 26 (2):213-219.
    Regarding the exhaustive discussions of the fundamentality of existence versus the fundamentality of quiddity, it is a necessary preliminary to examine and analyze the first documented statement of the fundamentality of existence. Following this, we must inquire how the concept is obtained on the basis of which such a judgment could be formed. Then we must illuminate the meaning of propositions that state only that an object is or exists (ontological propositions). Finally, by explaining the meaning of the words “quiddity” (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33. The nature of mind.Absar Ahmad - 1996 - In Naeem Ahmad (ed.), Philosophy in Pakistan. Washington D.C.: in collaboration with, Council for Research in Values and Philosophy. pp. 257.
     
    Export citation  
     
    Bookmark  
  34.  6
    Islamic philosophy: lectures delivered in 1956 in Washington University, St. Louis.Aḥmad Fuʼād Ahwānī - 1957 - Cairo: Anglo-Egyptian Bookshop.
  35.  11
    An introduction to Buddhist philosophy in India and Tibet.Zahiruddin Ahmad - 2007 - New Delhi: International Academy of Indian Culture and Aditya Prakashan.
    This Book Is An In-Depth Study Of Buddhist Philosophy In India And Tibet. The Concentration Is On Ontology/Epistemology And, To A Somewhat Lesser Extent, Soteriology. It Is Based On The Writings Of The Buddhist Philosophers Themselves, From The Unknown Authors Of The Pali `Abhidhamma' Books Down To The Present Dalai Lama Of Tibet. It Takes Into Consideration The Work Of Many Twentieth Century Scholars Of Buddhism In Order To Bring Our Knowledge Of Buddhist Philosophy Up-To-Date. An Exhaustive Index (And Glossary) (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  7
    The elements of bias in social science research.Auṣāf Aḥmad (ed.) - 2011 - New Delhi: Institute of Objective Studies.
  37. Islam & universal values: Islam's contribution to the construction of a pluralistic world.Ahmad Syafii Maarif (ed.) - 2008 - Jakarta, Indonesia: International Center for Islam and Pluralism.
     
    Export citation  
     
    Bookmark  
  38.  9
    Zur Rolle und Entwicklung der kommunistischen Medienpolitik im Iran.Ahmad Mahrad - 1987 - Communications 13 (1):109-130.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  25
    Hisab rukyah's legal epistemology formulation.Ahmad Musonnif - 2021 - Epistemé: Jurnal Pengembangan Ilmu Keislaman 16 (2):83-103.
    This article deals with varieties of epistemological methods in calculating days of lunar calendar, mainly on the beginning date of months. Examining different methods in Indonesian Islamic-scape, it argues that there are three epistemological models which are rooted at Islamic classical epistemologies; the ahl al-hadith, the ahl al-ra‎y, and the intuitive sufi. The ahl al-hadith emphasizes on the empirical rukyatul-hilal, whereas the ahl al-ra’y strongly concerns on the mathematically rational method. The sufi, not so popular in Indonesia but influential in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  18
    Dialogue among Civilizations: Culture and Identity.Ahmad Jalali - 2003 - Dialogue and Universalism 13 (6):27-42.
    After some conceptual elaboration on the topic of the Dialogue among Civilizations, this article will give some examples of UNESCO’s contribution in this domain. DAC is intrinsically bound to the questions of identity and otherness through the role culture and civilization play in composing our identity. We forge our own identity through our culture; those who share this identity are insiders, and those who do not are outsiders. Some understandings of identity conclude in a lack of appreciation for the Others’ (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41.  72
    Law and Morality at War.Adil Ahmad Haque - 2014 - Criminal Law and Philosophy 8 (1):79-97.
    Through a critical engagement with Jeremy Waldron’s work, as well as the work of other writers, I offer an account of the relative scope of the morality of war, the laws of war, and war crimes. I propose an instrumentalist account of the laws of war, according to which the laws of war should help soldiers conform to the morality of war. The instrumentalist account supports Waldron’s conclusion that the laws of war justifiably prohibit attacks on civilians even if it (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  42.  17
    Maqashid Quran’s critical view on Indonesian Ulema Council’s fatwa on Halal certification of COVID-19 vaccine.Ahmad Atabik & Muhammad R. Muqtada - 2024 - HTS Theological Studies 80 (1):6.
    This research aims to examine the Indonesian Ulema Council’s (MUI) fatwa strategy on COVID-19 vaccination booster, which employed religious narrations and laboratory test evidence to justify its arguments. Religious texts become ideological frames that are legitimate and effective in influencing the human senses. This study uses maqashid al-Qur’an as approach. Hence, the use of text of the Qur’an, hadith, and quotations from various ulema’s opinions elucidates the vaccination aim under Islamic law. Based on the MUI fatwa, the primary purpose of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  22
    Science and Muslim Societies. Nasim Butt.Ahmad Dallal - 1995 - Isis 86 (4):692-692.
  44.  32
    Early India and Pakistan to Ashoka.Ahmad Hasan Dani & Mortimer Wheeler - 1961 - Journal of the American Oriental Society 81 (3):329.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45.  20
    La lumière de l'intellect: la pensée scientifique et philosophique d'Averroès dans son temps: actes du IVe colloque international de la SIHSPAI (Société internationale d'histoire des sciences et de la philosophie arabes et islamiques), Cordoue, 1998.Ahmad Hasnawi (ed.) - 2011 - Leuven: Peeters.
    Les etudes sur Averroes (1126-1198) ont porte jusqu'ici, pour l'essentiel, soit sur un aspect de sa psychologie philosophique, soit sur sa doctrine politique. Le premier type d'etudes se situe dans le prolongement de la reception medievale latine d'Averroes, caracterisee par les controverses suscitees par sa noetique. Le second reflete un courant de la recherche qui a domine l'histoire recente de la philosophie arabe et qui a mis l'accent sur l'etude des rapports entre religion et philosophie. Sans negliger ces deux orientations, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  20
    Philosophy of Science Since Bacon: Readings in Ideas and Interpretations.Ahmad Raza (ed.) - 2011 - New York: Nova Science Publishers.
    The present volume is a collection of original articles of high quality on the Philosophy of Science by philosophers and scientists of international repute. As the title of the book suggests, it looks at the various points of view of leading practitioners, as well as philosophers on the nature and structure of our knowledge of the physical world. The present work brings forth the fundamental ideas of Bacon, Galileo, Newton, Descartes, Popper, Einstein, Thomas Kuhn and several other leading scientists and (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  43
    Theology of health of Quranic pesantren in the time of COVID-19.Ahmad Baidowi, Ahmad Salehudin, Abdul Mustaqim, Saifuddin Z. Qudsy & Nurul Hak - 2021 - HTS Theological Studies 77 (4):11.
    Applying the dormitory system for thousands of santri (student of Islamic boarding school in Indonesia), Quranic pesantren (Islamic boarding school) has been considered as one of the main culprits in the spread of the coronavirus disease 2019 (COVID-19). Such assumption is created solely from the applicable health protocols and protective measures to avoid COVID-19 transmission in pesantren. As a matter of fact, pesantrens are known to have applied a distinctive way of coping with COVID-19. This study aims to elucidate the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  48. الالتفات في السرد القرآني.أحمد محمد حسين بشارات & Ahmad Bsharat - 2015 - Dissertation, جامعة اليرموك
    ملخّـــــــــــــــص. بشارات، أحمد محمد. الالتفات في السّرد القرآني. رسالة دكتوراه في جامعة اليرموك. 2015م. (المشرف: أ.د. يوسف أبو العدوس). يعرض البحث ثلاث قضايا: الأولى، بنية الالتفات النصّي في محاولة لإجراء مفهوم يصدق على التشكّل البنيوي للالتفات النصّي، بإقامة تقابلات وظيفية بين الالتفات ووظيفتين في الدراسات السّرديّة: وظيفة الحافز ووظيفة التحفيز. إنّ الالتفات النصّي يتشكّل وفقًا للاعتبار الدلاليّ؛ فالتصوّر الشّكلي(=البنيّة التركيبية) غير وارد في إقامة مفهوم وظيفيّ للالتفات النصّي؛ أي أنّ بنيّة الالتفات بنيّة فوق صرفيّة(=صيغة الكلمة)، وفوق نحوية(=مسند ومسند إليه=جملة)، فالالتفات (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  19
    Improved 2D Discrete Hyperchaos Mapping with Complex Behaviour and Algebraic Structure for Strong S-Boxes Generation.Musheer Ahmad & Eesa Al-Solami - 2020 - Complexity 2020:1-16.
    This paper proposes to present a novel method of generating cryptographic dynamic substitution-boxes, which makes use of the combined effect of discrete hyperchaos mapping and algebraic group theory. Firstly, an improved 2D hyperchaotic map is proposed, which consists of better dynamical behaviour in terms of large Lyapunov exponents, excellent bifurcation, phase attractor, high entropy, and unpredictability. Secondly, a hyperchaotic key-dependent substitution-box generation process is designed, which is based on the bijectivity-preserving effect of multiplication with permutation matrix to obtain satisfactory configuration (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  48
    Syntactic Proofs for Yablo’s Paradoxes in Temporal Logic.Ahmad Karimi - forthcoming - Logic and Logical Philosophy:1.
    Temporal logic is of importance in theoretical computer science for its application in formal verification, to state requirements of hardware or software systems. Linear temporal logic is an appropriate logical environment to formalize Yablo’s paradox which is seemingly non-self-referential and basically has a sequential structure. We give a brief review of Yablo’s paradox and its various versions. Formalization of these paradoxes yields some theorems in Linear Temporal Logic (LTL) for which we give syntactic proofs using an appropriate axiomatization of LTL.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 957