Teoria | Aplica��es | Exemplos | Componentes da equipe | Sites | Download | Softwares
Fuzzy | Paraconsistente | Outras 29 L�gicas Diferentes
Outras 29 L�gicas Diferentes
*L�gica Modal:
� a l�gica de categorias modais (possibilidade, realmente e necessidade) e usam uma raz�o, por exemplo, a implica��o "severa".
Livros:
- Bradley, Raymond, and Norm Schwartz. Possible Worlds: An Introduction to Logic and Its Philosophy. Hackett Pub. Co., 1979.
- Bull, Robert A., and Krister Segerberg, "Basic Modal Logic," in Gabbay and Guenther, vol. II.
- Benthem, Johan van. Modal Logic and Classical Logic. Naples: Bibliopolis, 1983.
- Hughes, G.E., and M.J. Cresswell. An Introduction to Modal Logic. Methuen, 1968. And: A Companion to Modal Logic, Methuen, 1984.
*L�gica Temporal:
� a l�gica na qual os per�odos nas quais as preposi��es com um valor-verdade certo podem ser indicados, na qual a "tens�o" de acerto pode ser indicado e na qual os valores-verdades podem ser afetados por passagens de tempos.
Livros:
- Benthem, Johan van. The Logic of Time. Second, revised edition. Kluwer Academic Publishers, 1991.
- Gabbay, Dov M., and Mark Reynolds. Temporal Logic: Mathematical Foundations and Computational Aspects. Oxford University Press, 1994.
- Goldblatt, Robert. Logics of Time and Computation. University of Chicago Press, 1982.
- Prior, Arthur. Papers on Time and Tense. Oxford University Press, 1968; contains a good bibliography.
*L�gica Combinat�ria:
S�o l�gicas que substituem variaveis com fun��es em ordem para esclarecer opera��es intuitivas em variaveis como substitui��o. Sistemas de constru��o aritm�tica de l�gica combinat�ria podem conter todos os recursos parciais de fun��es e evitar a incomplementa��o de "G�del".
Livros:
- Curry, Haskell B. Combinatory Logic. Vol. 1 by Curry and R. Feys; vol. 2 by Curry, J.R. Hindley, and J.P. Seldin. North-Holland, 1958, 1972.
- Fitch, Frederic. Elements of Combinatory Logic. Yale University Press, 1974.
- Hindley, R., B. Lercher, J. Seldin. Introduction to Combinatory Logic. Cambridge University Press, 1972.
*L�gica Condicional:
S�o l�gicas que lidam com a verdade das sentensas condicionais, particularmente no esp�rito de subjuntivo. � a l�gica das afirma��es contra-verdaderiras.
Livros:
- Nute, Donald, "Conditional Logic," in Gabbay and Guenther, vol. II.
- Nute, Donald. Topics in Conditional Logic. D. Reidel, 1980.
*L�gica Construtiva:
S�o as l�gicas nas quais um "wwf" � verdadeiro e "iff" � prov�vel.
Livros:
- Beeson, Michael J. Foundations of Constructive Mathematics. Freeman Cooper and Co., 1980.
- Bridges, Douglas, and Fred Richman. Varieties of Constructive Mathematics. Cambridge University Press, 1987.
- Goodstein, R.L. Constructive Formalism. University College, Leicester, 1951.
*L�gicas Cumulativas:
� uma l�gica extendida da teoria dos "tipos".
Livros:
- Degen, J. Wolfgang. Systeme der kumulativen Logik. Philosophia Verlag, 1984.
*L�gicas "Deontic":
S�o l�gicas de permiss�es e obriga��es (derivadas da L�gica Modal de Possibilidades e Necessidades), portanto � a l�gica de normas e sistemas normativos.
Livros:
Anderson, A.R. The Formal Analysis of Normative Systems. Technical Report No. 2, U.S. Office of Naval Research Contract No. SAR/Nonr-609 (16) (1956).
- Aqvist, Lennart, "Deontic Logic," in Gabbay and Guenther, vol. II.
- Copi and Gould, 4 essays.
- Forrester, James. Being Good and Being Logical: Philosophical Groundwork for a New Deontic Logic. M.E. Sharpe, 1996.
- Hilpinen, R. (ed.). Deontic Logic: Introductory and Systematic Readings. Reidel, 1971.
- Hilpinen, R. (ed.). New Studies in Deontic Logic. Reidel, 1981.
*L�gicas Din�micas:
S�o L�gicas para racioc�nio sobre programas de computador, especialmente para provar que um programa est� "correto" ou que est� entendido a fazer sem erros. Em L�gica Din�mica, o valor-verdade dos "wff's" podem mudar de acordo com as regras ou fun��es do programa.
Livros:
- Harel, David, "Dynamic Logic," in Gabbay and Guenther, vol. II.
Harel, David. First Order Dynamic Logic. Springer-Verlag, 1979.
*Logicas Epist�micas:
S�o l�gicas de operadores da verdade n�o funcional, como "Acredita" ou "Sabe". Por exemplo: deixar *p significa que ei sei a preposi��o p. Se *p e p q s�o dados, ent�o oque precisamos adicionar na seq��ncia para concluir *p ?
Livros:
- Hintikka, Jaakko. Knowledge and Belief: An Introduction to the Logic of the Two Notions. 1962.
- Hintikka, Jaakko and Merrill. The Logic of Epistemology and the Epistemology of Logic: Selected Essays. Kluwer Academic Publishers, 1988.
- Schlesinger, George N. The Range of Epistemic Logic. Aberdeen University Press, 1985.
*L�gica "Erotetic":
� a L�gica das perguntas e respostas. Quando uma preposi��o responde uma quest�o (corretamente ou incorretamente) ? O que est� errado com as preposi��es que pressup�en preposi��es falsas ?
Livros:
- Aqvist, L.E. A New Approach to the Logical Theory of Questions, Part I. Filosofiska Foreningen, 1965.
- Belnap, N.D. and T.B. Steel. The Logic of Questions and Answers. Yale University Press, 1976.
- Harrah, David, "Erotetic Logics," pp. 3-21 of K. Lambert (ed.), The Logical Way of Doing Things. Yale University Press, 1969.
- Harrah, David, "The Logic of Questions," in Gabbay and Guenther, vol. II.
- Harrah, David, "A System for Erotetic Sentences," in A.R. Anderson et al. (eds.), The Logical Enterprise.
- Hintikka, Jaakko. The Semantics of Questions and the Questions of Semantics. North-Holland, 1976.
*L�gica Livre:
S�o L�gicas sem qualquer aceita��o de exist�ncia. Enquanto fazem ter exist�ncia importante, termos singulares podem as vezes denotar a n�o exist�ncia do objeto ou ou n�o denot�-lo. L�gicas verdadeiras precisam ter um valor verdade para preencher as propriedades como para n�o preencher as propriedades.
Livros
- Bencivenga, Ermanno, "Free Logics," in Gabbay and Guenther, vol. III.
- Lambert, Karel (ed.). Philosophical Applications of Free Logics. Oxford University Press, 1991.
- Schock, R. Logics Without Existence Assumptions. Stockholm: Almqvist and Wiksell, 1968.
*L�gica Infinit�ria:
S�o l�gicas que permitem longas infinidades de "wff's", especialmente disjuntivos "strings".
Livros:
- Barwise, J., "Infinitary Logics," in Agazzi, pp. 93-112.
- Turner, chapter 8.III.
*L�gica Intencional:
S�o l�gicas que incluem aparelhagens para significar quando dois significados s�o identificados (L�gica n�o intencional � chamada de l�gica intencional.
Livros
- Anderson, Anthony C., "General Intensional Logic," in Gabbay and Guenther, vol. II.
- Benthem, Johan van. A Manual of Intensional Logic. Second ed., revised and expanded. University of Chicago Press, 1985.
- Slater, B.H. Intensional Logic: An Essay in Analytical Metaphysics. Avebury, 1994.
- Zalta, Edward N. Intensional Logic and the Metaphysics of Intensionality. MIT Press, 1988.
*L�gica Intuicionista:
S�o l�gicas proposicionais na qual nem "p~p" nem "~~~pp" s�o provaveis. Elas aceitam disjun��es A e B como teorema somente se um dos disjuntores for separadamente provavel. Elas tem as mesmas regras da l�gica cl�ssica. Conjuntivos proposicionais s�o indefinidos.
Livros:
- Dalen, Dirk van, "Intuitionistic Logic," in Gabbay and Guenther, vol. III, pp. 225-339.
- Dummett, M. Elements of Intuitionism. Oxford University Press, 1977.
- Dummett, M., "The Philosophical Basis of Intuitionistic Logic," in H.E. Rose and J.C. Sheperdson (eds.), Logic Colloquium 1973, North-Holland, 1973, pp. 5-40; reprinted in Dummett's Truth and Other Enigmas, Duckworth, 1978, pp. 215-47.
- Heyting, A. Intuitionism, An Introduction. North-Holland, 1956.
*Logica Linear:
� a mesma da L�gica Relevante.
Livros:
- Abramsky, S., "Computational Interpretations of Linear Logic," Imperial College Research Report DOC 90/20 (Oct. 1990).
- Lafont, Y., "Introduction to Linear Logic," Lecture Notes for Summer School on Constructive Logics and Category Theory (Isle of Thorns, August 1988).
- Scedrov, A., "A Brief Guide to Linear Logic," Bulletin of the EATCS, 41 (June 1990) 154-165.
- Troelstra, A. Lectures on Linear Logic. University of Chicago Press, 1992.
*L�gica de Muitas Classes:
S�o l�gicas nas quais as variaves s�o escolhidas, como em muitas linguagens de programa��o para computadores.
Livros:
- Turner, chapter 8.i.
*L�gica de Muitos Valores:
S�o l�gicas nas quais e existem mais de dois valores com verdadeiro e falso. O mesmo que l�gica Fuzzy.
Livros:
- Ackermann, R. Introduction to Many-Valued Logics. Routledge & Kegan Paul, 1967.
- Copi and Gould, 2 essays.
- Dunn, J.H. and G. Epstein (eds.). Modern Uses of Multiple-Valued Logics. D. Reidel Pub. Co., 1975.
- Haack 1974 and 1978.
- Malinowski, Grzegorz. Many-Valued Logics. Oxford University Press, 1994.
*L�gicas N�o Monot�nicas:
S�o l�gicas nas quais um conjunto de implica��es determinadas formam um grupo de propriedades n�o necess�rias crescer, e pode escolher, quando novas wff's s�o adicionadas ao conjunto propriedades.
Livros:
- Brewka, G. Nonmonotonic Reasoning: From Theoretical Foundation to Efficient Computation. Cambridge University Press, 1990.
- Davis, M., "The Mathematics of Non-Monotonic Reasoning," Artificial Intelligence, 13 (1980) 73-80.
- Gabbay, Dov M., et al. Handbook of Logic in Artificial Intelligence, Vol. 3: Nonmonotonic Reasoning and Uncertain Reasoning. Oxford University Press, 1994.
- Genesereth and Nilsson, chapter 6.
- Ginsberg, Matthew L. (ed.). Readings in Nonmonotonic Reasoning. Morgan Kaufmann Pub. Inc., 1987.
*L�gica Parcial:
S�o l�gicas nas quais as wff's n�o precisam ser nem verdadeiras nem falsas, ou nas quais os termos singulares n�o precisam ser denotados por qualquer coisa.
Livros:
- Blamey, Steven, "Partial Logic," in Gabbay and Guenther, vol. III.
*L�gica da Quantidade:
A l�gica de quantidade adiciona um terceiro valor-verdade ("indeterminado"), portanto a metodologia nega o princ�pio de exclus�o (PEM). Contudo, para todo p, "p~p", � logicamente v�lido um sistema de L�gica da quantidade. Ou seja, PEM � verdadeiro na teoria, mas falso na metodologia.
Livros:
- Dalla Chiara, Maria-Luisa, "Quantum Logic," in Gabbay and Guenther, vol. III.
- Dalla Chiara, Maria-Luisa, "Logical Foundations of Quantum Mechanics," in Agazzi, pp. 331-352.
- Hooker, C.A. (ed.) The Logico-algebraic Approach to Quantum Mechanics. D. Reidel Pub. Co., [1975]-1979.
- Jauch, J.M. and C. Piron, "What is Quantum Logic?", in Quanta, University of Chicago Press, 1969.
- Mittelstaedt, P. Quantum Logic. D. Reidel, 1978.
*L�gica Relevante:
� a l�gica na qual "p implica q", somente se p for relevante a q. "p" nunca poderia implicar q simplismente porque p � falso ou q � verdadeiro. A vantagem � que a implica��o pode reveindicar numa linguagem natural ou melhor traduzida.
Livros:
- Anderson, Alan Ross and Nuel D. Belnap, Jr. Entailment: The Logic of Relevance and Necessity. Princeton University Press, Vol. 1, 1975, Vol. 2 (with J. Michael Dunn), 1993.
- Diaz, M. Richard. Topics in the Logic of Relevance. Philosophia Verlag, 1981.
- Dunn, J. Michael, "Relevance Logic and Entailment," in Gabbay and Guenther, vol. III.
- Norman, Jean, and Richard Sylvan (eds.). Directions in Relevant Logic. Kluwer Academic Publishers, 1989.
*L�gica Severa:
� a l�gica severa antiga, marcada por uma introdu��o de operadores tensos.
Livros:
- Frede, Michael. Die Stoische Logik. Vandenhoeck and Ruprecht, 1974.
- Mates, Benson. Stoic Logic. University of California Press, 1953.
**Outros tipos de L�gicas**:
*Categorical Logic:
Livros:
- Goldblatt, R. Topoi: The Categorical Analysis of Logic. North-Holland, 1979; rev. ed., 1984.
- Lambek, J., and P.J. Scott. Introduction to Higher Order Categorical Logic. Cambridge University press, 1988.
*Higher-Order Logic:
Livros:
- Benthem, Johan van, and Kees Doets, "Higher-Order Logic," in Gabbay and Guenther I, pp. 275-329.
- Hickman, Larry. Modern Theories of Higher Level Predicates: Second Intentions in the Neuzeit. Philosophia Verlag, 1980. (Contemporary theories and those of post-medieval scholasticism c. 1500-1800.)
*Prohairetic Logic:
Livros:
- Moutafakis, Nicholas J. The Logics of Preference: A Study of Prohairetic Logics in Twentieth Century Philosophy. Kluwer Academic Publishers, 1987.
- Wright, Georg Henrik von. The Logic of Preference. Edinburgh, 1963.
*Substance Logic:
Livros
- Zemach, Eddy, and E. Walther, "Substance Logic," in Boston Studies in the Philosophy of Science, Reidel, vol 43, YEAR?, pp. 55-74.
- Zemach, Eddy, "A Plea for a New Nominalism," Canadian Journal of Philosophy, 12 (YEAR?) 527-37.
*Substructural Logic:
Livros
- Restall, Greg. An Introduction to Substructural Logics. Routledge, 2000.
- Schroeder-Heister, Peter (ed.). Substructural Logics. Oxford University Press, 1994.
*Non-Standard Logics in General:
Livros
- Agazzi, Evandro. Modern Logic: A Survey. D. Reidel Pub. Co., 1981.
- Belnap, N.D., Jr., "Modal and Relevance Logics: 1977," in Agazzi, 131-151.
*Outras L�gicas:
Livroa:
- Barwise, K.J., Kaufman, M. and Makkai, M, "Stationary Logic," Annals of Mathematical Logic, 13 (1978) 171-224; a correction appears in 16:231-32.
- Goddard, L., and R. Routley. The Logic of Significance and Context. Aberdeen, 1973. (More than one vol.)