The IKt-algebras that we investigate in this paper were introduced in the paper An algebraic axiomatization of the Ewald’s intuitionistic tense logic by the first and third author. Now we characterize by topological methods the subdirectly irreducible IKt-algebras and particularly the simple IKt-algebras. Finally, we consider the particular cases of finite IKt-algebras and complete IKt-algebras.

In this note, we show that the first-order logic IKω is sound with regard to the models obtained from continuum-valued Łukasiewicz-models for first-order languages by treating the quantifiers as infinitary strong disjunction/conjunction rather than infinitary weak disjunction/conjunction. Moreover, we show that these models cannot be used to provide a new consistency proof for the theory of truth IKTω obtained by expanding IKω with transparent truth, because the models are inconsistent with transparent truth. Finally, we show that whether or not this (...) inconsistency can be reproduced in the sequent calculus for IKTω depends on how vacuous quantification is treated. (shrink)

The paper is based on the findings of an empirical research on the application of information and communications technology in vocational schools in Zagreb and the Zagreb County. The authors analysed the interviews with vocational school teachers and students arranged in 6 focus groups. The analysis focussed on the objectives and manners in which the teachers and students usually use ICT, the perceived advantages and disadvantages of the use of ICT for educational purposes, and their suggestions for advancing the application (...) of ICT in schools. The analysis also discussed whether the application of ICT benefited the constructivist teaching, as well as the potential obstacles and stimulating factors for implementing ICT in teaching. The findings indicate that even though the teachers use ICT almost on daily basis, the teaching process is still largely dominated by traditional teaching methods. According to the findings, lack of computer equipment in schools, inadequate teacher training, inadequate curricula for vocational education, and the inadequate study programmes where the teachers are educated for the application of ICT in the teaching process are considered as obstacles for implementing ICT in education. In addition, teachers emphasised the lack of time and low income which often leads to their lack of motivation for the use of ICT in education. (shrink)

The IKt-algebras were introduced in the paper An algebraic axiomatization of the Ewald’s intuitionistic tense logic by the first and third author. In this paper, our main interest is to investigate the principal and Boolean congruences on IKt-algebras. In order to do this we take into account a topological duality for these algebras obtained in Figallo et al. :673–701, 2017). Furthermore, we characterize Boolean and principal IKt-congruences and we show that Boolean IKt-congruence are principal IKt-congruences. Also, bearing in mind the (...) above results, we obtain that Boolean IKt-congruences are commutative, regular and uniform. Finally, we characterize the principal IKt-congruences in the case that the IKt-algebra is linear and complete whose prime filters are complete and also the case that it is linear and finite. This allowed us to establish that the intersection of two principal IKt-congruences on these algebras is a principal one and also to determine necessary and sufficient conditions so that a principal IKt-congruence is a Boolean one on theses algebras. (shrink)

Information and communication technology is included in all social strata, and its role in upbringing has intensified. The readiness of teachers as educational professionals is a crucial element for the use and implementation of ICT in the educational process. With the sudden COVID-19 pandemic, teachers were faced with designing and implementing distance learning. This research aimed to determine parents’ attitudes on using information and communication technology in distance learning during the COVID-19 pandemic; a survey was conducted on 465 participants. It (...) was found that the largest number of research participants achieve average results that are above the mean value, which means that their attitude about distance learning is generally favorable. Statistically significant differences in the use of ICT were found in individual variables of attitudes towards distance learning concerning gender, age, level of education of participants, and the class attended by the participants’ children. Qualitative analysis of open-ended questions identified the need to standardize distance learning using the same or similar digital tools to ensure equal opportunities for all students. (shrink)

This note shows that the permutation instructions presented by Zardini (2011) for eliminating cuts on universally quantified formulas in the sequent calculus for the noncontractive theory of truth IKTωare inadequate. To that purpose the note presents a derivation in the sequent calculus for IKTωending with an application of cut on a universally quantified formula which the permutation instructions cannot deal with. The counterexample is of the kind that leaves open the question whether cut can be shown to be eliminable in (...) the sequent calculus for IKTωwith an alternative strategy. (shrink)

Ewald considered tense operators G, H, F and P on intuitionistic propositional calculus and constructed an intuitionistic tense logic system called IKt. In 2014, Figallo and Pelaitay introduced the variety IKt of IKt-algebras and proved that the IKt system has IKt-algebras as algebraic counterpart. In this paper, we introduce and study the variety of tense Nelson algebras. First, we give some examples and we prove some properties. Next, we associate an IKt-algebra to each tense Nelson algebras. This result allowed us (...) to determine the congruence of the tense Nelson algebras and also to characterize the subdirectly irreducible tense Nelson algebras and particularly the simple tense Nelson algebras. Finally, we prove that there exists an equivalence between the category of IKt-algebras and the category of tense centered Nelson algebras. (shrink)

Västvärldens åldrande befolkning anses ofta ställa krav på nya former av vård och omsorg. Olika typer av informations- och kommunikationstekniskt baserat vårdstöd framhålls ofta som en lösning. Tekniken medger en rad olika fördelar, exempelvis tätare tillsyn, kontinuerliga mätningar av vitala funktioner, med möjlighet att kontinuerligt ställa diagnos, och snabb respons på larm, men de tekniska lösningarna får också etiska implikationer. I den här artikeln beskrivs och exemplifieras IKT-baserad vård och omsorg och teknikens påverkan på centrala värden som personlig integritet, autonomi, (...) frivillighet och informerat samtycke diskuteras. Interaktiv etisk teknikvärdering föreslås för att bättre inkorporera alla berörda parters behov av och synpunkter på den här typen av vårdstöd.Nyckelord: autonomi, etik, frivillighet, informerat samtycke, interaktiv etisk teknikvärdering, IKT-baserat vårdstöd, hemvård, personlig integritet, robotteknik, sensorteknik, säkerhet, trygghet, valfrihetEnglish summary: When health care moves in – the ethics of mobile health careAn ageing population in the Western world is typically taken to require novel forms of health care. Different types of Information and Communication based services and functions are presented as a solution. Even if such technology imply benefits in terms of more frequent attendance, continuous monitoring and diagnoses of vital signs and quick response to alarms, the technology also gives raise to ethical concerns. This article describes and exemplifies ICT-based health care and discusses implications on central values like privacy, autonomy, freedom of choice and informed consent. Interactive ethical technology assessment is suggested as a means to better incorporate the needs of all concerned parties and their perspectives on this type of support. (shrink)

In this paper we present a category equivalent to that of tense Nelson algebras. The objects in this new category are pairs consisting of an IKt-algebra and a Boolean IKt-congruence and the morphisms are a special kind of IKt-homomorphisms. This categorical equivalence permits understanding tense Nelson algebras in terms of the better–known IKt-algebras.

Die folgende Untersuchung nimmt eine informationsethische und anthropologische Perspektive ein und legt einen Schwerpunkt auf die Informations- und Kommunikationstechnologien (IKT) im Gesundheitsbereich. Zunächst beschreiben und problematisieren wir das Feld der Informationsethik, das im Wesentlichen heute als Ethik von umfassenden, digitalen Computersystemen als informationsprozessierenden Maschinen verstanden wird (Kap. 2). Im zweiten, anthropologischen Schritt untersuchen wir, wie informationelle Gesundheitstechnologien das menschliche Selbstverständnis beeinflussen (Kap. 3). Dies leitet über zur ethischen Fragestellung, die Überwachung, Kontrolle und Autonomie als Brennpunkte des Gesundheitsbereichs fokussiert (Kap. 4). (...) Zuletzt geben wir als Ausblick einige Hinweise, wie eine dezidiert theologische Perspektive auf die Herausforderungen aussehen kann (Kap. 5). -- Puzio, Anna/Filipovic, Alexander: Personen als Informationsbündel? Informationsethische Perspektiven auf den Gesundheitsbereich. In: Fritz, Alexis/Mandry, Christof/Proft, Ingo/Schuster, Josef (Hg.): Mensch-Maschine-Interaktion. Anthropologische und ethische Herausforderungen neuer Entwicklungen im Gesundheitsbereich (Jahrbuch für Moraltheologie, 5). Freiburg: Herder 2021, S. 89–114. (shrink)

Učenikova mogućnost izbora sadržaja učenja tijekom općeg obveznog obrazovanja važan je korak ka individualiziranom razvoju. Unatoč proklamiranim potrebama društva za razvojem kompetencija u tzv. STEM području, u hrvatskom su obrazovnom sustavu aktivnosti iz ovog područja najmanje zastupljene u kurikulumu općeg obrazovanja. Stoga je provedeno istraživanje interesa učenika za izbornu nastavu tehničke kulture te za aktivnosti koje bi odabrali kad bi mogli birati što će u školi učiti i raditi. Istraživanje je provedeno na stratificiranom uzorku učenika osnovnih škola u Hrvatskoj u (...) dobi od 11. do 15. godine života. Analizom rezultata istraživanja ustanovljeno je da su aktivnosti iz IKT-a, robotike, programiranja i modelarstva najatraktivnija područja za izbornu nastave tehničke kulture. Kad je riječ o aktivnostima u školi, učenici bi najradije odabrali sportske aktivnosti, a potom slijede informatičke, prirodoznanstvene i tehničke aktivnosti. Ovakav nalaz ukazuje na nužnu preobrazbu školskog kurikuluma koji će učenicima omogućiti razvoj u skladu s njihovim interesima. (shrink)

Utviklingen innenfor informasjons- og kommunikasjonsteknologi har gitt opphav til en type etisk-politisk utfordring som gjerne kalles digital ulikhet. Tradisjonelt har det dreid seg om sosiale ulikheter i tilgangen til IKT på individnivå. Nyere forskning på området er mer opptatt av bruk og dermed av tilbudet av aktiviteter og tjenester gjennom Internett. I denne artikkelen ser vi på hvordan det kan oppstå geografisk digital ulikhet som følge av at norske kommuner tilbyr digitale tjenester – herunder informasjon og ressurser for lokalpolitisk deltakelse (...) – i svært forskjellig omfang. Det betyr at kommunene står overfor etisk-politiske utfordringer knyttet til digital ulikhet som følge av deres strategier for bruk av hjemmesider, og for digital utvikling av kommunen mer generelt. Selv om det er få kommuner som tilbyr særlig mye når det gjelder lokalpolitisk deltakelse, er ulikhetene i tilbudet av informasjon og digitale tjenester betydelige. I tillegg bidrar velutviklede hjemmesider til å gjøre kommunen mer gjennomsiktig og lettere tilgjengelig, noe vi antar er en fordel for innbyggerne. Analysen er basert på en kvantitativt orientert innholdsanalyse av hjemmesidene til alle norske kommuner og en kvalitativ innholdsanalyse av hjemmesidene til ti norske kommuner.Nøkkelord: digital ulikhet, etisk-politiske utfordringer, kommuner, hjemmesider, digitale tjenesterEnglish summary: Norwegian local governments electronically out of step? From social to geographical digital dividesThe development of information and communication technologies has raised a kind of ethical–political challenge usually referred to as a digital divide. Traditionally, this has fomented concerns about social inequalities with respect to individual access to ICT. More recent scholarship argues the need to be more focused on use rather than access; accordingly, also on the supply of activities and services through internet. In this article, we study how geographical digital divides may appear as a consequence of the fact that Norwegian local governments supply digital services – including information and resources for local political participation – to quite a different extent. This means that local governments face ethical–political challenges related to digital divides as a consequence of their strategies for the development of home pages and for digital development of local government services more generally. Even though only a few local governments offer much with regard to local political participation, the inequalities with respect to the supply of information and digital services are considerable. In addition, apparently, well–developed home pages make the local government more transparent and more accessible. We believe this to be of advantage to local citizens. The analysis is based on a quantitative content analysis of all Norwegian local governments and a qualitative content analysis of the home pages of 10 local governments. (shrink)

This study investigates the integration of the interactive whiteboard into Science teaching during the primary educational cycle and teachers’ perceptions about the use of the information and communication technology in the school subject Science. An online questionnaire was distributed to Croatian schools in 2015/2016. A total of 104 teachers expressed their perceptions, 65 of them were from schools without an IWB, while the remaining 39 responded to our online questionnaire from schools with an implemented IWB. The results indicate the higher (...) usage of ICT in schools with an IWB compared to schools without an IWB. Teachers use IWBs and computers mostly once or twice per week and DVDs once per week. Additional results pointed to the positive teachers’ perceptions on technology in linking student motivation to outcome levels in science. The findings reveal the constant education focused on IWB integration, and internet and technical support as a starting point for an innovative practice in science. Future studies are directed to the investigation of the use of technology in all schools in the Republic of Croatia. U radu se prikazuju rezultati istraživanja o korištenju pametne ploče u nastavi Prirode i društva te stavova učitelja o uporabi informacijske i komunikacijske tehnologije u podučavanju tih nastavnih sadržaja. Istraživanje je provedeno putem online upitnika koji je bio poslan u škole u Hrvatskoj tijekom školske godine 2015/2016. Ukupno 104 učitelja iskazalo je svoje stavove: 65 učitelja iz škola bez pametne ploče, a 39 iz škola u kojima koriste pametnu ploču. Rezultati ukazuju na češću uporabu IKT u školama s pametnom pločom u usporedbi sa školama bez nje. Učitelji pametnu ploču i računala najčešće koriste jednom do dva puta tjedno, a DVD jednom tjedno. Rezultati također pokazuju pozitivne stavove učitelja o uporabi tehnologije za povećanje motivacije učenika i njihovih postignuća. Nalazi istraživanja ukazuju na kontinuiranu edukaciju usmjerenu na rad s pametnom pločom te tehničku podršku kao ključne za inovativnu nastavu. Buduća istraživanja trebala bi analizirati korištenje tehnologije u svim školama u Republici Hrvatskoj. (shrink)