1 |
[en] CONCEIVABILITY, POSSIBILITY AND LOGIC / [pt] CONCEPTIVIDADE, POSSIBILIDADE E LÓGICAOCTAVIO MOREIRA GUIMARAES LOPES 31 October 2005 (has links)
[pt] A Lógica é hoje em dia vista como uma ciência matemática
fundamentalmente ligada à faculdade do entendimento, e
pouco relacionada com
nossa capacidade de imaginar ou conceber. Desta forma, sob
a alcunha de
psicologismo, costuma-se descartar qualquer associação da
lógica à
conceptividade ou à imaginação como espúria e mal
colocada. Esta tese de
doutorado tem como objetivo mostrar que, contrariamente ao
que se costuma crer,
há na lógica, tomada como uma ciência, um inegável emprego
metodológico da
faculdade da conceptividade ou da imaginação. Para mostrar
isto, primeiramente
examinamos sobre bases autônomas o princípio da
conceptividade, segundo o
qual a proposição p é concebível se e semente se p é
possível. Investigamos as
principais posições contemporâneas contra e a favor deste
princípio e chegamos a
uma versão qualificada do princípio, que defendemos ser
livre de contraexemplos.
Terá sido mostrado, portanto, que, sob certas condições,
há uma
relação essencial entre conceitos modais aléticos
(possibilidade, necessidade,
contingência, impossibilidade) e nossa faculdade de
conceber ou imaginar: o que
é concebível é possível - ainda que nem sempre o que é
inconcebível seja
impossível. Em seguida, mostramos como o princípio da
conceptividade foi um
instrumento insubstituível, nas mãos dos grandes pioneiros
da lógica, em uma
tarefa muito bem delimitada: a codificação de novas
linguagens lógicas.
Defendemos, por conseguinte, que Aristóteles, quando
primeiramente codificou a
lógica de proposições categóricas, e Frege, quando
elaborou a lógica funcional e
quantificada, foram obrigados a recorrer à conceptividade
como parâmetro básico
para examinar a correção expressiva da linguagem que
estavam codificando e para
aferir a validade lógica de diversas proposições e
argumentos. Com vistas a tornar
claro o lugar da noção de conceptividade dentro da lógica,
examinamos a lógica e
a epistemologia de Aristóteles e, sobretudo, de Frege, nas
quais encontramos
elementos concretos que apontam para o emprego desta noção
dentro do contexto primitivo de codificação lógica a que
nos reportamos. Enfatizamos que, no
contexto em que estes autores se encontravam, não havia
opções epistemológicas
para examinar e avaliar sua lógica a não ser o recurso
princípio da conceptividade. / [en] Logic is seen today as a mathematical science
fundamentally linked to the faculty
of understanding, unrelated to our capacity of imagining
or conceiving. Under the
label psychologism, one usually considers any association
between logic and
conceivability (or imagination) as spurious and misled.
This doctoral thesis has as
its goal showing that, contrarily to what is ordinarily
thought, there is in logic,
understood as a science, an undeniable methodological
employment of the faculty
of conceivability or imagination. In order to show this,
we firstly examine the
conceivability principle (the proposition p is conceivable
if and only if p is
possible) on autonomous basis. We examine the main
contemporary positions
against and in favor of this principle and come to a
qualified version of the
principle, which we purport to be free of counterexamples;
it will have been
shown, therefore, that, under certain circumstances, there
is an essential relation
between modal concepts (possibility, necessity,
contingency, impossibility) and
our faculty of conceiving or imagining: whatever is
conceivable is possible - even
though it is not always true that whatever is
inconceivable is impossible.
Secondly, we show how the conceivability principle was an
irreplaceable tool in
the hands of the great pioneers of logic, in a very well
delimited task: codifying
new logical languages. Therefore, we hold that Aristotle,
as he firstly codified the
logic of categorical propositions, and Frege, as he
elaborated quantified functional
logic, were bound to employ conceivability as a basic
parameter so as to examine
the expressive correctness of the language they were
codifying and determine the
validity of various propositions and arguments. In order
to make clear the place of
conceivability in logic, we examine Aristotle´s Frege´s
logic and epistemology
and find concrete elements indicating the employment of
this notion in the
primitive context of logical codification we have
mentioned. We emphasize that,
in the context in which these authors were working, there
were no epistemological
options other than the resource to the conceivability
principle.
|
2 |
[en] HUMENULLS PRINCIPLE: POSSIBILITY OF A (NEO) FREGEAN PHILOSOPHY OF ARITHMETIC? / [pt] PRINCÍPIO DE HUME: POSSIBILIDADE DE UMA FILOSOFIA (NEO) FREGEANA DA ARITMÉTICA?ALESSANDRO BANDEIRA DUARTE 14 July 2004 (has links)
[pt] A dissertação apresenta e discute as idéias desenvolvidas
por Crispin Wright no livro Frege´s Conception of Numbers
as Objects (1983), em particular, a sua tese de que a
aritmética é analítica. Wright deposita toda sua força
argumentativa (em relação à analiticidade da aritmética) na
derivação dos axiomas da aritmética de segunda ordem de
Dedekind-Peano a partir do Princípio de Hume. Assim, é
nosso principal objetivo apresentar e discutir em que
medida o Princípio de Hume é capaz de fornecer, segundo
Wright, um relato da analiticidade da aritmética, assim
como, as objeções a esse relato. / [en] The dissertation presents and discusses the ideas developed
by Crispin Wright in his book Frege's Conception of Numbers
as Objects (1983), in particular his thesis that arithmetic
is analytic. Wright concentrates all his argumentative
efforts (in relation to the analyticity of arithmetic) on
the derivation of the axioms of Dedekind-Peano's second
order arithmetic from Hume's Principle. Thus, it is our
main goal to present and discuss how Hume's Principle
provides, according to Wright, an explanation of the
analytic character of arithmetic as well as some objections
to this account.
|
3 |
[en] FREGE, TRUTHMAKERS AND THE SLINGSHOT ARGUMENT / [pt] FREGE, FAZEDORES-DE-VERDADE E O ARGUMENTO DA FUNDAABILIO AZAMBUJA RODRIGUES FILHO 18 October 2007 (has links)
[pt] A intuição básica da noção de verdade como correspondência
é que se
uma proposição (ou sentença) p é verdadeira, então existe
um s tal que s é o
fazedor-de-verdade (truthmaker) de p. Essa idéia tem um
apelo
especialmente forte no que diz respeito a proposições
verdadeiras em
virtude de fenômenos ou objetos empíricos. Por outro lado,
se não há
alternativa para a tese de Frege segundo a qual a
referência de uma
sentença é o seu valor de verdade, uma teoria da verdade
como
correspondência é inviável. O argumento da funda (the
slingshot argument)
pretende defender a tese de Frege e inviabilizar uma
teoria da verdade como correspondência. Os meus objetivos
aqui são (i)
investigar o que levou Frege a concluir que a referência
de uma
sentença é seu valor de verdade e (ii) investigar se uma
teoria de
fazedores-de-verdade de verdades empíricas evita o
argumento da funda. / [en] The basic idea of the notion of truth as correspondence is
that if a
proposition (or sentence) p is true, then there is an s
such that s
makes p true (i.e. s is a truthmaker of p). This idea has
a strong
intuitive appeal, especially with respect to propositions
(or
sentences) true in virtue of empirical phenomena. On the
other hand,
if there is no alternative to Frege's thesis according to
which the
reference of a sentence is its truth-value, a theory of
truth as
correspondence seems to be undermined from the start. The
slingshot
argument intends to defend Frege's thesis and to undermine
theories of
truth as correspondence. My aims here are (i) to
investigate why Frege
concluded that the reference of a sentence is its truth-
value and (ii)
to investigate whether or not a truthmaker theory of
empirical truths
can avoid the slingshot argument.
|
4 |
[en] FREGEAN THOUGHTS, COGNITIVE DYNAMICS AND I-THOUGHTS / [pt] PENSAMENTOS FREGEANOS, DINÂMICA COGNITIVA E PENSAMENTOS NA PRIMEIRA PESSOAPEDRO HENRIQUE GOMES MUNIZ 26 July 2018 (has links)
[pt] O objetivo deste trabalho é analisar a noção fregeana de pensamento e discutir o problema da dinâmica cognitiva. Para tal, serão seguidos os seguintes passos. Inicialmente, faremos uma análise da noção de pensamento tal como elaborada por Gottlob Frege. A teoria fregeana será contrastada com sua principal teoria alternativa, a saber, a explicação de Bertrand Russell dos pensamentos ou proposições. Em seguida, será discutido o problema da dinâmica cognitiva, a questão que diz respeito à preservação de crenças e conhecimento por um indivíduo diante das mudanças de contexto. Entende-se ser este um problema com o qual qualquer teoria do pensamento deve lidar. Nosso objetivo é avaliar as soluções para o problema desenvolvidas tanto pelos fregeanos quanto pelos neo-fregeanos, mostrando que elas têm méritos, mas também fraquezas. Questionar-se-á também a viabilidade das propostas de solução avaliadas e será apontada qual delas parece ser a mais plausível. Por fim, discutimos um tipo específico de pensamento que também concerne à questão da dinâmica cognitiva: tratam-se dos pensamentos na primeira pessoa, ou pensamentos de se, ou seja, pensamentos que têm como seu objeto o sujeito referido pelo pronome da primeira pessoa eu . Eles são um caso especial de pensamentos para os quais a questão da dinâmica cognitiva também vale, embora apresentem atributos típicos. Um desses atributos é a imunidade ao erro por má-identificação, já discutida na obra de Gareth Evans. Outras características dos pensamentos na primeira pessoa também serão discutidas, buscando-se apontar para aquela que parece ser a melhor forma de explicar sua natureza e a dinâmica cognitiva que eles envolvem. / [en] The aim of this essay is to analyze the fregean notion of thought and discuss the problem of cognitive dynamics. To this end, I shall take the following steps. To begin with, I analyze the very notion of thought as put forward by Gottlob Frege. Frege s theory is to be contrasted with its main alternative, that is, Russell s account of thoughts or propositions. I proceed, then, to discuss the issue of cognitive dynamics, which is the issue of how it is that the subject is able to maintain his beliefs through context changes. This is, I take it, a difficulty that any theory of thought has to face. My aim is to assess the solutions devised both by the Fregeans and the Neo-Fregeans, showing that they have merits as well as weaknesses. I also question the viability of the would-be solutions and tell which seems the soundest. Finally, I discuss a specific type of thought the issue of cognitive dynamics concerns too: the so-called I-thoughts, or de se thoughts, that is, thoughts that have as their object the very subject referred to by the first person pronoun I . They are a special case of thoughts for which the issue of cognitive dynamics holds too, although they present their own characteristic features. One of these features is the immunity to error through misidentification, already discussed in the work of Gareth Evans. Other characteristics of the I-thoughts will also be discussed, with a view to figure out what seems to be the best way to account for their nature and the cognitive dynamics they involve.
|
Page generated in 0.0442 seconds