Search results for "logiikka"
showing 7 items of 27 documents
In search for criteria of relevance for argumentation theory
2008
Argumentaatioteoria tutkii väittelyprosessia, joka nähdään rationaalisena toimintana, ja jossa esitetään väitteitä sekä perustellaan niitä. Klassisen logiikan piirissä on traditio, jossa logiikan teoriaa käytetään argumentaatiossa esiintyvien päättelyjen mallintamiseen. Tässä työssä logiikan lähestymistapaa tarkastellaan sen argumenttien arviointikyvyn valossa, kun pätevyydellä tarkoitetaan loogista pätevyyttä. Havaitaan, että looginen pätevyys ei ole riittävä kriteeri, sillä relevanssi muodostuu ongelmaksi. Viime vuosikymmenien aikana argumentaation tutkimus samoin kuin eiklassiset logiikan tutkimukset ovat saaneet elinvoimaa. Tässä työssä tarkastellaan erästä vaikuttavimmista argumentaati…
A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value
2023
We provide a sound and complete proof system for an extension of Kleene's ternary logic to predicates. The concept of theory is extended with, for each function symbol, a formula that specifies when the function is defined. The notion of "is defined" is extended to terms and formulas via a straightforward recursive algorithm. The "is defined" formulas are constructed so that they themselves are always defined. The completeness proof relies on the Henkin construction. For each formula, precisely one of the formula, its negation, and the negation of its "is defined" formula is true on the constructed model. Many other ternary logics in the literature can be reduced to ours. Partial functions …
Clearing the Soul for Paradise – Taslīk al-nafs ilā ḥaẓīrat al-quds
2021
Clearing the Soul for Paradise (Taslīk al-nafs ilā ḥaẓīrat al-quds) is a concise but comprehensive summa of theology, which al-ʿAllāma al-Ḥillī composed for his son at a midpoint of his career. It addresses all fields of knowledge one needs for informed and grounded belief, from the instrument of logic, through general metaphysics and natural philosophy, to theology, religious ethics, and eschatology. Ḥillī approaches each topic as a focus of debate, marching forth the diverging positions of the full range of earlier theologians (mutakallimūn) and the Peripatetic philosophers. The book is thus designed to engage the inquisitive reader and provides an excellent tool for teaching the foundati…
Type-2 intuitionistic fuzzy TODIM for intelligent decision-making under uncertainty and hesitancy
2022
AbstractThe classical TODIM considers the crisp numbers to handle the information. However, in a real-world applicative context, this information is bounded by noise and vagueness and hence uncertain. There are wide range of works in the literature which utilizes fuzzy sets to handle the uncertainty in the various dimensions. However, there is a constraint of hesitancy in such decision-making problems due to the involvement of various decision-makers. Also, in the TODIM method, decision-maker’s bounded rationality and psychological behavior are also taken into consideration which adds up the hesitation and considers the problem with higher dimension of uncertainty. There are various applica…
Kaaoksen kesyttäjät : uutismediat nettimurroksessa 2006-2012
2014
Markkinalogiikkaa tieteen tekemiseen : palkkauudistuskeskustelijoiden näkemyksiä tulosjohtamisen ja tulospalkkauksen vaikutuksista yliopistotyöhön
2005
Quine’s conflicts with truth deflationism
2022
AbstractCompared to the extensive amount of literature on various themes of W.V.O. Quine’s philosophy, his immanent concept of truth remains a relatively unexplored topic. This relative lack of research contributes to a persistent confusion on the deflationary and inflationary details of Quine’s truth. According to a popular reading, Quine’s disquotational definition of the truth predicate exhausts the topic of truth, thus amounting to a deflationary view. Others promote opposing interpretations. I argue that by relying on Tarski’s semantic conception of truth, Quine’s disquotational account inherits a commitment to classical correspondence intuitions. Based on this, Quine posits a firm con…