885 resultados para Logical thought - George Boole
Resumo:
Everyone knows there’s a problem with copyright. Artists get paid very little for their work, and legitimate consumers aren’t getting a very fair deal either. Unfortunately, nobody agrees about how we should fix it. Speaking at the Australian Digital Alliance forum last Friday, the Attorney-General and Arts Minister George Brandis said we might have to ask Internet Service Providers (ISPs) to police copyright, in order to deal with “piracy”. In 2012, the High Court in the iiNet case thought it wasn’t a good idea to make ISPs responsible for protecting the rights of third parties...
Resumo:
In philanthropic studies we hear about a growing academic discipline of ‘philanthropic psychology’ but arguably there is an equal role for ‘philanthropic sociology’, both from a research and a teaching perspective. This commentary begins by noting the early links between philanthropy and sociology. It then introduces a few Australian studies that show how sociology is enriching an understanding of philanthropy, its institutions and its place in society.
Resumo:
In this paper we introduce a formalization of Logical Imaging applied to IR in terms of Quantum Theory through the use of an analogy between states of a quantum system and terms in text documents. Our formalization relies upon the Schrodinger Picture, creating an analogy between the dynamics of a physical system and the kinematics of probabilities generated by Logical Imaging. By using Quantum Theory, it is possible to model more precisely contextual information in a seamless and principled fashion within the Logical Imaging process. While further work is needed to empirically validate this, the foundations for doing so are provided.
Resumo:
Retrieval with Logical Imaging is derived from belief revision and provides a novel mechanism for estimating the relevance of a document through logical implication (i.e. P(q -> d)). In this poster, we perform the first comprehensive evaluation of Logical Imaging (LI) in Information Retrieval (IR) across several TREC test Collections. When compared against standard baseline models, we show that LI fails to improve performance. This failure can be attributed to a nuance within the model that means non-relevant documents are promoted in the ranking, while relevant documents are demoted. This is an important contribution because it not only contextualizes the effectiveness of LI, but crucially ex- plains why it fails. By addressing this nuance, future LI models could be significantly improved.
Resumo:
This study considers the role and nature of co-thought gestures when students process map-based mathematics tasks. These gestures are typically spontaneously produced silent gestures which do not accompany speech and are represented by small movements of the hands or arms often directed toward an artefact. The study analysed 43 students (aged 10–12 years) over a 3-year period as they solved map tasks that required spatial reasoning. The map tasks were representative of those typically found in mathematics classrooms for this age group and required route finding and coordinate knowledge. The results indicated that co-thought gestures were used to navigate the problem space and monitor movements within the spatial challenges of the respective map tasks. Gesturing was most influential when students encountered unfamiliar tasks or when they found the tasks spatially demanding. From a teaching and learning perspective, explicit co-thought gesturing highlights cognitive challenges students are experiencing since students tended to not use gesturing in tasks where the spatial demands were low.
Resumo:
In a post-disaster environment, housing reconstruction projects frequently face enormous difficulties due to the various, often apparently ill-considered, internal and external factors. Non-Governmental Organisations (NGOs) operating in post-disaster settings such as in Afghanistan continue to face blame over the failure of reconstruction projects, and worse, they are sometimes even viewed as being corrupt entities. While it is not always possible for NGOs to eliminate or reduce the impact of factors that are outside their control, they certainly can increase the chances of project success by placing considerable emphasis on working more effectively with the affected communities. To achieve maximum community participation in reconstruction projects , this research develops a specific logical framework to guide the process of community participation in post-disaster housing reconstruction in Afghanistan.
Resumo:
With respect to “shape” marks, there would appear to be a “break”, imposed by the Australian Courts, in the logical conclusion that registration of a shape, which performs a functional purpose, or even further, is indistinguishable from the shape of the item or product, creates a perpetual monopoly in the manufacture of that product.
Resumo:
In this interview, we discuss the basics of transmedia storytelling and lessons for creatives considering making the jump to a transmedia project.
Resumo:
Food for Thought embraces the notion that a revolution can start at the dinner table. Drawing inspiration from Judy Chicago’s seminal artwork ‘The Dinner Party’, LEVEL Artist Run Initiative hosted a series of dinner party events in order to create vibrant discussions concerning the role of women and feminism in the twenty-first century. The work consisted of a reading room, four dinner party events, and four public talks covering the topics: 'Women and the arts';'Generations: plurality and difference'; 'Women in the media'; and 'How can art contribute to political change for women in the 21st century?'
Resumo:
Bertrand Russell (1872 1970) introduced the English-speaking philosophical world to modern, mathematical logic and foundational study of mathematics. The present study concerns the conception of logic that underlies his early logicist philosophy of mathematics, formulated in The Principles of Mathematics (1903). In 1967, Jean van Heijenoort published a paper, Logic as Language and Logic as Calculus, in which he argued that the early development of modern logic (roughly the period 1879 1930) can be understood, when considered in the light of a distinction between two essentially different perspectives on logic. According to the view of logic as language, logic constitutes the general framework for all rational discourse, or meaningful use of language, whereas the conception of logic as calculus regards logic more as a symbolism which is subject to reinterpretation. The calculus-view paves the way for systematic metatheory, where logic itself becomes a subject of mathematical study (model-theory). Several scholars have interpreted Russell s views on logic with the help of the interpretative tool introduced by van Heijenoort,. They have commonly argued that Russell s is a clear-cut case of the view of logic as language. In the present study a detailed reconstruction of the view and its implications is provided, and it is argued that the interpretation is seriously misleading as to what he really thought about logic. I argue that Russell s conception is best understood by setting it in its proper philosophical context. This is constituted by Immanuel Kant s theory of mathematics. Kant had argued that purely conceptual thought basically, the logical forms recognised in Aristotelian logic cannot capture the content of mathematical judgments and reasonings. Mathematical cognition is not grounded in logic but in space and time as the pure forms of intuition. As against this view, Russell argued that once logic is developed into a proper tool which can be applied to mathematical theories, Kant s views turn out to be completely wrong. In the present work the view is defended that Russell s logicist philosophy of mathematics, or the view that mathematics is really only logic, is based on what I term the Bolzanian account of logic . According to this conception, (i) the distinction between form and content is not explanatory in logic; (ii) the propositions of logic have genuine content; (iii) this content is conferred upon them by special entities, logical constants . The Bolzanian account, it is argued, is both historically important and throws genuine light on Russell s conception of logic.
Resumo:
The Uppsala school of Axel Hägerström can be said to have been the last genuinely Swedish philosophical movement. On the other hand, the Swedish analytic tradition is often said to have its roots in Hägerström s thought. This work examines the transformation from Uppsala philosophy to analytic philosophy from an actor-based historical perspective. The aim is to describe how a group of younger scholars (Ingemar Hedenius, Konrad Marc-Wogau, Anders Wedberg, Alf Ross, Herbert Tingsten, Gunnar Myrdal) colonised the legacy of Hägerström and Uppsala philosophy, and faced the challenges they met in trying to reconcile this legacy with the changing philosophical and political currents of the 1930s and 40s. Following Quentin Skinner, the texts are analysed as moves or speech acts in a particular historical context. The thesis consists of five previously published case studies and an introduction. The first study describes how the image of Hägerström as the father of the Swedish analytic tradition was created by a particular faction of younger Uppsala philosophers who (re-) presented the Hägerströmian philosophy as a parallel movement to logical empiricism. The second study examines the confrontations between Uppsala philosophy and logical empiricism in both the editorial board and in the pages of Sweden s leading philosophical journal Theoria. The third study focuses on how the younger generation redescribed Hägerströmian legal philosophical ideas (Scandinavian Legal Realism), while the fourth study discusses how they responded to the accusations of a connection between Hägerström s value nihilistic theory and totalitarianism. Finally, the fifth study examines how the Swedish social scientist and Social Democratic intellectual Gunnar Myrdal tried to reconcile value nihilism with a strong political programme for social reform. The contribution of this thesis to the field consists mainly in a re-evaluation of the role of Uppsala philosophy in the history of Swedish philosophy. From this perspective the Uppsala School was less a collection of certain definite philosophical ideas than an intellectual legacy that was the subject of fierce struggles. Its theories and ideas were redescribed in various ways by individual actors with different philosophical and political intentions.
Resumo:
The research in software science has so far been concentrated on three measures of program complexity: (a) software effort; (b) cyclomatic complexity; and (c) program knots. In this paper we propose a measure of the logical complexity of programs in terms of the variable dependency of sequence of computations, inductive effort in writing loops and complexity of data structures. The proposed complexity mensure is described with the aid of a graph which exhibits diagrammatically the dependence of a computation at a node upon the computation of other (earlier) nodes. Complexity measures of several example programs have been computed and the related issues have been discussed. The paper also describes the role played by data structures in deciding the program complexity.
Resumo:
A dense population of Pimelea trichostachya plants (Family Thymelaeaceae) in pasture poisoned a horse herd in southern inland Queensland in October-November 2005. Plant density was 2 to 45 g wet weight/m2 (mean 16 g/m2) from 5 to 69 plants/m2 (mean 38 plants/m2) representing 3 to 20% (mean 9%) of the volume of pasture on offer. Ten of 35 mares, fillies and geldings were affected. Clinical signs were loss of body weight, profound lethargy, serous nasal discharge, severe watery diarrhoea and subcutaneous oedema of the intermandibular space, chest and ventral midline. Pathological findings were anaemia, leucocytopenia, hypoproteinaemia, dilatation of the right ventricle of the heart, dilated hepatic portal veins and periportal hepatic sinusoids (peliosis hepatis), alimentary mucosal hyperaemia and oedema of mesenteric lymph nodes. Cattle grazing the same pasture were affected by Pimelea poisoning simultaneously. Removal of the horses to Pimelea-free pasture initiated recovery. The one other incident of this syndrome, previously only recognised in cattle in Australia, occurred in horses, in South Australia in 2002, with access to a dense Pimelea simplex population.
Resumo:
The purpose of the study was to develop a functional web-based learning material for the learning of the nålbinding technique. The study of the research topic was already begun in my pedagogical thesis in 2008 by considering the demands on pedagogic material for the teaching of the technique. This study falls into the field of qualitative design research which was carried out through three stages. In the study three methods of usability testing, i.e. expert analysis, the informants’ thinking aloud and interviews, were used as research methods. At the first stage of the study the first version of the learning material was created. This was done on the basis of theoretical knowledge, the demands set on learning materials as clarified in previous studies, on the basis of previously created learning materials for the learning of the nålbinding technique as well as with the help of two experts on the technique. At the second stage, the learning material was developed on the basis of expert analysis and another version of the material was created. At the third stage, usability testing was carried out on the material. At this stage two informants used the material, practiced stitching with the nålbinding needle and thought aloud while doing so. In the usability testing the Morae –programme was used to record the events on the screen, the actions of the informants and their spoken out thoughts. The Morae –programme was also used when analysing the recordings. After the testing, the informants practised stitching independently and in a few weeks time they were interviewed. The interviews were aimed at finding out the informants’ opinions on the future development of the material. On the basis of the informants’ independent attempts at using the nålbinding technique, the development of their skills after the testing was also discussed at the interviews. The development of the learning material will continue after this study on the basis of the usability testing and the interviews. The web-based learning material was created for the website Käspaikka in the address www.kaspaikka.fi/kinnasneula. By creating a multimodal learning material the dual-coding theory by Paivio was taken into consideration. According to the theory, several methods of presentation help a learner to restore information in his/her memory. The independent construction of the learner’s knowledge, i.e. learning according to the principles of the constructivist learning theory, was also supported by creating a logical navigation system, by linking interrelated topics to one another and by presenting the topics in several different forms. In the test situations the learning material was judged to work well when practising stitching with the nålbinding needle. Both informants learned the basics of the nålbinding technique even though their respective learning strategies were quite different. In the usability testing illogicalities and shortcomings were still noticed in the learning material which will still be further developed in the future.