Kategorije 10, 13b27-35 Martinjak, Igor
Nova prisutnost,
07/2021, Letnik:
XIX, Številka:
2
Journal Article, Paper
Recenzirano
Odprti dostop
U radu se ispituje mogućnost reprezentiranja Aristotelove rasprave o singularnoj predikaciji iz Kategorija 10, 13b27-35 u trima simboličkim idiomima – u jeziku logike prvog reda s identitetom, s i ...bez određenih opisa, te jezicima slobodnih logika – te se pokazuje zašto nijedna reprezentacija nije u potpunosti odgovarajuća. Prema prvoj opciji, obvezujemo Aristotela na (meta)logičke implikacije koje on ne prihvaća. Prema drugoj opciji, pripisujemo Aristotelu Russellovu teoriju imena. U konačnici, treća nas opcija ostavlja s pretpostavkom da se ‘postoji’ može reprezentirati predikatom. Takvu pretpostavku, međutim, Aristotel izričito odbija.
The possibility of formal representation of Aristotle’s discussion about singular predication in Categories 10, 13b27-35 is investigated through three symbolic idioms: the first-order language with identity, with and without definitive description, and through the languages of free logics. I show that such representations are not fully adequate. According to the first option, we are committing Aristotle with some (meta)logical implications he is not willing to accept. According to the second option, we are burdening Aristotle with Russell’s theory of names. Finally, the third option leaves us with the assumption that ‘exist(s)’ could be represented with a predicate. This assumption, however, Aristotle emphatically rejects.
Dalam pelaksanaan suatu proyek pembangunan kapal, perencanaan biaya merupakan fungsi yang paling pokok dalam mewujudkan tujuan proyek seperti halnya kesesuaian biaya, waktu dan mutu perlu dilakukan ...secara terpadu dan menyeluruh, terlebih khusus dalam hal biaya diperlukan untuk upah dan bahan. Banyak kontraktor yang mengalami kerugian dalam proyek bangunan kapal karena harga penawaran proyek tidak mampu menutupi biaya – biaya operasional dan upah karyawan buruh. Salah satu penyebab kontraktor mengalami kerugian adalah tidak mampu menghitung biaya – biaya yang harus di keluarkan dalam proses pembangunan proyek kapal. maka dari itu dibutuhkan sebuah sistem. Penyelesaian masalah produksi menggunakan metode Sugeno menggunakan konstanta atau fungsi matematika dari variabel input, dan pada proses defuzzifikasinya mengunakan metode rata-rata terpusat.
Reasoning Adler, Jonathan E; Rips, Lance J
05/2008
eBook
This interdisciplinary work is a collection of major essays on reasoning: deductive, inductive, abductive, belief revision, defeasible (non-monotonic), cross cultural, conversational, and ...argumentative. They are each oriented toward contemporary empirical studies. The book focuses on foundational issues, including paradoxes, fallacies, and debates about the nature of rationality, the traditional modes of reasoning, as well as counterfactual and causal reasoning. It also includes chapters on the interface between reasoning and other forms of thought. In general, this last set of essays represents growth points in reasoning research, drawing connections to pragmatics, cross-cultural studies, emotion and evolution.
ABSTRAKTroli rotari memerlukan sistem kontrol untuk mengatur rak ke posisi yang diinginkan. Penelitian ini berfokus pada sistem kontrol posisi rak menggunakan metode Fuzzy Logic Controller (FLC) ...dengan beban berbeda dari setiap pengguna. Masukan pada sistem kontrol FLC adalah error dan delta error dari sensor rotary encoder. Keluaran dari FLC adalah Pulse Width Modulation yang digunakan untuk mengontrol kecepatan motor DC. Hasil penelitian dari tiga variasi fungsi keanggotaan keluaran dengan beban pada satu rak, pengujian tanpa beban memiliki settling time antara 3,11 s hingga 3,24 s dan error steady state antara 3 hingga 8 counter. Pengujian dengan beban 250 g memiliki settling time antara 3,92 s hingga 8,80 s dan error steady state antara –5 counter hingga 4 counter. Sedangkan pengujian dengan beban 500 g memiliki settling time antara 4,66 s hingga 7,39 s dan error steady state antara 8 counter hingga 12 counter.Kata kunci: tempat penitipan barang, troli rotari, Fuzzy Logic Controller. ABSTRACTRotary trolley needs control system that used for rack control to the position. The research focused on rack position control system using the Fuzzy Logic Controller (FLC) method with different loads from each user. Inputs to the FLC control system are error and delta error from the rotary encoder sensor. The output of the FLC is Pulse Width Modulation which is used to control the speed of the DC motor. The results from 3 variations of the meeting results, the no-load test had a completion time of between 3.11 s to 3.24 s and steady-state conditions between 3 counters to 8 counters. Testing with a load of 250 g has a completion time of 3.92 s to 8.80 s and steady-state conditions between -5 counters to 4 counters. While testing with a load of 500 g has a settling time of 4.66 s to 7.39 s and steady-state conditions between 8 to 12 counters.Keywords: deposit box, rotary trolley, Fuzzy Logic Controller.
This research and development aims to determine the feasibility, attractiveness of student responses, and the effectiveness of the development of videoscribe sparkol-based bilingual learning media. ...The type of research in this development is (Research and Development). The development model used is the ADDIE model with five research steps; Analysis (Analyze), planning (Design), development (Development), Implementation (Implementation), and Evaluation (Evaluation). Data collection techniques using questionnaire sheets and tests. The instrument used was in the form of a questionnaire to determine the feasibility and attractiveness of students' responses, as well as tests to determine the effectiveness of the products developed. Data analysis techniques used are quantitative descriptive and qualitative descriptive. Obtained the results of the average feasibility test for learning media by media experts, material experts, and linguists with a "very good (SB)". The results of the average attractiveness test on the response of students with the criteria "very good (SB)". It can be concluded that the product development of the generated videocribe sparkol bilingual learning media is feasible, interesting, and effective by providing good results in its implementation.
Je li matematika humanistička znanost? Šekrst, Kristina; Kardum, Marko; Skansi, Sandro
Filozofska istraživanja,
08/2023, Letnik:
43, Številka:
2
Journal Article, Web Resource
Recenzirano
Odprti dostop
U ovome se radu kroz analizu podjele različitih znanstvenih područja bavimo prirodom matematike kao znanstvene discipline. Povijesnom analizom podjele znanosti, ali i analizom same prirode ...matematike, kao i kroz ontološki status objekata kojima se matematika bavi pokazujemo da su sada već uvriježene podjele među znanstvenim područjima rezultat društvenih okolnosti, kao i da je sama matematika bliža humanističkim negoli prirodnim znanostima.
In this paper, through the analysis of the division of different scientific fields, we deal with the nature of mathematics as a scientific discipline. Through the historical analysis of the division of science, but also the analysis of the nature of mathematics and the ontological status of the objects that mathematics deals with, we show that the now-established divisions among scientific fields are the result of social circumstances and that mathematics itself is closer to the humanities than the natural sciences.
Conditional sentences are among the most intriguing and puzzling features of language, and analysis of their meaning and function has important implications for, and uses in, many areas of ...philosophy. Jonathan Bennett, one of the world's leading experts, distils many years' work and teaching into this Philosophical Guide to Conditionals, the fullest and most authoritative treatment of the subject. An ideal introduction for undergraduates with a philosophical grounding, it also offers a rich source of illumination and stimulation for graduate students and professional philosophers.