THINKER is an automated natural deduction first-order theorem proving program. This paper reports on how it was adapted so as to prove theorems in modal logic. The method employed is an "indirect semantic method", obtained by considering the semantic conditions involved in being a valid argument in these modal logics. The method is extended from propositional modal logic to predicate modal logi...

Female Soul and Feminine Spirit. Philosophical Prolegomena to a New (Women) Culture in the Interwar Radio Lectures Alice Voinescu’s Constantin Noica’s. The newly founded Romanian (1927) invited since 1930 most important personalities of culture speak frame different radio conferences. Two these were philosophers Voinescu (1885-1961) Noica (1909-1987). Although they represent two philosophical o...

For you took it, taking a look, that he was there, supposing quite correctly that things would not have looked that way unless he was. (This is not Dretske's example, but I hope it does not botch his point.) The third point, implicit of course in those others, is -that, while in a sense what we can see is simply what is there to be seen, there is no such ineluctable limit to what we can 'get to...

From a biographical description made by the German thinker Martin Heidegger of Spanish José Ortega y Gasset, this article sets out to explore how Heideggerian philosophy requires tragic condition for its development and promotion. The first part attempts justify why Heidegger’s thinking would fit harmoniously within Ortega’s culture his vision death. notion death is approached as cultural philo...

The article is dedicated to the memory of a major thinker in field moral, political and legal philosophy Joseph Raz, author number influential works on problems authority, unity separation morality law, system values, private autonomy rule law.

Certainly Sartre had an enormous influence on the subsequent philosophical thought, primarily in France. Rene Girard did not ignore this thinker either. In article we will look at of Sartre’s philosophy formation Girard’s mimetic theory. Already his early work, “Deceit, Desire and Novel: Self Other Literary Structure”, repeatedly refers to work Sartre, explaining how can be considered context F...

political thought of muslim in the middle of abolition of the ottoman caliphate, as a symbol of islamic world, followed with two reactions. a group, under rashid rida as thinker of the group, was thinking of caliphate to its real origin. the other group, under ali abdel raziq, was come to being with his prominent book entitled “islam and foundations of governance”, thinking that caliphate is hi...

The research investigated how Indonesia's generation Z used social media to practice their language. way ideology was constructed in linguistic variations and underlying the language online context. paper's goal comprehend sociolinguistic dynamics by looking at scientific reasons for youth use raise awareness about conditions of Z. According Tranglossic framework as propounded Sultana et al. (2...