teoria suposição - Supposition theory

Por suposição na música, ver corda estendida § século 18 .

Teoria suposição era um ramo da medieval lógica que provavelmente visava dar contas de questões semelhantes às contas modernas de referência , pluralidade , tensa , e modalidade , dentro de uma aristotélica contexto. Filósofos como John Buridan , William de Ockham , Guilherme de Sherwood , Walter Burley , Albert da Saxônia , e Pedro de Espanha foram os seus principais desenvolvedores. Até o século 14 parece ter derivou em pelo menos duas teorias bastante distintas, a teoria da "suposição adequada", que incluiu uma " ampliação " e é muito parecido com uma teoria da referência, e a teoria da "modos de suposição", cujo destina função não está clara.

suposição adequada

Suposição era uma relação semântica entre um termo e que ele está sendo usado para falar. Assim, por exemplo, na sugestão Bebida outro copo o termo copo é suppositing para o vinho contido no copo.

A lógica suposto de um termo era o objeto do prazo previsto. (Em gramática, suppositum foi utilizada de um modo diferente). No entanto, a suposição era uma relação semântica diferente de significação. Significação era uma relação convencional entre enunciados e objectos mediadas pelas particularidades de um idioma. Poculum significa em latim , o copo significa em Inglês . Significação é a imposição de um significado em um enunciado, mas suposição está tomando um termo significativo como estando em algo. De acordo com Pedro de Espanha "Daí significação é anterior à suposição. Nem eles pertencem à mesma coisa. Para a significar pertence a um enunciado, mas para supposit pertence a um termo já, por assim dizer, todos juntos fora de um enunciado e uma significação." Uma maneira fácil de ver a diferença está na nossa bebida outra xícara exemplo. Aqui copo como um enunciado significa um copo como um objeto, mas o copo como um termo da língua Inglês está sendo usado para supor pelo vinho contido no copo.

Lógicos medievais dividida suposição em muitos tipos diferentes, e os jargões para os diferentes tipos, e as suas relações e o que elas significam ficar complexo, e diferem muito lógico para lógico. Webpage de Paulo Spade tem uma série de votos diagramas aqui. A divisão mais importante é provavelmente entre material, simples, pessoal, e suposição incorreta. Um termo supõe materialmente, quando ele é usado para substituir um enunciado ou inscrição, em vez de para o que ele significa. Quando eu digo que a Copa é uma palavra monossilábica, estou usando a palavra copo para supposit materialmente para a enunciação copo em vez de para uma peça de cerâmica. Suposição material é uma forma medieval de fazer o trabalho que faria hoje, usando aspas. De acordo com Ockham ( Summa of Logic I64, 8) "suposição simples ocorre quando um supõe prazo para a intenção da alma, mas não é tomar significativamente." A idéia é tão simples suposição acontece quando o prazo está de pé em um conceito humano, em vez de para o próprio objeto. Se eu disser copos são um importante tipo de cerâmica , o termo copos não está de pé em para copos particular, mas para a idéia de um copo na mente humana (de acordo com Ockham, e muitas lógicos medievais, mas não de acordo com John Buridan) . Suposição pessoal em contraste é quando os supõe prazo para que ela significa. Se eu disser Passe-me o copo o termo copo está de pé em para o objeto que é chamado de um copo em Inglês, por isso é de suposição pessoal. Um termo é na suposição indevida, se for suppositing para um objeto, mas um objeto diferente do que ela significa, como no meu exemplo Beba outro copo.

Modos de suposição

suposição pessoal foi dividido em tipos, tais como discreto, determinado, apenas confuso, e confusa e distributiva. Em 1966 TK Scott propôs dar um nome diferente para discussões medievais das subvariedades de suposição pessoal, porque ele pensou que era uma questão bastante distinta das outras variedades de suposição. Ele propôs chamar as subvariedades de suposição pessoal uma teoria de "modos de suposição."

Os lógicos medievais dar conjuntos elaborados de regras sintáticas para determinar quando um termo supõe discretamente, determinadamente, confusamente, ou confusa e distributiva. Assim, por exemplo, o objeto de uma reivindicação negativo, ou um supõe indefinida determinadamente, mas o assunto de um singulares supõe reivindicação discretamente, enquanto objecto de uma afirmativa supõe reivindicação confusamente e determinadamente. Albert da Saxônia dá 15 regras para determinar qual o tipo de suposição pessoal um termo está usando. Além disso, os lógicos medievais não parecia disputa sobre os detalhes das regras sintáticas para determinar o tipo de suposição pessoal. Estas regras parecem ser importantes, porque eles estavam ligados a teorias de descida para informações e ascensão de particularidades.

Quando eu digo que eu quero comprar um copo Eu fiz uma reivindicação afirmativa por tempo indeterminado, com o copo como o termo predicado. Além disso copo é um termo comum, incluindo muitas chávenas particulares no seu seio. Então, se eu "descer a indicação" Eu posso voltar a frase minha afirmação como eu quero comprar este cálice ou eu quero comprar esse copo, ou eu quero comprar esse outro copo - e assim por diante para todos os copos. Se eu tivesse uma disjunção infinita de todos os copos particulares, poderia substituir a taça prazo, na sua simples suposição de que eu quero comprar um copo. Isso é chamado de suposição determinada. Isso é quando eu digo que eu quero comprar um copo eu quero dizer alguma copo determinado, mas eu não necessariamente sabe qual ainda. Da mesma forma, se eu digo Alguns copo não é uma tabela, eu poderia substituir este cálice não é uma tabela, ou que a taça não é uma tabela ou ...

Por outro lado, se eu disser Não Cup é uma mesa , eu não quero dizer Esta taça não é uma tabela ou de que não é uma mesa ou ... quero dizer Esta taça não é uma mesa, e que copo não é uma tabela, e que outras copo não é uma tabela, E ... . Aqui não me refiro a um copo especial determinada, mas para todos os copos "fundidos" juntos, isto é todos os copos "confusa". Isso é chamado de suposição confusa e distributiva.

Se eu disser : Este cálice é feito de ouro Eu não pode descer a uma disjunção de elementos, ou a um conjunto de elementos, mas apenas porque este cálice é já um particular. Esse tipo de suposição pessoal é chamado suposição discreta.

No entanto, o predicado de uma reivindicação afirmativa universal realmente não vai caber qualquer um destes modelos. Todos os copos de café são copos não implica todos os copos de café são o cálice, ou todos os copos de café são esse copo, ou ... , mas ainda menos que isso implica todos os copos de café são o cálice, e todos os copos de café são que o copo, e ... . Por outro lado, se ele passou a ser o caso de que havia apenas uma xícara de café à esquerda no mundo, seria verdade que todos os copos de café são esse copo , para que eu possa validamente inferir Todos os copos de café são esse copo , para Todos os copos de café são copos . Aqui descida para disjunção falha e descida ao conjunto falhar, mas "a subida dos particulares" é válido. Isso é chamado de "suposição meramente confusa."

Isso é basicamente como a teoria funciona, um problema muito mais espinhoso é exatamente o que a teoria é para. Alguns comentaristas, como Michael Loux, sugeriram que a teoria de subida e descida a particulares se destina a fornecer condições de verdade para os quantificadores. TK Scott sugeriu que a teoria da suposição adequada foi concebido para responder à pergunta Que tipo de coisa você está falando? mas a teoria da suposição pessoal visava responder a pergunta Quantos deles você está falando? Paul Spade sugeriu que até o século 14 a teoria dos modos de suposição pessoal não visava nada mais.

ampliação

Quando eu digo Não copos são feitos de chumbo , copos supõe para todos os copos que existem. Mas se eu disser Alguns copos foram feitos de chumbo no tempo dos romanos , copos pode não apenas ser suppositing para todos os copos que existem, mas para copos no passado também. Aqui estou expandindo a suposição normal dos termos que eu uso. Pedro de Espanha diz "Ampliação é a extensão de um termo comum de um menor suposição a um maior." Na prática, se eu falar do passado ou o futuro, ou fazer uma reclamação modal, os termos que eu uso se ampliated para supor por coisas do passado, coisas futuras, ou possíveis coisas, ao invés de sua suposição habitual para apresentar as coisas reais. Assim, torna-se ampliação da teoria medieval para explicar lógicas modais e tensos dentro da teoria da suposição.

Referências

  • Bos, EP (ed. 2013), medievais Teoria suposição Revisited. Estudos em memória de LM de Rijk , Brill: Leiden.
  • De Rijk, Lambertus M. (1967). Logica Modernorum . Assen: Van Gorcum.
  • Dutilh Novaes, C. (2007), A formalização teorias lógicas medievais. Suppositio, consequentiae e obligationes . New York: Springer.
  • Dutilh NOVAES, C. (2011), Teoria suposição em H. Lagerlund (ed.) Encyclopedia of filosofia medievais, Dordrecht: Springer, 2011, pp 1229-1236..
  • Kneale, William e Martha Kneale (1962). Desenvolvimento da lógica . Oxford: Clarendon Press.
  • Kretzmann, Norman , Anthony Kenny & Jan Pinborg (1982). Cambridge History of Mais tarde Filosofia Medieval Cambridge: Cambridge University Press.
  • McGrade, AS (editor), (2003). O companheiro de Cambridge à Filosofia Medieval , Cambridge University Press. ISBN  978-0-521-00063-5 .
  • Terence Parsons (2014). Articulando Logic medieval , New York: Oxford University Press.

links externos