La logica del secondo ordine e la prova ontologica di Gödel

Nel mio lavoro ho deciso di dedicare il primo capitolo all'evoluzione della prova ontologica nella storia della filosofia e della logica e all'analisi, da un punto di vista logico, della prova di Gödel. Nella prima sezione, quindi, ho riportato l'argomentazione di Anselmo d'Aosta, il primo a proporre una prova ontologica, e a seguire quelle di Scoto, Spinoza, Leibniz e Russell, evidenziando dove opportuno le critiche ad esse apportate. Nella seconda sezione ho ripercorso le tappe della prova ontologica di Gödel e ho riportato e analizzato alcuni dei passaggi logici tratti da uno dei suoi taccuini. Nel secondo capitolo ne ho analizzato in particolare la logica del secondo ordine. Inoltre ho dedicato la prima sezione a un breve richiamo di logica modale S5. Ho infine brevemente trattato un caso particolare della logica del secondo ordine, vale a dire la logica del secondo ordine debole.

Il sillogismo e il “Gioco della Logica” di L. Carroll

La tesi è suddivisa in due capitoli. Nel primo capitolo è data una definizione di sillogismo, la sua classificazione nelle 4 figure e la sua interpretazione mediante il calcolo delle classi. Inoltre è spiegato il calcolo predicativo monadico ed è dimostrata la sua decidibilità. Nel secondo capitolo è illustrato il “Gioco della Logica” di L. Carroll descrivendo le regole del gioco e riportando diversi esempi. Inoltre è evidenziata una discrepanza nell'interpretazione del quantificatore universale tra la logica di Carroll e la logica moderna.

Errori nelle dimostrazioni: tra logica ed esperienza didattica

Il lavoro nasce dall'esigenza di comprendere quali sono gli ostacoli concettuali e metodologici che gli studenti della scuola secondaria di secondo grado incontrano nello studio delle dimostrazioni. Tale lavoro è in parte dedicato alla descrizione, mediante la proposizione di ragionamenti scorretti, delle tipologie più diffuse di errori commessi nel condurre una dimostrazione, partendo dall'esplicitazione dei requisiti necessari della stessa in contesto logico. La realizzazione di un’esperienza didattica rivolta a studenti delle classi seconde, ha permesso di concretizzare le ipotesi avanzate durante la fase descrittiva. In particolare ha favorito l’individuazione di ulteriori spunti di riflessione su come condurre lo studio delle dimostrazioni e ha messo in evidenza come un’analisi che prescinde dal piano epistemologico risulta fuorviante e inappropriata.

Il modello di argomentazione di Toulmin nell’attivitá matematica degli studenti di scuola secondaria

Lo studio decritto in questo progetto di tesi ha avuto origine dalla volontà di analizzare l’atteggiamento di studenti di scuola superiore di I e II grado rispetto alla richiesta di fornire argomentazioni, di giustificare affermazioni o risultati ottenuti in ambito matematico. L’analisi quantitativa dei dati ottenuti sottoponendo gli studenti ad un questionario costituito da quesiti scelti in ambiti differenti tra le prove Invalsi ha evidenziato che solo una parte (36% per le superiori di I grado, 59% per le superiori di II grado) degli studenti che hanno risposto correttamente ai quesiti, è stata in grado di argomentare la risposta. L’analisi è stata a questo punto approfondita sulla base del modello di Toulmin e delle componenti del processo di argomentazione da lui descritte. Si è valutato per ogni argomentazione in quale o quali delle componenti toulminiane si sia concentrato l’errore. Ogni argomentazione considerata errata può infatti contenere errori differenti che possono riguardare una soltanto, diverse o tutte e quattro le componenti di Backing, Warrant, Data e Conclusion. L’informazione che ne è emersa è che nella maggioranza dei casi il fatto che uno studente di scuola superiore non riesca ad argomentare adeguatamente un’affermazione dipende dal richiamo errato di conoscenze sull'oggetto dell'argomentazione stessa ("Warrant" e "Backing"), conoscenze che dovrebbero supportare i passi di ragionamento. Si è infine condotta un’indagine sul terreno logico e linguistico dei passi di ragionamento degli studenti e della loro concatenazione, in modo particolare attraverso l’analisi dell’uso dei connettivi linguistici che esprimono e permettono le inferenze, e della padronanza logica delle concatenazioni linguistiche. Si è osservato per quanto riguarda le scuole superiori di I grado, che le difficoltà di argomentazione dovute anche a scarsa padronanza del linguaggio sono circa l’8% del totale; per le scuole superiori di II grado questa percentuale scende al 6%.

As interfaces entre imagem corporal e a representação simbolica de Carl Gustav Jung

Universidade Estadual de Campinas . Faculdade de Educação Física

A dimensão simbolica do recreio na escola de 1o. grau : uma analise a partir das praticas cotidianas

Universidade Estadual de Campinas. Faculdade de Educação Física

A construção de significado na aprendizagém da matematica

Nesta comunicação, darei a conhecer parte do estudo que conduzi no âmbito do mestrado em Informática e Educação, no que respeita à natureza da compreensão desenvolvida pelos alunos no contexto da aula de Matemática. A investigação teve como objectivo compreender e analisar o significado matemático, construído pelos alunos, em interacção social, focando a utilização do computador em actividades de construção geométrica.

Gestão do ambiente e energia no sector dos serviços: caso estudo Logica

Num mundo globalizado, a competitividade entre organizações está a aumentar e tal como a Teoria de Darwin apenas sobrevivem os mais aptos, aqueles que se diferenciam pela inovação e sustentabilidade. Neste âmbito, a certificação pela norma ISO 14001 é encarada como uma norma de qualidade ambiental que permite diferenciar a organização pelas suas práticas. Este trabalho insere-se no protocolo de colaboração entre a FCT-UNL e a Logica TI Portugal e tem como objectivo principal a realização de uma auditoria ambiental a esta última. A auditoria consistiu no diagnóstico ambiental da organização e análise da distância à ISO 14001. Os resultados do diagnóstico indicam que os domínios ambientais significativos da organização são o consumo de energia eléctrica, a produção de resíduos, emissões atmosféricas e o consumo de papel e toners. Em relação ao cumprimento da ISO 14001, a organização já possui requisitos implementados pois é certificada pela ISO 9001 – Sistemas de Gestão da Qualidade que contem requisitos comuns. Uma vez que existe uma Política de Ambiente do grupo definida falta implementar processos que a realizem. Os resultados obtidos no diagnóstico ambiental permitiram apresentar recomendações para melhorar o desempenho ambiental da organização. Por outro lado, os resultados da distância à ISO 14001 permitiram elaborar tópicos para a implementação futura de um Sistema de Gestão Ambiental com base nos requisitos desta norma

1.° Joannis de Sacrobosco tractatus de sphaera, cum Joannis Anglici commentario. — 2.° Summa Lamberti de logica. — 3.° Communia super totam logicam, grammaticam, et super mathematicas scientias : authore anonymo.

Colbertinus

Conducta simbolica en la rata blanca: Simulación del aprendizaje de palabras

Partiendo de un principio de continuidad evolutiva en los mecanismos y estructura de la función simbólica en el reino animal, se implanta el equivalente funcional de una palabra (Tact) en la rata blanca. Siguiendo a la mayor parte de los trabajos de implantación de lenguaje artificial en animales, se utilizan las técnicas de condicionamientc operante con una primera fase de aprendizaje, para dejar al sujeto una libre utilización de la relación funcional simbólica en la segunda fase (inversión).

Del sexe/gènere de cada qui/de cada què

La majoria de les lIengües han elaborat acords amb els generes gramaticals. El genere és un sistema de classificació deis substantius que representen els éssers animats i inanimats. La qualificació d'un nom com a masculí o femení té dues funcions diferents: entre els éssers vius, el genere es fonamenta en la propia naturalesa, el rol és semantic i ens porta directament a la descripció sexual del subjecte. En la naturalesa morta o els objectes, el genere de vegades es fonamenta en I'analogia, pero moltes més és arbitrari, fruit de la tradició, sense cap logica i diferent en diferents llengües: la forquilla/el tenedor; l'analisi/el análisis; la joguina/el juguete, etc. La classificació deis elements per generes gramaticals és un fe nomen de la conceptualització simbolica i de la comunicació.

Convictio logica

Invocatio: [Alpha et Omega].

[Quaestiones de logica].

Passé entre les mains du chanoine Bernard Collot, principal du collège de Fortet de 1704 à 1735 et donné par lui à la Bibliothèque du roi en 1751; cf. notice du latin 8869; — château d'Anet

Summula mag. Lamberti de logica.

Ex-libris : f.1 : « ex bibliotheca Corbeiensis Monasterii » ; — « Sti Germani a Pratis »