Ruth Barcan Marcus 10B

Views:
 
Category: Education
     
 

Presentation Description

No description available.

Comments

Presentation Transcript

Slide 1: 

Ruth Barcan Marcus Nasceu a 21 de Agosto de 1921 em Bronx, Nova Iorque. É a terceira filha de Samuel e Rose Barcan. A sua mãe era dona de casa e o seu pai trabalhava na redacção de um jornal. Ruth Barcan frequentou a escola pública, bem como a Herman Ridder Junior High School (uma escola para alunos intelectualmente precoces) e Evander Childs High School, até o décimo segundo ano.

Slide 2: 

Casou com o físico Jules Alenxandar Marcus em 1942. Durante o seu casamento nasceram os seus quatro filhos: James, Peter, Katherine e Elizabeth. O casal divorciou-se em 1976. Recebeu bastantes prémios e foi reconhecida como uma figura de liderança na universidade de Yale. Foi também uma das pioneiras da Lógica Modal Durante a sua vida profissional, Ruth focou o seu trabalho nas seguintes áreas: - Filosofia da Lógica; - Filosofia Analítica, Tópicos em Ética; - Metafísica; Epistemologia.

Slide 3: 

Lógica modal A lógica modal permite exprimir de um modo explícito as noções de necessidade e possibilidade: permite exprimir que uma dada afirmação é necessariamente verdadeira (i.e. não são permitidas afirmações falsas) ou por outro lado, permite exprimir que uma afirmação é possivelmente verdadeira (i.e. permite-se que algumas afirmações sejam verdadeiras, no entanto, podem surgir outras falsas) A lógica modal serve de base a muitas outras lógicas as quais têm aplicações muito diversas. Algumas dessas lógicas são extensões da lógica modal, tais como a lógica temporal, a lógica deôntica e a lógica epistémica. Fórmula de Barcan à$xjx®$x àjx A fórmula de Barcan foi criada por Ruth Barcan Marcus e afirma que se tudo tem necessariamente uma certa propriedade, então é uma verdade necessária que tudo tem essa propriedade. Por exemplo “Se é possível que haja uma criatura omnisciente, então há uma criatura que é possivelmente omnisciente”

Slide 4: 

Esta filosofa escreveu algumas obras: The Logical Enterprise (1995) Logic, Methodology and Philosophy (1986) Modalities: Philosophical Essays (1993) Citação: As etiquetas são a “essência” das frases que denotam sujeitos, mas descrições empíricas não são, e dessa maneira nós olhamos as declarações que contêm “etiquetas”, não descrições, para constatar as propriedades essenciais dos sujeitos. Assim a suposição de uma distinção entre “nomes” e “descrições” é equivalente ao essencialismo. (Marcus et al., 1962: 142)

Slide 5: 

Daniel Marques, n.º 3 Inês Castanheiro, n.º 6 Joana Pereirinha, n.º 10 Sara Mateus, n.º 18 10.º B