O presente trabalho objetiva demonstrar uma experiência em contexto de educação online em um curso superior de tecnologia no qual um modelo de avaliação formativa, com foco em competências, foi efetivamente modelado e utilizado. Para o seu desenvolvimento, foram consideradas as proposições de Pereira et al. (2009), sobre as metacompetências essenciais a serem desenvolvidas em estudantes na contemporaneidade, e Pereira et al. (2015) sobre uma cultura de avaliação baseada em competências.

Este artigo versa sobre as questões epistemológicas basilares que envolvem a psicologia como ciência da subjetividade humana. Realiza-se uma investigação crítica e contemporânea sobre estas questões, avaliando a pertinência à psicologia de uma verificação epistemológica que separaria um sujeito de c..

In 1983, Valentini presented a syntactic proof of cut elimination for a sequent calculus GLSV for the provability logic GL where we have added the subscript V for “Valentini”. The sequents in GLSV were built from sets, as opposed to multisets, thus avoiding an explicit contraction rule. From a syntactic point of view, it is more satisfying and formal to explicitly identify the applications of the contraction rule that are ‘hidden’ in these set based proofs of cut elimination. There is (...) often an underly ing assumption that the move to a proof of cut elimination for sequents built from multisets is easy. Recently, however, it has been claimed that Valentini’s arguments to eliminate cut do not terminate when applied to a multiset formulation of GLSV with an explicit rule of contraction. The claim has led to much confusion and various authors have sought new proofs of cut elimination for GL in a multiset setting. Here we refute this claim by placing Valentini’s arguments in a formal setting and proving cut elimination for sequents built from multisets. The formal setting is particularly important for sequents built from multisets, in order to accurately account for the interplay between the weakening and contraction rules. Furthermore, Valentini’s original proof relies on a novel induction parameter called “width” which is computed ‘globally’. It is diffi cult to verify the correctness of his induction argument based on “width”. In our formulation however, verification of the induction argument is straight forward. Finally, the multiset setting also introduces a new complication in the the case of contractions above cut when the cut formula is boxed. We deal with this using a new transformation based on Valentini’s original arguments. Finally, we show that the algorithm purporting to show the non termi nation of Valentini’s arguments is not a faithful representation of the original arguments, but is instead a transformation already known to be insufficient. (shrink)

The main technical errors are in the literature survey. On pages 44, 93-94, 131 and 133 I claim that Fitting's and/or Rautenberg's systems are incomplete because they omit contraction. The claim is wrong because contraction is implicit in their set notation. Their systems are complete because they allow contraction on any formula whereas the systems in this technical report explicitly build contraction into certain rules, allowing contraction only on certain types of formulae. Please accept my apologies for any confusion this (...) causes you. (shrink)

Vidal intertwines fond recollections of films savored in the movie palaces of his Washington, D.C., boyhood with strands of autobiography and trenchant observations about American politics. Never before has the renowned author revealed so much about his own life or written with such immediacy about the forces shaping America. 26 halftones.

We present a syntactic proof of cut-elimination for weak Grzegorczyk logic Go. The logic has a syntactically similar axiomatisation to Gödel–Löb logic GL (provability logic) and Grzegorczyk’s logic Grz. Semantically, GL can be viewed as the irreflexive counterpart of Go, and Grz can be viewed as the reflexive counterpart of Go. Although proofs of syntactic cut-elimination for GL and Grz have appeared in the literature, this is the first proof of syntactic cut-elimination for Go. The proof is technically interesting, requiring (...) a deeper analysis of the derivation structures than the proofs for GL and Grz. New transformations generalising the transformations for GL and Grz are developed here. (shrink)

É reconhecido que a obra "Uma Teoria da Justiça" de John Rawls é um grande clássico da filosofia social e política contemporânea. Insatisfeito com a concepção utilitarista de justiça em fornecer uma análise satisfatória dos direitos e das liberdades dos cidadãos vistos como pessoas livres e iguais, Rawls procurou estabelecer quais os princípios de justiça que pessoas livres e racionais escolheriam se colocadas em uma situação de igualdade, a fim de definirem os termos fundamentais de sua associação. Contudo, diante de (...) sociedades plurais, de indivíduos com tendências religiosas, políticas, psicológicas e sociais diferentes e divergentes, como estabelecer princípios de justiça que possam propiciar uma sociedade bem-ordenada? Qual o tipo de relação desses princípios em face às principais tendências psicológicas dos indivíduos, por exemplo, a inveja? Afinal, é possível separar avaliação moral e constituição psicológica? (shrink)

We present a sound and complete tableau calculus for the class of regular grammar logics. Our tableau rules use a special feature called automaton-labelled formulae, which are similar to formulae of automaton propositional dynamic logic. Our calculus is cut-free and has the analytic superformula property so it gives a decision procedure. We show that the known EXPTIME upper bound for regular grammar logics can be obtained using our tableau calculus. We also give an effective Craig interpolation lemma for regular grammar (...) logics using our calculus. (shrink)

We propose a new sequent calculus for bi intuitionistic logic which sits somewhere between display calculi and traditional sequent calculi by using nested sequents. Our calculus enjoys a simple (purely syntactic) cut elimination proof as do display calculi. But it has an easily derivable variant calculus which is amenable to automated proof search as are (some) traditional sequent calculi. We first present the initial calculus and its cut elimination proof. We then present the derived calculus, and then present a proof (...) search strategy which allows it to be used for automated proof search. We prove that this search strategy is terminating and complete by showing how it can be used to mimic derivations obtained from an existing calculus GBiInt for bi intuitionistic logic. As far as we know, our new calculus is the first sequent calculus for bi intuitionistic logic which uses no semantic additions like labels, which has a purely syntactic cut elimination proof, and which can be used naturally for backwards proof search. Keywords: Bi-intuitionistic logic, display calculi, proof search. (shrink)

The ‘reflexive turn’ transcended disciplinary boundaries within the social sciences. Feminist scholars in particular have taken up its core concerns, establishing a wide-ranging literature on reflexivity in feminist theory and practice. In this paper, I contribute to this scholarship by deconstructing the ‘story’ of my own research as a white, genderqueer, masculine-presenting researcher in Ghana. This deconstruction is based on thirteen months of field research exploring LGBT activism in the capital city of Accra. Using a series of ethnographic vignettes, I (...) examine questions of queer subjectivity, embodiment and self/other dynamics in the research encounter. Specifically, I interrogate what a reflexive concern for power relations means when researchers share moments of commonality and difference with research participants, here in relation to axes of gender, sexuality, race and class. Finally, I explore the challenge of theorising resistance in light of feminist postcolonial critiques of the politics of representation. I conclude that it is only by locating these tensions and dissonances in the foreground of our inquiries that reflexivity becomes meaningful as a way of rendering knowledge production more accountable and transparent, of practising feminist solidarity, and of excavating our own queer research journeys. (shrink)

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...) semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)

We present sound, (weakly) complete and cut-free tableau systems for the propositional normal modal logicsS4.3, S4.3.1 andS4.14. When the modality is given a temporal interpretation, these logics respectively model time as a linear dense sequence of points; as a linear discrete sequence of points; and as a branching tree where each branch is a linear discrete sequence of points.Although cut-free, the last two systems do not possess the subformula property. But for any given finite set of formulaeX the superformulae involved (...) are always bounded by a finite set of formulaeX* L depending only onX and the logicL. Thus each system gives a nondeterministic decision procedure for the logic in question. The completeness proofs yield deterministic decision procedures for each logic because each proof is constructive. (shrink)

We study a propositional bimodal logic consisting of two S4 modalities and [a], together with the interaction axiom scheme a ϕ → a ϕ. In the intended semantics, the plain..

First Published in 1970. Routledge is an imprint of Taylor & Francis, an informa company.

And the Light Shineth in Darkness Stephen: the refusal In Ulysses the character of Stephen Dedalus is free of the institutional attachments confronted in ...

Zusammenfassung In diesem Beitrag wird der Frage nachgegangen, ob und inwiefern der als Bologna Prozess gekennzeichnete Reformprozess an deutschen Hochschulen zu einer Veränderung des studentischen Sporttreibens führt. Mit Rückgriff auf institutionentheoretische Ansätze werden die Ergebnisse einer triangulierten Studie aus problemzentrierten Interviews und einer für Deutschland repräsentativen Querschnittserhebung dargestellt. Es kann gezeigt werden, dass die gegenwärtigen Studienbedingungen von den Studierenden reformierter Studiengänge als zunehmende Belastung wahrgenommen werden. Es zeigt sich zudem, dass es zu einer sukzessiven Transformation des Sportverhaltens von Studierenden aus (...) den neuen Studiengängen kommt. Diese offenbart sich allerdings vor allem in der lebensweltlichen Einbettung und Organisation sportlicher Handlungen; ein statistisch nachweisbarer Unterschied zwischen den einzelnen Studierendengruppen lässt sich nicht nachweisen. (shrink)

Keine ausführliche Beschreibung für "GÖRING: SYST. D. KRITISCHEN PHILOSOPHIE T. 2 SKPH E-BOOK" verfügbar.

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work is in the "public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be (...) preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

Explore the intersection of science and ethics with this groundbreaking work. Using empirical research and philosophical analysis, the author makes a compelling case for why certain moral behaviors are hardwired into human nature. This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work is in the "public domain in the United States of America, and possibly other nations. Within the United States, you may freely (...) copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)