5 research outputs found

    Definability and Undefinability of Truth

    Get PDF
    This thesis will focus on Tarski’s work, so the Section 2 starts with him, giving an overview of the elements of his theory of truth, leading to a presentation of his theorem in 2.3. In the rest of the paper, proposals for solving the problem of internalization of the concept of truth and the paradoxes arising from this problem with some of the proposed solution are considered. Section 3. will quickly introduce the Liar paradox and once more explicitly state Tarski’s solution, followed by the so called “revenge of the liar”; a liar type sentence which cannot be avoided even by using Tarski’s solution to the original liar. After that, Section 4. will introduce Kripke’s Theory of Truth and his take on truth and solving t he Liar paradox using paracomplete logic, while Section 5. will examine some further attempts in answering the aforementioned problems in the context of paraconsistent logic

    GENERATION OF A VARIANT SOLUTION OF A MOBILE TABLE FOR RECEIPT OF WORK IN AN AUTOMATED PROCESS IN THE PRODUCTION OF THERMO-ENERGY COMPONENTS

    No full text
    Završni rad je osmišljen i razrađen s ciljem postizanja veće produktivnosti, osiguranje višeg nivoa sigurnosti u radu, te najvažnije postizanje značajne ekonomske uštede na praznom hodu u radu. Za potrebe rada konstruiran je 3D model prema proračunatim i zadanim informacijama i vrijednostima, te prema zahtjevima koje je postavila sama proizvodnja.The final work is designed and developed with the aim of achieving higher productivity, ensuring a higher level of safety at work, and most importantly achieving significant economic savings at idle. For the needs of the work, a 3D model was constructed according to the calculated and given information and values, and according to the requirements set by the production itself
    corecore